Type returns the type of this value. Many instructions (e.g. IndexAddr) change their behaviour depending on the types of their operands.

Pos returns the location of the AST token most closely associated with the operation that gave rise to this value, or syntax.NoPos if it was not expli

Name returns the name of this value, and determines how this Value appears when used as an operand of an Instruction. This is the same as the source

If this value is an Instruction, String returns its disassembled form; otherwise it returns unspecified human-readable information about the Value, su

Underlying returns the underlying type of a type.

write writes bytes b to the target program's standard output. The print/println built-ins and the write() system call funnel through here so they can

Sizeof returns the size of a variable of type T. Sizeof must implement the size guarantees required by the spec.

under returns the true expanded underlying type. If it doesn't exist, the result is Typ[Invalid]. under must only be called when a type is known to be

Convenience methods using the current token position.

Lookup returns the object in scope s with the given name if such an object exists; otherwise the result is nil.

next returns a Tuple (key, value, ok). key and value are unaliased, e.g. copies of the sequence element.

Pos() returns the position associated with the node as follows: 1) The position of a node representing a terminal syntax production (Name, BasicLit, e

Identical reports whether x and y are identical types. Receivers of Signature types are ignored.

Die with an error message.

setType sets the type of the object.

Check type-checks a package and returns the resulting package object and the first error if any. Additionally, if info != nil, Check populates each of

Kind returns the kind of basic type b.

errorf adds formatted error information to err. It may be called multiple times to provide additional information.

At returns the i'th variable of tuple t.

usage: defer p.trace(msg)()

emit emits the specified instruction to function f.

relName returns the name of v relative to i. In most cases, this is identical to v.Name(), but references to Functions (including methods) and Globals

Scope returns the scope of the function's body block. The result is nil for imported or instantiated functions and methods (but there is also no mecha

TODO(gri) Come up with a better representation and API to distinguish between parameterized instantiated and non-instantiated types. TypeParams return

Path returns the package path.

newBasicBlock adds to f a new basic block and returns it. It does not automatically become the current block for subsequent calls to emit. comment is

Alignof returns the alignment of a variable of type T. Alignof must implement the alignment guarantees required by the spec.

list is for internal use where we expect a []Type. TODO(rfindley): list should probably be eliminated: we can pass around a TypeList instead.

dup returns a testEntry where both src and str are the same.

isTypeParam reports whether t is a type parameter.

Error returns an error string formatted as follows: filename:line:column: message

Load creates the initial packages specified by conf.{Create,Import}Pkgs, loading their dependencies packages as needed. On success, Load returns a Pr

String returns a string containing the original data with the queued edits applied.

tokenPos returns n.Pos(). It exists just for internal documentation purposes, to help remind which token position package ssa was originally accessin

NewPointer returns a new pointer type for the given element (base) type.

NewTypeName returns a new type name denoting the given typ. The remaining arguments set the attributes found with all Objects. The typ argument may b

check may be nil.

typeSet returns the type set for interface t.

Recv returns the receiver of signature s (if a method), or nil if a function. It is ignored when comparing signatures for identity. For an abstract m

Advance consumes tokens until it finds a token of the stopset or followlist. The stopset is only considered if we are inside a function (p.fnest > 0).

emitConv emits to f code to convert Value val to exactly type typ, and returns the converted value. Implicit conversions are required by language ass

expr typechecks expression e and initializes x with the expression value. The result must be a single value. If an error occurred, x.mode is set to in

Identifier

Unparen removes all parentheses around an expression.

Index describes the path from x to f in x.f. The last index entry is the field or method index of the type declaring f; either: 1) the list of decla

Obj returns the type name for the declaration defining the named type t. For instantiated types, this is same as the type name of the origin type.

Contains reports whether pos is within the scope's extent. The result is guaranteed to be valid only if the type-checked AST has complete position inf

Parent returns the function to which this Value belongs. It returns nil for named Functions, Builtin, Const and Global.

Close tells the receiver that no more values will arrive. After Close is called, the Sender may no longer be used.

TypeString returns the string representation of typ. The Qualifier controls the printing of package-level objects, and may be nil.

isUntyped(t) is the same as !isTyped(t).

unpack unpacks a *syntax.ListExpr into a list of syntax.Expr. Helper introduced for the go/types -> types2 port. TODO(gri) Should find a more efficien

NewTuple returns a new tuple for the given variables.

NewVar returns a new variable. The arguments set the attributes found with all Objects.

emitJump emits to f a jump to target, and updates the control-flow graph. Postcondition: f.currentBlock is nil.

printf is a convenience wrapper that takes care of print errors.

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

NumFields returns the number of fields in the struct (including blank and embedded fields).