C# Class Microsoft.Fast.AST.LangOrTransDef

Inheritance: Def
Exibir arquivo Open project: AutomataDotNet/Automata

Public Properties

Property Type Description
cases List
domain FastSort
func FuncSymbol
isPublic bool
range FastSort
treeMatchName FuncSymbol

Public Methods

Method Description
AddCase ( GuardedExp gexpr ) : void

Protected Methods

Method Description
LangOrTransDef ( DefKind kind, FastSort domain ) : System

Private Methods

Method Description
Typecheck ( FastPgm pgm ) : void

Method Details

AddCase() public method

public AddCase ( GuardedExp gexpr ) : void
gexpr GuardedExp
return void

LangOrTransDef() protected method

protected LangOrTransDef ( DefKind kind, FastSort domain ) : System
kind DefKind
domain FastSort
return System

Property Details

cases public_oe property

public List cases
return List

domain public_oe property

public FastSort,Microsoft.Fast.AST domain
return FastSort

func public_oe property

public FuncSymbol,Microsoft.Fast.AST func
return FuncSymbol

isPublic public_oe property

public bool isPublic
return bool

range public_oe property

public FastSort,Microsoft.Fast.AST range
return FastSort

treeMatchName public_oe property

public FuncSymbol,Microsoft.Fast.AST treeMatchName
return FuncSymbol