C# Class Microsoft.Fast.AST.TypecheckQueryDef

Inheritance: BoolQueryDef

Show file Open project: AutomataDotNet/Automata

Public Properties

Property	Type	Description
input	BuiltinLangExp
output	BuiltinLangExp
trans	BuiltinTransExp

Public Methods

Method	Description
PrettyPrint ( StringBuilder sb ) : void
TypecheckQueryDef ( FastToken isempty, BuiltinLangExp input, BuiltinTransExp trans, BuiltinLangExp output ) : System

Private Methods

Method	Description
Typecheck ( FastPgm pgm ) : void

Method Details

PrettyPrint() public method

public PrettyPrint ( StringBuilder sb ) : void
sb	StringBuilder
return	void

TypecheckQueryDef() public method

public TypecheckQueryDef ( FastToken isempty, BuiltinLangExp input, BuiltinTransExp trans, BuiltinLangExp output ) : System
isempty	FastToken
input	BuiltinLangExp
trans	BuiltinTransExp
output	BuiltinLangExp
return	System

Property Details

input public property

public BuiltinLangExp,Microsoft.Fast.AST input
return	BuiltinLangExp

output public property

public BuiltinLangExp,Microsoft.Fast.AST output
return	BuiltinLangExp

trans public property

public BuiltinTransExp,Microsoft.Fast.AST trans
return	BuiltinTransExp