Documentation ¶
Index ¶
- func DumpFacts(builder *CFGBuilder, factsInFolder string)
- func GetDot(b *CFGBuilder) string
- func Walk(v Visitor, node Node, prev_node Node)
- type AbsDD
- type AbsTD
- type AbsTT
- type Accept
- type AllDD
- type AllTD
- type AllTT
- type AppDD
- type AppTD
- type AppTT
- type Bind
- type Bnr
- type BnrType
- type Builtin
- type BuiltinADTs
- type BuiltinVar
- type CFGBuilder
- type CallProc
- type Cond
- type Data
- type DataCase
- type DataVar
- type Enum
- type EnumType
- type Event
- type Exc
- type ExcType
- type FactsDumper
- type IDNode
- type Int
- type IntType
- type Jump
- type Kind
- type Load
- type Map
- type MapType
- type Msg
- type MsgType
- type Nat
- type NatType
- type Node
- type PickData
- type PickProc
- type Proc
- type ProcCase
- type ProcType
- type Raw
- type RawType
- type Save
- type Send
- type SetKind
- type Str
- type StrType
- type Type
- type TypeVar
- type Unit
- type Visitor
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func DumpFacts ¶
func DumpFacts(builder *CFGBuilder, factsInFolder string)
func GetDot ¶
func GetDot(b *CFGBuilder) string
Types ¶
type BuiltinADTs ¶
type BuiltinADTs struct { Boolean Type TT Data FF Data List *AbsTT Nil *AbsTD Cons *AbsTD Option *AbsTT None *AbsTD Some *AbsTD Product Type Pair Data // contains filtered or unexported fields }
func StdLib ¶
func StdLib(builder *CFGBuilder) BuiltinADTs
type BuiltinVar ¶
type CFGBuilder ¶
type CFGBuilder struct { Constructor *Proc Transitions map[string]*Proc Procedures map[string]*Proc // contains filtered or unexported fields }
func BuildCFG ¶
func BuildCFG(n ast.AstNode) *CFGBuilder
func (*CFGBuilder) TypeOf ¶
func (builder *CFGBuilder) TypeOf(d Data) Type
type FactsDumper ¶
type FactsDumper struct {
// contains filtered or unexported fields
}
Click to show internal directories.
Click to hide internal directories.