mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
ffaa35810c
Lookups like Builtin::Int64 were failing because BuiltinUnit rejected all unqualified lookups. Make it allow unqualified lookups with a module selector.
94 lines
3.6 KiB
C++
94 lines
3.6 KiB
C++
//===--- ModuleNameLookup.h - Name lookup within a module -------*- C++ -*-===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file defines interfaces for performing top-level name lookup into a
|
|
// set of imported modules.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef SWIFT_AST_MODULE_NAME_LOOKUP_H
|
|
#define SWIFT_AST_MODULE_NAME_LOOKUP_H
|
|
|
|
#include "llvm/ADT/SmallVector.h"
|
|
#include "swift/AST/Identifier.h"
|
|
#include "swift/AST/Module.h"
|
|
#include "swift/Basic/SourceLoc.h"
|
|
|
|
namespace swift {
|
|
class ValueDecl;
|
|
|
|
namespace namelookup {
|
|
|
|
enum class ResolutionKind {
|
|
/// Lookup can match any number of decls, as long as they are all
|
|
/// overloadable.
|
|
///
|
|
/// If non-overloadable decls are returned, this indicates ambiguous lookup.
|
|
Overloadable,
|
|
|
|
/// Lookup should match a single decl that declares a type.
|
|
TypesOnly,
|
|
|
|
/// Lookup should only match macros.
|
|
MacrosOnly,
|
|
};
|
|
|
|
void simple_display(llvm::raw_ostream &out, ResolutionKind kind);
|
|
|
|
/// Performs a lookup into the given module and its imports.
|
|
///
|
|
/// If 'moduleOrFile' is a ModuleDecl, we search the module and its
|
|
/// public imports. If 'moduleOrFile' is a SourceFile, we search the
|
|
/// file's parent module, the module's public imports, and the source
|
|
/// file's private imports.
|
|
///
|
|
/// \param moduleOrFile The module or file unit to search, including imports.
|
|
/// \param name The name to look up.
|
|
/// \param hasModuleSelector Whether \p name was originally qualified by a
|
|
/// module selector. This information is threaded through to underlying
|
|
/// lookup calls; the callee is responsible for actually applying the
|
|
/// module selector.
|
|
/// \param[out] decls Any found decls will be added to this vector.
|
|
/// \param lookupKind Whether this lookup is qualified or unqualified.
|
|
/// \param resolutionKind What sort of decl is expected.
|
|
/// \param moduleScopeContext The top-level context from which the lookup is
|
|
/// being performed, for checking access. This must be either a
|
|
/// FileUnit or a Module.
|
|
/// \param loc Source location of the lookup. Used to add contextual options,
|
|
/// such as disabling macro expansions inside macro arguments.
|
|
/// \param options name lookup options. Currently only used to communicate the
|
|
/// NL_IncludeUsableFromInline option.
|
|
void lookupInModule(const DeclContext *moduleOrFile,
|
|
DeclName name,
|
|
bool hasModuleSelector,
|
|
SmallVectorImpl<ValueDecl *> &decls,
|
|
NLKind lookupKind,
|
|
ResolutionKind resolutionKind,
|
|
const DeclContext *moduleScopeContext,
|
|
SourceLoc loc, NLOptions options);
|
|
|
|
/// Performs a qualified lookup into the given module and, if necessary, its
|
|
/// reexports, observing proper shadowing rules.
|
|
void
|
|
lookupVisibleDeclsInModule(const DeclContext *moduleOrFile,
|
|
ImportPath::Access accessPath,
|
|
SmallVectorImpl<ValueDecl *> &decls,
|
|
NLKind lookupKind,
|
|
ResolutionKind resolutionKind,
|
|
const DeclContext *moduleScopeContext);
|
|
|
|
} // end namespace namelookup
|
|
|
|
} // end namespace swift
|
|
|
|
#endif
|