dump is only needed for debugging

fixGo converts the internal Name.Go field into the name we should show to users in error messages. There's only one for now: on input we rewrite C.mal

hasName reports whether t has a name. This includes predeclared types, defined types, and type parameters. hasName may be called with types that are n

isBasic reports whether under(t) is a basic type with the specified info. If t is a type parameter the result is false; i.e., isBasic does not look in

isTyped reports whether t is typed; i.e., not an untyped constant or boolean. isTyped may be called with types that are not fully set up.

lookup returns the address of the named variable identified by obj that is local to function f or one of its enclosing functions. If escaping, the ref

---------------------------------------------------------------------------- Types

Import returns the imported package for the given import path when imported by a package file located in srcDir. If the import failed, besides returni

MakePos returns a new Pos for the given PosBase, line and column.

NewNamed returns a new named type for the given type name, underlying type, and associated methods. If the given type name obj doesn't have a type yet

RelativeTo returns a Qualifier that fully qualifies members of all packages other than pkg.

Objects with names containing blanks are internal and not entered into a scope. Objects with exported names are inserted in the unsafe package scope;

equal reports whether x and y represent the same type set.

---- utilities ---- Simplifying wrapper around buildutil.FakeContext for single-file packages.

rawExpr typechecks expression e and initializes x with the expression value or type. If an error occurred, x.mode is set to invalid. If hint != nil, i

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

AllPackages returns a new slice containing all packages in the program prog in unspecified order.

Cmp compares the positions p and q and returns a result r as follows: r < 0: p is before q r == 0: p and q are the same position (but may not be i

Comparable reports whether values of type T are comparable.

CreateProgram returns a new program in SSA form, given a program loaded from source. An SSA package is created for each transitively error-free packa

EndPos returns the approximate end position of n in the source. For some nodes (*Name, *BasicLit) it returns the position immediately following the no

TODO(mdempsky): Remove these stubs.

Info returns information about properties of basic type b.

IsInterface reports whether t is an interface type.

Len returns the number of map entries.

Names returns the scope's element names in sorted order.

ParseFile is a convenience function (intended for testing) that invokes the parser using the Config's FileSet, which is initialized if nil. src speci

TypeArgs returns the type arguments used to instantiate the named type t.

addr lowers a single-result addressable expression e to SSA form, emitting code to fn and returning the location (an lvalue) defined by the expression

Map an ast type to a Type.

deref dereferences typ if it is a *Pointer and returns its base and true. Otherwise it returns (typ, false).

EmbeddedElem = MethodSpec | EmbeddedTerm { "|" EmbeddedTerm } .

ERROR cannot infer type inference with variadic functions

isAll reports whether the termlist xl represents the set of all types.

makeSubstMap creates a new substitution map mapping tpars[i] to targs[i]. If targs[i] is nil, tpars[i] is not substituted.

posFor reports the left (= start) position of at.

The first name may be provided, or nil.

Given a reflect.Value, returns its rtype.

At returns the map entry for the given key. The result is nil if the entry is not present.

Block returns the basic block to which this instruction belongs.

CreateFromFiles is a convenience function that adds a conf.CreatePkgs entry to create package of the specified path and parsed files.

TODO(adonovan): move everything below into golang.org/x/tools/go/ssa/interp. Int64 returns the numeric value of this constant truncated to fit a signe

MethodSet returns the method set of type T. It is thread-safe. If cache is nil, this function is equivalent to types.NewMethodSet(T). Utility functi

NumMethods returns the number of explicit methods defined for t. For an ordinary or instantiated type t, the receiver base type of these methods will

Partial methods:

allBasic reports whether under(t) is a basic type with the specified info. If t is a type parameter, the result is true if isBasic(t, info) is true fo

emitIf emits to f a conditional jump to tblock or fblock based on cond, and updates the control-flow graph. Postcondition: f.currentBlock is nil.

emitStore emits to f an instruction to store value val at location addr, applying implicit conversions as required by assignability rules.

errorAtf reports an error at a byte column offset relative to the current token start.

ExpressionList = Expression { "," Expression } .

intConst returns an 'int' constant that evaluates to i. (i is an int64 in case the host is narrower than the target.)

AST utilities isBlankIdent returns true iff e is an Ident with name "_". They have no associated types.Object, and thus no type.

isEmpty reports whether the termlist xl represents the empty set of types.

TODO(mdempsky): This API feels a bit clumsy. Double check how cmd/compile/internal/ssagen handles this.

objDecl type-checks the declaration of obj in its respective (file) environment. For the meaning of def, see Checker.definedType, in typexpr.go.

---------------------------------------------------------------------------- Statements SimpleStmt = EmptyStmt | ExpressionStmt | SendStmt | IncDecStm

---------------------------------------------------------------------------- Error handling syntaxErrorAt reports a syntax error at the given position

typ type-checks the type expression e and returns its type, or Typ[Invalid]. The type must not be an (uninstantiated) generic type.

underIs calls f with the underlying types of the specific type terms of s and reports whether all calls to f returned true. If there are no specific t

BuildPackage builds an SSA program with IR for a single package. It populates pkg by type-checking the specified file ASTs. All dependencies are loa

CreateFromFilenames is a convenience function that adds a conf.CreatePkgs entry to create a package of the specified *.go files.

Files checks the provided files as part of the checker's package.

Func returns the package-level function of the specified name, or nil if not found.

ImportWithTests is a convenience function that adds path to ImportPkgs, the set of initial source packages located relative to $GOPATH. The package w

Instantiate instantiates the type orig with the given type arguments targs. orig must be a *Named or a *Signature type. If there is no error, the resu

IsAlias reports whether obj is an alias name for a type.

IsNil returns true if this constant represents a typed or untyped nil value.

NewChecker returns a new Checker instance for a given package. Package files may be added incrementally via checker.Files.

---------------------------------------------------------------------------- Expressions

Tag returns the i'th field tag for 0 <= i < NumFields().

Type returns a *Type with the same memory layout as dtype when used as the type of a variable or a struct field.