C# Class Microsoft.Fast.AST.GuardedExp

Inheritance: Ast

显示文件 Open project: AutomataDotNet/Automata Class Usage Examples

Public Properties

Property	Type	Description
given	List
pat	Pattern
to	FExp
where	FExp

Public Methods

Method	Description
AddGivenCase ( FExp gc ) : void
GuardedExp ( Pattern pat ) : System
GuardedExp ( Pattern pat, FExp where, List given ) : System
GuardedExp ( Pattern pat, FExp where, List given, FExp to ) : System
PrettyPrint ( StringBuilder sb ) : void

Method Details

AddGivenCase() public method

public AddGivenCase ( FExp gc ) : void
gc	FExp
return	void

GuardedExp() public method

public GuardedExp ( Pattern pat ) : System
pat	Pattern
return	System

GuardedExp() public method

public GuardedExp ( Pattern pat, FExp where, List given ) : System
pat	Pattern
where	FExp
given	List
return	System

GuardedExp() public method

public GuardedExp ( Pattern pat, FExp where, List given, FExp to ) : System
pat	Pattern
where	FExp
given	List
to	FExp
return	System

PrettyPrint() public method

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

Property Details

given public_oe property

public List given
return	List

pat public_oe property

public Pattern pat
return	Pattern

to public_oe property

public FExp,Microsoft.Fast.AST to
return	FExp

where public_oe property

public FExp,Microsoft.Fast.AST where
return	FExp