Documentation ¶
Index ¶
- Constants
- Variables
- func AlgType(t *Type) (AlgKind, *Type)
- func AllowsGoVersion(major, minor int) bool
- func CalcSize(t *Type)
- func CalcStructSize(t *Type)
- func CheckSize(t *Type)
- func DeferCheckSize()
- func Identical(t1, t2 *Type) bool
- func IdenticalIgnoreTags(t1, t2 *Type) bool
- func IdenticalStrict(t1, t2 *Type) bool
- func InitTypes(defTypeName func(sym *Sym, typ *Type) Object)
- func InternString(b []byte) string
- func IsComparable(t *Type) bool
- func IsDirectIface(t *Type) bool
- func IsExported(name string) bool
- func IsInterfaceMethod(f *Type) bool
- func IsMethodApplicable(t *Type, m *Field) bool
- func IsNoInstrumentPkg(p *Pkg) bool
- func IsNoRacePkg(p *Pkg) bool
- func IsPaddedField(t *Type, i int) bool
- func IsReflexive(t *Type) bool
- func ParseLangFlag()
- func PkgMap() map[string]*Pkg
- func PtrDataSize(t *Type) int64
- func ReflectSymName(s *Sym) string
- func ResumeCheckSize()
- func RoundUp(o int64, r int64) int64
- func RuntimeSymName(s *Sym) string
- func SplitVargenSuffix(name string) (base, suffix string)
- func TypeHasNoAlg(t *Type) bool
- func TypeHash(t *Type) uint32
- func TypeSymName(t *Type) string
- type AlgKind
- type Array
- type Chan
- type ChanArgs
- type ChanDir
- type Cmp
- type EmbeddedsByName
- type Field
- type Forward
- type Func
- type FuncArgs
- type Interface
- type Kind
- type Map
- type MethodsByName
- type Object
- type Pkg
- type Ptr
- type Results
- type Slice
- type Struct
- type Sym
- func (sym *Sym) Asm() bool
- func (s *Sym) Format(f fmt.State, verb rune)
- func (sym *Sym) Func() bool
- func (sym *Sym) IsBlank() bool
- func (a *Sym) Less(b *Sym) bool
- func (sym *Sym) Linksym() *obj.LSymdeprecated
- func (sym *Sym) LinksymABI(abi obj.ABI) *obj.LSymdeprecated
- func (sym *Sym) OnExportList() bool
- func (sym *Sym) SetAsm(b bool)
- func (sym *Sym) SetFunc(b bool)
- func (sym *Sym) SetOnExportList(b bool)
- func (sym *Sym) SetSiggen(b bool)
- func (sym *Sym) SetUniq(b bool)
- func (sym *Sym) Siggen() bool
- func (s *Sym) String() string
- func (sym *Sym) Uniq() bool
- type Tuple
- type Type
- func ComplexForFloat(t *Type) *Type
- func FakeRecvType() *Type
- func FloatForComplex(t *Type) *Type
- func NewArray(elem *Type, bound int64) *Type
- func NewChan(elem *Type, dir ChanDir) *Type
- func NewChanArgs(c *Type) *Type
- func NewFuncArgs(f *Type) *Type
- func NewInterface(methods []*Field) *Type
- func NewMap(k, v *Type) *Type
- func NewNamed(obj Object) *Type
- func NewPtr(elem *Type) *Type
- func NewResults(types []*Type) *Type
- func NewSignature(recv *Field, params, results []*Field) *Type
- func NewSlice(elem *Type) *Type
- func NewStruct(fields []*Field) *Type
- func NewTuple(t1, t2 *Type) *Type
- func ReceiverBaseType(t *Type) *Type
- func SubstAny(t *Type, types *[]*Type) *Type
- func (t *Type) Alignment() int64
- func (t *Type) AllMethods() []*Field
- func (t *Type) ArgWidth() int64
- func (*Type) CanBeAnSSAAux()
- func (t *Type) ChanArgs() *Type
- func (t *Type) ChanDir() ChanDir
- func (t *Type) Compare(x *Type) Cmp
- func (t *Type) Deferwidth() bool
- func (t *Type) Elem() *Type
- func (t *Type) Field(i int) *Field
- func (t *Type) FieldName(i int) string
- func (t *Type) FieldOff(i int) int64
- func (t *Type) FieldType(i int) *Type
- func (t *Type) Fields() []*Field
- func (t *Type) Format(s fmt.State, verb rune)
- func (t *Type) FuncArgs() *Type
- func (t *Type) HasNil() bool
- func (t *Type) HasPointers() bool
- func (t *Type) HasShape() bool
- func (t *Type) IsArray() bool
- func (t *Type) IsBoolean() bool
- func (t *Type) IsChan() bool
- func (t *Type) IsComplex() bool
- func (t *Type) IsEmptyInterface() bool
- func (t *Type) IsFlags() bool
- func (t *Type) IsFloat() bool
- func (t *Type) IsFullyInstantiated() bool
- func (t *Type) IsFuncArgStruct() bool
- func (t *Type) IsInteger() bool
- func (t *Type) IsInterface() bool
- func (t *Type) IsKind(et Kind) bool
- func (t *Type) IsMap() bool
- func (t *Type) IsMemory() bool
- func (t *Type) IsPtr() bool
- func (t *Type) IsPtrElem() bool
- func (t *Type) IsPtrShaped() bool
- func (t *Type) IsResults() bool
- func (t *Type) IsScalar() bool
- func (t *Type) IsShape() bool
- func (t *Type) IsSigned() bool
- func (t *Type) IsSlice() bool
- func (t *Type) IsString() bool
- func (t *Type) IsStruct() bool
- func (t *Type) IsTuple() bool
- func (t *Type) IsUintptr() bool
- func (t *Type) IsUnsafePtr() bool
- func (t *Type) IsUnsigned() bool
- func (t *Type) IsUntyped() bool
- func (t *Type) IsVariadic() bool
- func (t *Type) IsVoid() bool
- func (t *Type) Key() *Type
- func (t *Type) Kind() Kind
- func (t *Type) LinkString() string
- func (t *Type) MapType() *Map
- func (t *Type) Methods() []*Field
- func (t *Type) NameString() string
- func (t *Type) Noalg() bool
- func (t *Type) NotInHeap() bool
- func (t *Type) NumComponents(countBlank componentsIncludeBlankFields) int64
- func (t *Type) NumElem() int64
- func (t *Type) NumFields() int
- func (t *Type) NumParams() int
- func (t *Type) NumRecvs() int
- func (t *Type) NumResults() int
- func (t *Type) Obj() Object
- func (t *Type) OffsetOf(name string) int64
- func (t *Type) Param(i int) *Field
- func (t *Type) Params() []*Field
- func (t *Type) ParamsResults() []*Field
- func (t *Type) Pos() src.XPos
- func (t *Type) PtrTo() *Type
- func (t *Type) RParams() []*Type
- func (t *Type) Recur() bool
- func (t *Type) Recv() *Field
- func (t *Type) RecvParams() []*Field
- func (t *Type) RecvParamsResults() []*Field
- func (t *Type) Recvs() []*Field
- func (t *Type) Registers() (uint8, uint8)
- func (t *Type) Result(i int) *Field
- func (t *Type) Results() []*Field
- func (t *Type) ResultsTuple() *Type
- func (t *Type) SetAllMethods(fs []*Field)
- func (t *Type) SetDeferwidth(b bool)
- func (t *Type) SetHasShape(b bool)
- func (t *Type) SetInterface(methods []*Field)
- func (t *Type) SetIsShape(b bool)
- func (t *Type) SetMethods(fs []*Field)
- func (t *Type) SetNoalg(b bool)
- func (t *Type) SetNotInHeap(b bool)
- func (t *Type) SetRParams(rparams []*Type)
- func (t *Type) SetRecur(b bool)
- func (t *Type) SetUnderlying(underlying *Type)
- func (t *Type) SimpleString() string
- func (t *Type) Size() int64
- func (t *Type) SoleComponent() *Type
- func (t *Type) String() string
- func (t *Type) StructType() *Struct
- func (t *Type) Sym() *Sym
- func (t *Type) ToUnsigned() *Type
- func (t *Type) Underlying() *Type
Constants ¶
const ( CMPlt = Cmp(-1) CMPeq = Cmp(0) CMPgt = Cmp(1) )
const ( IgnoreBlankFields componentsIncludeBlankFields = false CountBlankFields componentsIncludeBlankFields = true )
const BADWIDTH = -1000000000
Variables ¶
var ( SlicePtrOffset int64 SliceLenOffset int64 SliceCapOffset int64 SliceSize int64 StringSize int64 )
Slices in the runtime are represented by three components:
type slice struct { ptr unsafe.Pointer len int cap int }
Strings in the runtime are represented by two components:
type string struct { ptr unsafe.Pointer len int }
These variables are the offsets of fields and sizes of these structs.
var ( // Predeclared alias types. These are actually created as distinct // defined types for better error messages, but are then specially // treated as identical to their respective underlying types. AnyType *Type ByteType *Type RuneType *Type // Predeclared error interface type. ErrorType *Type // Predeclared comparable interface type. ComparableType *Type // Types to represent untyped string and boolean constants. UntypedString = newType(TSTRING) UntypedBool = newType(TBOOL) // Types to represent untyped numeric constants. UntypedInt = newType(TIDEAL) UntypedRune = newType(TIDEAL) UntypedFloat = newType(TIDEAL) UntypedComplex = newType(TIDEAL) )
var ( // TSSA types. HasPointers assumes these are pointer-free. TypeInvalid = newSSA("invalid") TypeMem = newSSA("mem") TypeFlags = newSSA("flags") TypeVoid = newSSA("void") TypeInt128 = newSSA("int128") TypeResultMem = newResults([]*Type{TypeMem}) )
var ( IsInt [NTYPE]bool IsFloat [NTYPE]bool IsComplex [NTYPE]bool IsSimple [NTYPE]bool )
var BasicTypeNames = []string{
TINT: "int",
TUINT: "uint",
TINT8: "int8",
TUINT8: "uint8",
TINT16: "int16",
TUINT16: "uint16",
TINT32: "int32",
TUINT32: "uint32",
TINT64: "int64",
TUINT64: "uint64",
TUINTPTR: "uintptr",
TFLOAT32: "float32",
TFLOAT64: "float64",
TCOMPLEX64: "complex64",
TCOMPLEX128: "complex128",
TBOOL: "bool",
TANY: "any",
TSTRING: "string",
TNIL: "nil",
TIDEAL: "untyped number",
TBLANK: "blank",
}
var CalcSizeDisabled bool
CalcSizeDisabled indicates whether it is safe to calculate Types' widths and alignments. See CalcSize.
var DefaultKinds = [...]Kind{ constant.Bool: TBOOL, constant.String: TSTRING, constant.Int: TINT, constant.Float: TFLOAT64, constant.Complex: TCOMPLEX128, }
DefaultKinds maps from a constant.Kind to its default Kind.
var IsOrdered [NTYPE]bool
var MaxWidth int64
MaxWidth is the maximum size of a value on the target architecture.
var NewPtrCacheEnabled = true
NewPtrCacheEnabled controls whether *T Types are cached in T. Caching is disabled just before starting the backend. This allows the backend to run concurrently.
var NumImport = make(map[string]int)
numImport tracks how often a package with a given name is imported. It is used to provide a better error message (by using the package path to disambiguate) if a package that appears multiple times with the same name appears in an error message.
var PtrSize int
var RegSize int
var ShapePkg = NewPkg("go.shape", "go.shape")
Fake package for shape types (see typecheck.Shapify()).
var SimType [NTYPE]Kind
var SkipSizeForTracing bool
var Types [NTYPE]*Type
Types stores pointers to predeclared named types.
It also stores pointers to several special types:
- Types[TANY] is the placeholder "any" type recognized by SubstArgTypes.
- Types[TBLANK] represents the blank variable's type.
- Types[TINTER] is the canonical "interface{}" type.
- Types[TNIL] represents the predeclared "nil" value's type.
- Types[TUNSAFEPTR] is package unsafe's Pointer type.
var UntypedTypes = [...]*Type{ constant.Bool: UntypedBool, constant.String: UntypedString, constant.Int: UntypedInt, constant.Float: UntypedFloat, constant.Complex: UntypedComplex, }
UntypedTypes maps from a constant.Kind to its untyped Type representation.
Functions ¶
func AlgType ¶
AlgType returns the AlgKind used for comparing and hashing Type t. If it returns ANOEQ, it also returns the component type of t that makes it incomparable.
func AllowsGoVersion ¶
AllowsGoVersion reports whether local package is allowed to use Go version major.minor.
func CalcSize ¶
func CalcSize(t *Type)
CalcSize calculates and stores the size and alignment for t. If CalcSizeDisabled is set, and the size/alignment have not already been calculated, it calls Fatal. This is used to prevent data races in the back end.
func CalcStructSize ¶
func CalcStructSize(t *Type)
CalcStructSize calculates the size of t, filling in t.width, t.align, t.intRegs, and t.floatRegs, even if size calculation is otherwise disabled.
func DeferCheckSize ¶
func DeferCheckSize()
func Identical ¶
Identical reports whether t1 and t2 are identical types, following the spec rules. Receiver parameter types are ignored. Named (defined) types are only equal if they are pointer-equal - i.e. there must be a unique types.Type for each specific named type. Also, a type containing a shape type is considered identical to another type (shape or not) if their underlying types are the same, or they are both pointers.
func IdenticalIgnoreTags ¶
IdenticalIgnoreTags is like Identical, but it ignores struct tags for struct identity.
func IdenticalStrict ¶
IdenticalStrict is like Identical, but matches types exactly, without the exception for shapes.
func InternString ¶
func IsComparable ¶
IsComparable reports whether t is a comparable type.
func IsDirectIface ¶
Can this type be stored directly in an interface word? Yes, if the representation is a single pointer.
func IsExported ¶
IsExported reports whether name is an exported Go symbol (that is, whether it begins with an upper-case letter).
func IsInterfaceMethod ¶
IsInterfaceMethod reports whether (field) m is an interface method. Such methods have the special receiver type types.FakeRecvType().
func IsMethodApplicable ¶
IsMethodApplicable reports whether method m can be called on a value of type t. This is necessary because we compute a single method set for both T and *T, but some *T methods are not applicable to T receivers.
func IsNoInstrumentPkg ¶ added in v0.7.2202
IsNoInstrumentPkg reports whether p is a package that should not be instrumented.
func IsNoRacePkg ¶ added in v0.7.2202
IsNoRacePkg reports whether p is a package that should not be race instrumented.
func IsPaddedField ¶
IsPaddedField reports whether the i'th field of struct type t is followed by padding.
func IsReflexive ¶
IsReflexive reports whether t has a reflexive equality operator. That is, if x==x for all x of type t.
func ParseLangFlag ¶
func ParseLangFlag()
ParseLangFlag verifies that the -lang flag holds a valid value, and exits if not. It initializes data used by langSupported.
func PtrDataSize ¶
PtrDataSize returns the length in bytes of the prefix of t containing pointer data. Anything after this offset is scalar data.
PtrDataSize is only defined for actual Go types. It's an error to use it on compiler-internal types (e.g., TSSA, TRESULTS).
func ReflectSymName ¶ added in v0.7.2202
ReflectSymName returns the name of s if it's in package "reflect"; otherwise it returns "".
func ResumeCheckSize ¶
func ResumeCheckSize()
func RuntimeSymName ¶ added in v0.7.2202
RuntimeSymName returns the name of s if it's in package "runtime"; otherwise it returns "".
func SplitVargenSuffix ¶ added in v0.3.205
SplitVargenSuffix returns name split into a base string and a ·N suffix, if any.
func TypeHasNoAlg ¶
TypeHasNoAlg reports whether t does not have any associated hash/eq algorithms because t, or some component of t, is marked Noalg.
func TypeSymName ¶
Types ¶
type AlgKind ¶
type AlgKind int
AlgKind describes the kind of algorithms used for comparing and hashing a Type.
type Array ¶
type Array struct { Elem *Type // element type Bound int64 // number of elements; <0 if unknown yet }
Array contains Type fields specific to array types.
type ChanArgs ¶
type ChanArgs struct {
T *Type // reference to a chan type whose elements need a width check
}
ChanArgs contains Type fields specific to TCHANARGS types.
type Cmp ¶
type Cmp int8
Cmp is a comparison between values a and b.
-1 if a < b 0 if a == b 1 if a > b
type EmbeddedsByName ¶
type EmbeddedsByName []*Field
EmbeddedsByName sorts embedded types by name.
func (EmbeddedsByName) Len ¶
func (x EmbeddedsByName) Len() int
func (EmbeddedsByName) Less ¶
func (x EmbeddedsByName) Less(i, j int) bool
func (EmbeddedsByName) Swap ¶
func (x EmbeddedsByName) Swap(i, j int)
type Field ¶
type Field struct { Embedded uint8 // embedded field Pos src.XPos // Name of field/method/parameter. Can be nil for interface fields embedded // in interfaces and unnamed parameters. Sym *Sym Type *Type // field type Note string // literal string annotation // For fields that represent function parameters, Nname points to the // associated ONAME Node. For fields that represent methods, Nname points to // the function name node. Nname Object // Offset in bytes of this field or method within its enclosing struct // or interface Type. For parameters, this is BADWIDTH. Offset int64 // contains filtered or unexported fields }
A Field is a (Sym, Type) pairing along with some other information, and, depending on the context, is used to represent:
- a field in a struct
- a method in an interface or associated with a named type
- a function parameter
func IncomparableField ¶
IncomparableField returns an incomparable Field of struct Type t, if any.
func (*Field) Nointerface ¶
func (*Field) SetNointerface ¶
type Forward ¶
type Forward struct { Copyto []*Type // where to copy the eventual value to Embedlineno src.XPos // first use of this type as an embedded type }
Forward contains Type fields specific to forward types.
type Func ¶
type Func struct { // Argwid is the total width of the function receiver, params, and results. // It gets calculated via a temporary TFUNCARGS type. // Note that TFUNC's Width is Widthptr. Argwid int64 // contains filtered or unexported fields }
Func contains Type fields specific to func types.
type FuncArgs ¶
type FuncArgs struct {
T *Type // reference to a func type whose elements need a width check
}
// FuncArgs contains Type fields specific to TFUNCARGS types.
type Interface ¶
type Interface struct { }
Interface contains Type fields specific to interface types.
type Kind ¶
type Kind uint8
Kind describes a kind of type.
const ( Txxx Kind = iota TINT8 TUINT8 TINT16 TUINT16 TINT32 TUINT32 TINT64 TUINT64 TINT TUINT TUINTPTR TCOMPLEX64 TCOMPLEX128 TFLOAT32 TFLOAT64 TBOOL TPTR TFUNC TSLICE TARRAY TSTRUCT TCHAN TMAP TINTER TFORW TANY TSTRING TUNSAFEPTR // pseudo-types for literals TIDEAL // untyped numeric constants TNIL TBLANK // pseudo-types used temporarily only during frame layout (CalcSize()) TFUNCARGS TCHANARGS // SSA backend types TSSA // internal types used by SSA backend (flags, memory, etc.) TTUPLE // a pair of types, used by SSA backend TRESULTS // multiple types; the result of calling a function or method, with a memory at the end. NTYPE )
type Map ¶
type Map struct { Key *Type // Key type Elem *Type // Val (elem) type Bucket *Type // internal struct type representing a hash bucket }
Map contains Type fields specific to maps.
type MethodsByName ¶
type MethodsByName []*Field
MethodsByName sorts methods by name.
func (MethodsByName) Len ¶
func (x MethodsByName) Len() int
func (MethodsByName) Less ¶
func (x MethodsByName) Less(i, j int) bool
func (MethodsByName) Swap ¶
func (x MethodsByName) Swap(i, j int)
type Object ¶
Object represents an ir.Node, but without needing to import cmd/compile/internal/ir, which would cause an import cycle. The uses in other packages must type assert values of type Object to ir.Node or a more specific type.
type Pkg ¶
type Pkg struct { Path string // string literal used in import statement, e.g. "runtime/internal/sys" Name string // package name, e.g. "sys" Prefix string // escaped path for use in symbol table Syms map[string]*Sym Pathsym *obj.LSym Direct bool // imported directly }
var BuiltinPkg *Pkg
BuiltinPkg is a fake package that declares the universe block.
var LocalPkg *Pkg
LocalPkg is the package being compiled.
var UnsafePkg *Pkg
UnsafePkg is package unsafe.
func NewPkg ¶
NewPkg returns a new Pkg for the given package path and name. Unless name is the empty string, if the package exists already, the existing package name and the provided name must match.
func (*Pkg) LookupBytes ¶
func (*Pkg) LookupNum ¶
LookupNum looks up the symbol starting with prefix and ending with the decimal n. If prefix is too long, LookupNum panics.
type Ptr ¶
type Ptr struct {
Elem *Type // element type
}
Ptr contains Type fields specific to pointer types.
type Results ¶
type Results struct {
Types []*Type // Last element is memory output from call.
}
Results are the output from calls that will be late-expanded.
type Slice ¶
type Slice struct {
Elem *Type // element type
}
Slice contains Type fields specific to slice types.
type Struct ¶
type Struct struct { // Maps have three associated internal structs (see struct MapType). // Map links such structs back to their map type. Map *Type ParamTuple bool // whether this struct is actually a tuple of signature parameters // contains filtered or unexported fields }
StructType contains Type fields specific to struct types.
type Sym ¶
type Sym struct { Linkname string // link name Pkg *Pkg Name string // object name // The unique ONAME, OTYPE, OPACK, or OLITERAL node that this symbol is // bound to within the current scope. (Most parts of the compiler should // prefer passing the Node directly, rather than relying on this field.) // // Deprecated: New code should avoid depending on Sym.Def. Add // mdempsky@ as a reviewer for any CLs involving Sym.Def. Def Object // contains filtered or unexported fields }
Sym represents an object name in a segmented (pkg, name) namespace. Most commonly, this is a Go identifier naming an object declared within a package, but Syms are also used to name internal synthesized objects.
As an exception, field and method names that are exported use the Sym associated with localpkg instead of the package that declared them. This allows using Sym pointer equality to test for Go identifier uniqueness when handling selector expressions.
Ideally, Sym should be used for representing Go language constructs, while cmd/internal/obj.LSym is used for representing emitted artifacts.
NOTE: In practice, things can be messier than the description above for various reasons (historical, convenience).
var BlankSym *Sym
BlankSym is the blank (_) symbol.
func TypeSymLookup ¶
func (*Sym) Format ¶
Format implements formatting for a Sym. The valid formats are:
%v Go syntax: Name for symbols in the local package, PkgName.Name for imported symbols. %+v Debug syntax: always include PkgName. prefix even for local names. %S Short syntax: Name only, no matter what.
func (*Sym) Less ¶
Less reports whether symbol a is ordered before symbol b.
Symbols are ordered exported before non-exported, then by name, and finally (for non-exported symbols) by package path.
func (*Sym) Linksym
deprecated
func (*Sym) LinksymABI
deprecated
func (*Sym) OnExportList ¶
func (*Sym) SetOnExportList ¶
type Type ¶
type Type struct {
// contains filtered or unexported fields
}
A Type represents a Go type.
There may be multiple unnamed types with identical structure. However, there must be a unique Type object for each unique named (defined) type. After noding, a package-level type can be looked up by building its unique symbol sym (sym = package.Lookup(name)) and checking sym.Def. If sym.Def is non-nil, the type already exists at package scope and is available at sym.Def.(*ir.Name).Type(). Local types (which may have the same name as a package-level type) are distinguished by their vargen, which is embedded in their symbol name.
func ComplexForFloat ¶
func FakeRecvType ¶
func FakeRecvType() *Type
FakeRecvType returns the singleton type used for interface method receivers.
func FloatForComplex ¶
func NewChanArgs ¶
NewChanArgs returns a new TCHANARGS type for channel type c.
func NewFuncArgs ¶
NewFuncArgs returns a new TFUNCARGS type for func type f.
func NewInterface ¶
NewInterface returns a new interface for the given methods and embedded types. Embedded types are specified as fields with no Sym.
func NewNamed ¶
NewNamed returns a new named type for the given type name. obj should be an ir.Name. The new type is incomplete (marked as TFORW kind), and the underlying type should be set later via SetUnderlying(). References to the type are maintained until the type is filled in, so those references can be updated when the type is complete.
func NewResults ¶
func NewSignature ¶
NewSignature returns a new function type for the given receiver, parameters, and results, any of which may be nil.
func ReceiverBaseType ¶
ReceiverBaseType returns the underlying type, if any, that owns methods with receiver parameter t. The result is either a named type or an anonymous struct.
func SubstAny ¶
SubstAny walks t, replacing instances of "any" with successive elements removed from types. It returns the substituted type.
func (*Type) AllMethods ¶
AllMethods returns a pointer to all the methods (including embedding) for type t. For an interface type, this is the set of methods that are typically iterated over. For non-interface types, AllMethods() only returns a valid result after CalcMethods() has been called at least once.
func (*Type) ArgWidth ¶
ArgWidth returns the total aligned argument size for a function. It includes the receiver, parameters, and results.
func (*Type) CanBeAnSSAAux ¶
func (*Type) CanBeAnSSAAux()
func (*Type) ChanDir ¶
ChanDir returns the direction of a channel type t. The direction will be one of Crecv, Csend, or Cboth.
func (*Type) Compare ¶
Compare compares types for purposes of the SSA back end, returning a Cmp (one of CMPlt, CMPeq, CMPgt). The answers are correct for an optimizer or code generator, but not necessarily typechecking. The order chosen is arbitrary, only consistency and division into equivalence classes (Types that compare CMPeq) matters.
func (*Type) Deferwidth ¶
func (*Type) Elem ¶
Elem returns the type of elements of t. Usable with pointers, channels, arrays, slices, and maps.
func (*Type) Format ¶
Format implements formatting for a Type. The valid formats are:
%v Go syntax %+v Debug syntax: Go syntax with a KIND- prefix for all but builtins. %L Go syntax for underlying type if t is named %S short Go syntax: drop leading "func" in function type %-S special case for method receiver symbol
func (*Type) HasPointers ¶
HasPointers reports whether t contains a heap pointer. Note that this function ignores pointers to not-in-heap types.
func (*Type) IsEmptyInterface ¶
IsEmptyInterface reports whether t is an empty interface type.
func (*Type) IsFullyInstantiated ¶
IsFullyInstantiated reports whether t is a fully instantiated generic type; i.e. an instantiated generic type where all type arguments are non-generic or fully instantiated generic types.
func (*Type) IsFuncArgStruct ¶
IsFuncArgStruct reports whether t is a struct representing function parameters or results.
func (*Type) IsInterface ¶
func (*Type) IsPtr ¶
IsPtr reports whether t is a regular Go pointer type. This does not include unsafe.Pointer.
func (*Type) IsPtrShaped ¶
IsPtrShaped reports whether t is represented by a single machine pointer. In addition to regular Go pointer types, this includes map, channel, and function types and unsafe.Pointer. It does not include array or struct types that consist of a single pointer shaped type. TODO(mdempsky): Should it? See golang.org/issue/15028.
func (*Type) IsScalar ¶
IsScalar reports whether 't' is a scalar Go type, e.g. bool/int/float/complex. Note that struct and array types consisting of a single scalar element are not considered scalar, likewise pointer types are also not considered scalar.
func (*Type) IsUnsafePtr ¶
IsUnsafePtr reports whether t is an unsafe pointer.
func (*Type) IsUnsigned ¶
func (*Type) IsVariadic ¶
IsVariadic reports whether function type t is variadic.
func (*Type) LinkString ¶
LinkString returns a string description of t, suitable for use in link symbols.
The description corresponds to type identity. That is, for any pair of types t1 and t2, Identical(t1, t2) == (t1.LinkString() == t2.LinkString()) is true. Thus it's safe to use as a map key to implement a type-identity-keyed map.
func (*Type) Methods ¶
Methods returns a pointer to the base methods (excluding embedding) for type t. These can either be concrete methods (for non-interface types) or interface methods (for interface types).
func (*Type) NameString ¶
NameString generates a user-readable, mostly unique string description of t. NameString always returns the same description for identical types, even across compilation units.
NameString qualifies identifiers by package name, so it has collisions when different packages share the same names and identifiers. It also does not distinguish function-scope defined types from package-scoped defined types or from each other.
func (*Type) NumComponents ¶
NumComponents returns the number of primitive elements that compose t. Struct and array types are flattened for the purpose of counting. All other types (including string, slice, and interface types) count as one element. If countBlank is IgnoreBlankFields, then blank struct fields (and their comprised elements) are excluded from the count. struct { x, y [3]int } has six components; [10]struct{ x, y string } has twenty.
func (*Type) NumResults ¶
func (*Type) Obj ¶
Obj returns the canonical type name node for a named type t, nil for an unnamed type.
func (*Type) OffsetOf ¶ added in v0.7.2202
OffsetOf reports the offset of the field of a struct. The field is looked up by name.
func (*Type) ParamsResults ¶ added in v0.7.2202
ParamsResults returns a slice containing the signature's (normal) parameters followed by its results.
func (*Type) Pos ¶
Pos returns a position associated with t, if any. This should only be used for diagnostics.
func (*Type) RecvParams ¶ added in v0.7.2202
RecvParams returns a slice containing the signature's receiver (if any) followed by its (normal) parameters.
func (*Type) RecvParamsResults ¶ added in v0.7.2202
RecvsParamsResults returns a slice containing all of the signature's parameters in receiver (if any), (normal) parameters, and then results.
func (*Type) Recvs ¶
Recvs returns a slice of receiver parameters of signature type t. The returned slice always has length 0 or 1.
func (*Type) Registers ¶ added in v0.7.2202
Registers returns the number of integer and floating-point registers required to represent a parameter of this type under the ABIInternal calling conventions.
If t must be passed by memory, Registers returns (math.MaxUint8, math.MaxUint8).
func (*Type) ResultsTuple ¶ added in v0.7.2202
ResultTuple returns the result type of signature type t as a tuple. This can be used as the type of multi-valued call expressions.
func (*Type) SetAllMethods ¶
SetAllMethods sets the set of all methods for type t (i.e., including promoted methods from embedded types).
func (*Type) SetDeferwidth ¶
func (*Type) SetHasShape ¶
func (*Type) SetInterface ¶
SetInterface sets the base methods of an interface type t.
func (*Type) SetIsShape ¶
Should always do SetHasShape(true) when doing SetIsShape(true).
func (*Type) SetMethods ¶ added in v0.7.2202
SetMethods sets the direct method set for type t (i.e., *not* including promoted methods from embedded types).
func (*Type) SetNotInHeap ¶
func (*Type) SetRParams ¶
func (*Type) SetUnderlying ¶
SetUnderlying sets the underlying type of an incomplete type (i.e. type whose kind is currently TFORW). SetUnderlying automatically updates any types that were waiting for this type to be completed.
func (*Type) SimpleString ¶
func (*Type) SoleComponent ¶
SoleComponent returns the only primitive component in t, if there is exactly one. Otherwise, it returns nil. Components are counted as in NumComponents, including blank fields. Keep in sync with cmd/compile/internal/walk/convert.go:soleComponent.
func (*Type) StructType ¶
StructType returns t's extra struct-specific fields.
func (*Type) ToUnsigned ¶
ToUnsigned returns the unsigned equivalent of integer type t.
func (*Type) Underlying ¶
Underlying returns the underlying type of type t.