Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security Policy
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

types

package

Go to main page

Versions in this module

v0

v0.19.1

Nov 14, 2024

v0.19.0

Nov 13, 2024

v0.18.2

Nov 11, 2024

v0.18.1

Nov 7, 2024

v0.18.0

Oct 24, 2023

Changes in this version

+ var Predefined = map[string]Type

+ type BehaviourType struct

+ ExecuteOn Type

+ External bool

+ MTC Type

+ Name string

+ Parameters []Type

+ Port Type

+ Receiver Type

+ Return Type

+ RunsOn Type

+ System Type

+ func (t *BehaviourType) String() string

+ type Field struct

+ Abstract bool

+ Default bool

+ Name string

+ Optional bool

+ func (f *Field) String() string

type Kind

+ const Altstep

+ const Any

+ const Anytype

+ const Array

+ const Configuration

+ const Default

+ const Enumerated

+ const Error

+ const Function

+ const Incomplete

+ const Record

+ const RecordOf

+ const Set

+ const SetOf

+ const Testcase

+ const Trait

+ const Union

+ func (k Kind) String() string

+ type ListType struct

+ ElementType Type

+ LengthConstraint Value

+ Methods map[string]Type

+ Name string

+ ValueConstraints []Value

+ func (t *ListType) String() string

+ type MapType struct

+ From Type

+ Name string

+ To Type

+ func (t *MapType) String() string

+ type PrimitiveType struct

+ Methods map[string]Type

+ Name string

+ ValueConstraints []Value

+ func (t *PrimitiveType) String() string

+ type StructuredType struct

+ Extends []Type

+ External bool

+ Fields []Field

+ Methods map[string]Type

+ Name string

+ ValueConstraints []Value

+ func (t *StructuredType) String() string

type Type

+ func TypeOf(n syntax.Expr) Type

+ type Value struct

+ func (v Value) String() string

v0.13.2

Feb 7, 2022

v0.13.1

Feb 7, 2022

v0.13.0

Feb 6, 2022

v0.12.1

Feb 3, 2022

v0.12.0

Jan 28, 2022

v0.11.1

Dec 14, 2021

v0.11.0

Dec 11, 2021

Changes in this version

+ var Typ = []*BasicType

+ var Universe scope

+ func Compatible(a, b Type) bool

+ type BasicType struct

+ func (b *BasicType) Kind() Kind

+ func (b *BasicType) String() string

+ func (b *BasicType) Underlying() Type

+ type ComponentType struct

+ Ports []*Port

+ Vars []*Var

+ func NewComponentType(n ast.Node, name string) *ComponentType

+ func (c *ComponentType) Insert(obj Object) Object

+ func (c *ComponentType) String() string

+ func (c *ComponentType) Underlying() Type

+ func (obj *ComponentType) End() loc.Pos

+ func (obj *ComponentType) Name() string

+ func (obj *ComponentType) Node() ast.Node

+ func (obj *ComponentType) Parent() Scope

+ func (obj *ComponentType) Pos() loc.Pos

+ func (obj *ComponentType) Type() Type

+ func (s *ComponentType) Lookup(name string) Object

+ func (s *ComponentType) Names() []string

+ type EnumeratedType struct

+ Fields []*Var

+ func NewEnumeratedType(n ast.Node, name string, typ Type) *EnumeratedType

+ func (obj *EnumeratedType) End() loc.Pos

+ func (obj *EnumeratedType) Name() string

+ func (obj *EnumeratedType) Node() ast.Node

+ func (obj *EnumeratedType) Parent() Scope

+ func (obj *EnumeratedType) Pos() loc.Pos

+ func (obj *EnumeratedType) Type() Type

+ func (s *EnumeratedType) Insert(obj Object) Object

+ func (s *EnumeratedType) Lookup(name string) Object

+ func (s *EnumeratedType) Names() []string

+ type Func struct

+ func NewFunc(n *ast.FuncDecl, name string) *Func

+ func (obj *Func) End() loc.Pos

+ func (obj *Func) Name() string

+ func (obj *Func) Node() ast.Node

+ func (obj *Func) Parent() Scope

+ func (obj *Func) Pos() loc.Pos

+ func (obj *Func) Type() Type

+ type Import struct

+ func NewImport(n *ast.ImportDecl, name string, module string) *Import

