C# Class Microsoft.Fast.AST.IsEmptyTransQueryDef

Inheritance: IsEmptyQueryDef
Show file Open project: AutomataDotNet/Automata

Public Properties

Property Type Description
trans BuiltinTransExp

Public Methods

Method Description
IsEmptyTransQueryDef ( FastToken isempty, BuiltinTransExp trans ) : System

Private Methods

Method Description
Typecheck ( FastPgm pgm ) : void

Method Details

IsEmptyTransQueryDef() public method

public IsEmptyTransQueryDef ( FastToken isempty, BuiltinTransExp trans ) : System
isempty FastToken
trans BuiltinTransExp
return System

Property Details

trans public property

public BuiltinTransExp,Microsoft.Fast.AST trans
return BuiltinTransExp