C# Class Microsoft.Fast.AST.LangOrTransDef

Inheritance: Def
Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Свойство Type Description
cases List
domain FastSort
func FuncSymbol
isPublic bool
range FastSort
treeMatchName FuncSymbol

Méthodes publiques

Méthode Description
AddCase ( GuardedExp gexpr ) : void

Méthodes protégées

Méthode Description
LangOrTransDef ( DefKind kind, FastSort domain ) : System

Private Methods

Méthode Description
Typecheck ( FastPgm pgm ) : void

Method Details

AddCase() public méthode

public AddCase ( GuardedExp gexpr ) : void
gexpr GuardedExp
Résultat void

LangOrTransDef() protected méthode

protected LangOrTransDef ( DefKind kind, FastSort domain ) : System
kind DefKind
domain FastSort
Résultat System

Property Details

cases public_oe property

public List cases
Résultat List

domain public_oe property

public FastSort,Microsoft.Fast.AST domain
Résultat FastSort

func public_oe property

public FuncSymbol,Microsoft.Fast.AST func
Résultat FuncSymbol

isPublic public_oe property

public bool isPublic
Résultat bool

range public_oe property

public FastSort,Microsoft.Fast.AST range
Résultat FastSort

treeMatchName public_oe property

public FuncSymbol,Microsoft.Fast.AST treeMatchName
Résultat FuncSymbol