Documentation ¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type CFSMExtract ¶
type CFSMExtract struct { SSA *ssabuilder.SSAInfo Time time.Duration Done chan struct{} Error chan error // contains filtered or unexported fields }
func New ¶
func New(ssainfo *ssabuilder.SSAInfo, prefix, outdir string) *CFSMExtract
func (*CFSMExtract) Run ¶
func (extract *CFSMExtract) Run()
Run function analyses main.main() then all the goroutines collected, and finally output the analysis results.
func (*CFSMExtract) Session ¶
func (extract *CFSMExtract) Session() *sesstype.Session
Session returns the session after extraction.
func (*CFSMExtract) WriteOutput ¶
func (extract *CFSMExtract) WriteOutput()
type Captures ¶
type Captures []*utils.Definition
Captures are lists of VarDefs for closure captures
type Elems ¶
type Elems map[ssa.Value]*utils.Definition
Elems are maps from array indices (variable) to VarDefs
type Fields ¶
type Fields map[int]*utils.Definition
Fields are maps from struct fields (integer) to VarDefs
type Tuples ¶
type Tuples []*utils.Definition
Tuples are lists of VarDefs from multiple return values
Directories ¶
Path | Synopsis |
---|---|
Package sesstype encapsulates representation of session types As opposed to role-based session types, this representation is channel-based.
|
Package sesstype encapsulates representation of session types As opposed to role-based session types, this representation is channel-based. |
Click to show internal directories.
Click to hide internal directories.