WriteType writes the string representation of typ to buf. The Qualifier controls the printing of package-level objects, and may be nil.

loads the contents of the location

anonVar creates an anonymous 'var' for use in a types.Tuple.

at returns the type set for the i'th type parameter; or nil.

---------------------------------------------------------------------------- Implementation

color returns the object's color.

concat returns the result of concatenating list and i. The result does not share its underlying array with list.

emitDebugRef emits to f a DebugRef pseudo-instruction associating expression e with value v.

If context != "", type parameters are not permitted.

gccgoToSymbol converts a name to a mangled symbol for gccgo.

gofmtPos returns the gofmt-formatted string for an AST node, with a comment setting the position before the node.

iface returns the constraint interface of t.

Type utilities. Some of these belong in github.com/despiteallobjections/amigo/types.

isNil reports whether the expression e denotes the predeclared value nil.

makeReflectType boxes up an rtype in a reflect.Type interface.

newVar creates a 'var' for use in a types.Tuple.

recvType returns the receiver type of method obj.

setColor sets the object's color. It must not be white.

walk walks the AST x, calling visit(f, x, context) for each node.

Fprint prints node x to w in the specified form. It returns the number of bytes written, and whether there was an error.

Imports returns the list of packages directly imported by pkg; the list is in source order. If pkg was loaded from export data, Imports includes pack

Iterate calls function f on each entry in the map in unspecified order. If f should mutate the map, Iterate provides the same guarantees as Go maps:

LookupParent follows the parent chain of scopes starting with s until it finds a scope where Lookup(name) returns a non-nil object, and then returns t

NewArray returns a new array type for the given element type and length. A negative length indicates an unknown length.

NewField returns a new variable representing a struct field. For embedded fields, the name is the unqualified type name under which the field is acces

NewParam returns a new variable representing a function parameter.

NewScope returns a new, empty scope contained in the given parent scope, if any. The comment is for debugging only.

Variadic reports whether the signature s is variadic.

assignableTo reports whether x is assignable to a variable of type T. If the result is false and a non-nil reason is provided, it may be set to a more

bestContext returns the best available context. In order of preference: - the given ctxt, if non-nil - check.ctxt, if check is non-nil - a new Context

clearPragma is called at the end of a statement or other Go form that does NOT accept a pragma. It sends the pragma back to the pragma handler to be r

colorFor returns the (initial) color for an object depending on whether its type t is known or not.

computeInterfaceTypeSet may be called with check == nil.

declaredFunc returns the concrete function/method denoted by obj. Panic ensues if there is none.

disjoint reports whether x ∩ y == ∅. x.typ and y.typ must not be nil.

This file is the input to TestValueForExpr in source_test.go, which ensures that each expression e immediately following a /*@kind*/(x) annotation, wh

stores v into the location

TODO(gri) The named type consolidation and seen maps below must be indexed by unique keys for a given type. Verify that named types always have only o

nilConst returns a nil constant of the specified type, which may be any reference type, including interfaces.

packageLevelValue returns the package-level value corresponding to the specified named object, which may be a package-level const (*Const), var (*Glob

Parameters = "(" [ ParameterList [ "," ] ] ")" . ParameterList = ParameterDecl { "," ParameterDecl } . "(" or "[" has already been consumed. If nam

posAt returns the Pos value for (line, col) and the current position base.

processDelayed processes all delayed actions pushed after top.

resolve returns the Object represented by obj, resolving lazy objects as appropriate.

stmt lowers statement s to SSA form, emitting code to fn.

takePragma returns the current parsed pragmas and clears them from the parser state.

tokstring returns the English word for selected punctuation tokens for more readable error messages. Use tokstring (not tok.String()) for user-facing

Like TypeOf, but panics instead of returning nil. Only valid during p's create and build phases.

---------------------------------------------------------------------------- Implementation under returns the expanded underlying type of n0; possibly

Add adds a new pragma. The text is the directive, with the "//" prefix stripped.

CreatePackage constructs and returns an SSA Package from the specified type-checked, error-free file ASTs, and populates its Members mapping. importa

Empty reports whether the result of String would be "".

Indirect reports whether any pointer indirection was required to get from x to f in x.f.

New returns a new Importer for the given context, file set, and map of packages. The context is used to resolve import paths to package paths, and ide