C# Class Microsoft.Fast.AST.ContainsQueryDef

Inheritance: BoolQueryDef

Mostra file Open project: AutomataDotNet/Automata

Public Properties

Property	Type	Description
expr	FExp
language	BuiltinLangExp

Public Methods

Method	Description
ContainsQueryDef ( FastToken print, BuiltinLangExp lang, FExp tree ) : System
PrettyPrint ( StringBuilder sb ) : void

Private Methods

Method	Description
Typecheck ( FastPgm pgm ) : void

Method Details

ContainsQueryDef() public method

public ContainsQueryDef ( FastToken print, BuiltinLangExp lang, FExp tree ) : System
print	FastToken
lang	BuiltinLangExp
tree	FExp
return	System

PrettyPrint() public method

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

Property Details

expr public_oe property

public FExp,Microsoft.Fast.AST expr
return	FExp

language public_oe property

public BuiltinLangExp,Microsoft.Fast.AST language
return	BuiltinLangExp