C# Class Microsoft.Fast.AST.FunctionSort

Inheritance: FastSort

Exibir arquivo Open project: AutomataDotNet/Automata

Public Properties

Property	Type	Description
domain	List
range	FastSort

Public Methods

Method	Description
FunctionSort ( FastToken name, List domain, FastSort range ) : System
PrettyPrint ( StringBuilder sb ) : void

Method Details

FunctionSort() public method

public FunctionSort ( FastToken name, List domain, FastSort range ) : System
name	FastToken
domain	List
range	FastSort
return	System

PrettyPrint() public method

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

Property Details

domain public_oe property

public List domain
return	List

range public_oe property

public FastSort,Microsoft.Fast.AST range
return	FastSort