C# Class Microsoft.Fast.AST.TypecheckQueryDef

Inheritance: BoolQueryDef

Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Свойство	Type	Description
input	BuiltinLangExp
output	BuiltinLangExp
trans	BuiltinTransExp

Méthodes publiques

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

Private Methods

Méthode	Description
Typecheck ( FastPgm pgm ) : void

Method Details

PrettyPrint() public méthode

public PrettyPrint ( StringBuilder sb ) : void
sb	StringBuilder
Résultat	void

TypecheckQueryDef() public méthode

public TypecheckQueryDef ( FastToken isempty, BuiltinLangExp input, BuiltinTransExp trans, BuiltinLangExp output ) : System
isempty	FastToken
input	BuiltinLangExp
trans	BuiltinTransExp
output	BuiltinLangExp
Résultat	System

Property Details

input public_oe property

public BuiltinLangExp,Microsoft.Fast.AST input
Résultat	BuiltinLangExp

output public_oe property

public BuiltinLangExp,Microsoft.Fast.AST output
Résultat	BuiltinLangExp

trans public_oe property

public BuiltinTransExp,Microsoft.Fast.AST trans
Résultat	BuiltinTransExp