+ func (obj *Import) End() loc.Pos

+ func (obj *Import) Name() string

+ func (obj *Import) Node() ast.Node

+ func (obj *Import) Parent() Scope

+ func (obj *Import) Pos() loc.Pos

+ func (obj *Import) Type() Type

+ type Info struct

+ Error func(error)

+ Fset *loc.FileSet

+ Import func(name string) error

+ Modules map[string]*Module

+ Scopes map[*ast.Ident]Scope

+ Types map[ast.Expr]Type

+ func (info *Info) CollectInfo(n ast.Node)

+ func (info *Info) Define(n ast.Node)

+ func (info *Info) Resolve()

+ type InvalidTypeError struct

+ Actual Type

+ Expected Type

+ Pos loc.Position

+ func (err *InvalidTypeError) Error() string

+ type Kind int

+ const Bitstring

+ const Boolean

+ const Charstring

+ const Component

+ const Float

+ const Hexstring

+ const Integer

+ const Invalid

+ const Numerical

+ const Octetstring

+ const Omit

+ const String

+ const Template

+ const Timer

+ const UniversalCharstring

+ const Verdict

+ type LocalScope struct

+ func NewLocalScope(rng Range, parent Scope) *LocalScope

+ func (ls *LocalScope) Lookup(name string) Object

+ func (s *LocalScope) Insert(obj Object) Object

+ func (s *LocalScope) Names() []string

+ type Module struct

+ Imports []string

+ func NewModule(n *ast.Module, name string) *Module

+ func (m *Module) Lookup(name string) Object

+ func (obj *Module) End() loc.Pos

+ func (obj *Module) Name() string

+ func (obj *Module) Node() ast.Node

+ func (obj *Module) Parent() Scope

+ func (obj *Module) Pos() loc.Pos

+ func (obj *Module) Type() Type

+ func (s *Module) Insert(obj Object) Object

+ func (s *Module) Names() []string

+ type NoFieldError struct

+ Field string

+ Pos loc.Position

+ Type string

+ func (err *NoFieldError) Error() string

+ type Object interface

+ Name func() string

+ Node func() ast.Node

+ Parent func() Scope

+ Type func() Type

+ type Port struct

+ func NewPort() *Port

+ func (obj *Port) End() loc.Pos

+ func (obj *Port) Name() string

+ func (obj *Port) Node() ast.Node

+ func (obj *Port) Parent() Scope

+ func (obj *Port) Pos() loc.Pos

+ func (obj *Port) Type() Type

+ type Range interface

+ End func() loc.Pos

+ Pos func() loc.Pos

+ type RedefinitionError struct

+ Name string

+ NewPos loc.Position

+ OldPos loc.Position

+ func (err *RedefinitionError) Error() string

+ type Scope interface

+ Insert func(obj Object) Object

+ Lookup func(name string) Object

+ Names func() []string

+ type Struct struct

+ Fields []*Var

+ func NewStruct(rng Range, parent Scope) *Struct

+ func (s *Struct) End() loc.Pos

+ func (s *Struct) Insert(obj Object) Object

+ func (s *Struct) Lookup(name string) Object

+ func (s *Struct) Names() []string

+ func (s *Struct) Parent() Scope

+ func (s *Struct) Pos() loc.Pos

+ func (s *Struct) String() string

+ func (s *Struct) Underlying() Type

+ type Type interface

+ String func() string

+ Underlying func() Type

+ type TypeName struct

+ func NewTypeName(n ast.Node, name string, typ Type) *TypeName

+ func (obj *TypeName) End() loc.Pos

+ func (obj *TypeName) Name() string

+ func (obj *TypeName) Node() ast.Node

+ func (obj *TypeName) Parent() Scope

+ func (obj *TypeName) Pos() loc.Pos

+ func (obj *TypeName) Type() Type

+ type UnknownIdentifierError struct

+ Name string

+ Pos loc.Position

+ func (err *UnknownIdentifierError) Error() string

+ type Var struct

+ func NewVar(n ast.Node, name string) *Var

+ func (obj *Var) End() loc.Pos

+ func (obj *Var) Name() string

+ func (obj *Var) Node() ast.Node

+ func (obj *Var) Parent() Scope

+ func (obj *Var) Pos() loc.Pos

+ func (obj *Var) Type() Type