C# Class Microsoft.Fast.AST.CompositionExp

Inheritance: BuiltinTransExp

Mostrar archivo Open project: AutomataDotNet/Automata

Public Properties

Property	Type	Description
arg1	BuiltinTransExp
arg2	BuiltinTransExp

Public Methods

Method	Description
CompositionExp ( FastToken func, BuiltinTransExp arg1, BuiltinTransExp arg2 ) : System
PrettyPrint ( StringBuilder sb ) : void
ToString ( ) : string

Private Methods

Method	Description
BTECheckSorts ( Def>.Dictionary defs, FastPgm pgm ) : void

Method Details

CompositionExp() public method

public CompositionExp ( FastToken func, BuiltinTransExp arg1, BuiltinTransExp arg2 ) : System
func	FastToken
arg1	BuiltinTransExp
arg2	BuiltinTransExp
return	System

PrettyPrint() public method

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

ToString() public method

public ToString ( ) : string
return	string

Property Details

arg1 public_oe property

public BuiltinTransExp,Microsoft.Fast.AST arg1
return	BuiltinTransExp

arg2 public_oe property

public BuiltinTransExp,Microsoft.Fast.AST arg2
return	BuiltinTransExp