C# (CSharp) Microsoft.Fast.AST Namespace

Classes

Name Description
AlphabetDef
AppExp
Ast
AttributeVariable
BoolQueryDef
BoolValue
BuiltinExp
BuiltinLangExp
BuiltinTransExp
ComplementExp
CompositionExp
ConstDef
ContainsQueryDef
Def
DefDef
DifferenceExp
DisplayQueryDef
DomainExp
EnumDef
EnumValue
EquivQueryDef
FExp
FastPgm The top level Ast. Represents a Fast program.
FastSort
FastToken
FuncSymbol
FunctionDef
FunctionSort
GenCodeQueryDef
GuardedExp
IntersectionExp
IsEmptyLangQueryDef
IsEmptyQueryDef
IsEmptyTransQueryDef
LangDef
LangDefDef
LangEquivQueryDef
LangNameExp
LangOrTransDef
MinimizeExp
NumericValue
Pattern
PreimageExp
QueryDef
RecordExp
RecordSort
RestrictionInpExp
RestrictionOutExp
ScanBase
Scanner
Scanner.BlockReaderFactory
Scanner.BufferException
Scanner.BuildBuffer
Scanner.BuildBuffer.BufferElement
Scanner.CodePageHandling
Scanner.Guesser This class provides a simple finite state automaton that scans the file looking for (1) valid UTF-8 byte patterns, (2) bytes >= 0x80 which are not part of a UTF-8 sequence. The method then guesses whether it is UTF-8 or maybe some local machine default encoding. This works well for the various Latin encodings.
Scanner.LineBuffer
Scanner.ScanBuff
Scanner.Scanner
Scanner.Scanner.BufferContext
Scanner.Scanner.Context
Scanner.Scanner.Table
Scanner.StringBuffer This class reads characters from a single string as required, for example, by Visual Studio language services
StringQueryDef
StringValue
TransDef
TransDefDef
TransEquivQueryDef
TransNameExp
TreeAppDef
TreeDef
TreeExpDef
TreeWitnessDef
TypecheckQueryDef
UnionExp
Value
Variable