Package resolve defines a name-resolution pass for Skylark abstract syntax trees.
The resolver sets the Locals and FreeVars arrays of each DefStmt and the LocalIndex field of each syntax.Ident that refers to a local or free variable. It also sets the Locals array of a File for locals bound by comprehensions outside any function. Identifiers for global variables do not get an index.
var ( AllowNestedDef = false // allow def statements within function bodies AllowLambda = false // allow lambda expressions AllowFloat = false // allow floating point literals, the 'float' built-in, and x / y AllowSet = false // allow the 'set' built-in AllowGlobalReassign = false // allow reassignment to globals declared in same file (deprecated) AllowBitwise = false // allow bitwise operations (&, |, ^, ~, <<, and >>) )
global options These features are either not standard Skylark (yet), or deprecated features of the BUILD language, so we put them behind flags.
Expr resolves the specified expression. It returns the local variables bound within the expression.
The isPredeclared and isUniversal predicates behave as for the File function.
File resolves the specified file.
The isPredeclared and isUniversal predicates report whether a name is a pre-declared identifier (visible in the current module) or a universal identifier (visible in every module). Clients should typically pass predeclared.Has for the first and skylark.Universe.Has for the second, where predeclared is the module's StringDict of predeclared names and skylark.Universe is the standard set of built-ins. The isUniverse predicate is supplied a parameter to avoid a cyclic dependency upon skylark.Universe, not because users should ever need to redefine it.
An Error describes the nature and position of a resolver error.
An ErrorList is a non-empty list of resolver error messages.
The Scope of a syntax.Ident indicates what kind of scope it has.