C# Class at.jku.ssw.Coco.Tab

Show file Open project: boogie-org/boogie-partners Class Usage Examples

Public Properties

Property Type Description
allSyncSets System.Collections.BitArray
classes System.Collections.ArrayList
ddt bool[]
dummyName int
eofSy Symbol
frameDir string
gramSy Symbol
ignored CharSet
literals System.Collections.Hashtable
nTyp string[]
noSym Symbol
nodes System.Collections.ArrayList
nonterminals System.Collections.ArrayList
nsName string
outDir string
pragmas System.Collections.ArrayList
semDeclPos Position
srcDir string
srcName string
terminals System.Collections.ArrayList

Public Methods

Method Description
AllNtReached ( ) : bool
AllNtToTerm ( ) : bool
CharClassSet ( int i ) : CharSet
CheckAlts ( Node p ) : void
CheckLL1 ( ) : void
CheckOverlap ( BitArray s1, BitArray s2, int cond ) : void
CheckRes ( Node p, bool rslvAllowed ) : void
CheckResolvers ( ) : void
CompAnySets ( ) : void
CompDeletableSymbols ( ) : void
CompFirstSets ( ) : void
CompFollow ( Node p ) : void
CompFollowSets ( ) : void
CompSymbolSets ( ) : void
CompSync ( Node p ) : void
CompSyncSets ( ) : void
Complete ( Symbol sym ) : void
DelGraph ( Node p ) : bool
DelNode ( Node p ) : bool
DelSubGraph ( Node p ) : bool
DeleteNodes ( ) : void
Escape ( string s ) : string
Expected ( Node p, Symbol curSy ) : BitArray
Expected0 ( Node p, Symbol curSy ) : BitArray
FindAS ( Node p ) : void
FindCharClass ( CharSet s ) : CharClass
FindCharClass ( string name ) : CharClass
FindSym ( string name ) : Symbol
Finish ( Graph g ) : void
First ( Node p ) : BitArray
GetSingles ( Node p, ArrayList singles ) : void
GrammarOk ( ) : bool
LL1Error ( int cond, Symbol sym ) : void
MakeAlternative ( Graph g1, Graph g2 ) : void
MakeFirstAlt ( Graph g ) : void
MakeIteration ( Graph g ) : void
MakeOption ( Graph g ) : void
MakeSequence ( Graph g1, Graph g2 ) : void
MarkReachedNts ( Node p ) : void
Name ( string name ) : string
NewCharClass ( string name, CharSet s ) : CharClass
NewNode ( int typ, Node sub ) : Node
NewNode ( int typ, Symbol sym, int line ) : Node
NewNode ( int typ, int val, int line ) : Node
NewSym ( int typ, string name, int line ) : Symbol
NoCircularProductions ( ) : bool
NtsComplete ( ) : bool
PrintNodes ( ) : void
PrintSet ( BitArray s, int indent ) : void
PrintSym ( Symbol sym ) : void
PrintSymbolTable ( ) : void
RenumberPragmas ( ) : void
ResErr ( Node p, string msg ) : void
SetContextTrans ( Node p ) : void
SetDDT ( string s ) : void
SetupAnys ( ) : void
StrToGraph ( string str ) : Graph
Tab ( Parser parser ) : System
Unescape ( string s ) : string
WriteCharClasses ( ) : void
WriteCharSet ( CharSet s ) : void
XRef ( ) : void

Private Methods

Method Description
Ch ( int ch ) : string
Char2Hex ( char ch ) : string
First0 ( Node p, BitArray mark ) : BitArray
Hex2Char ( string s ) : char
IsTerm ( Node p, BitArray mark ) : bool
LeadingAny ( Node p ) : Node
Num ( Node p ) : int
Pos ( Position pos ) : string
Ptr ( Node p, bool up ) : string

Method Details

AllNtReached() public method

public AllNtReached ( ) : bool
return bool

AllNtToTerm() public method

public AllNtToTerm ( ) : bool
return bool

CharClassSet() public method

public CharClassSet ( int i ) : CharSet
i int
return CharSet

CheckAlts() public method

public CheckAlts ( Node p ) : void
p Node
return void

CheckLL1() public method

public CheckLL1 ( ) : void
return void

CheckOverlap() public method

public CheckOverlap ( BitArray s1, BitArray s2, int cond ) : void
s1 System.Collections.BitArray
s2 System.Collections.BitArray
cond int
return void

CheckRes() public method

public CheckRes ( Node p, bool rslvAllowed ) : void
p Node
rslvAllowed bool
return void

CheckResolvers() public method

public CheckResolvers ( ) : void
return void

CompAnySets() public method

public CompAnySets ( ) : void
return void

CompDeletableSymbols() public method

public CompDeletableSymbols ( ) : void
return void

CompFirstSets() public method

public CompFirstSets ( ) : void
return void

CompFollow() public method

public CompFollow ( Node p ) : void
p Node
return void

CompFollowSets() public method

public CompFollowSets ( ) : void
return void

CompSymbolSets() public method

public CompSymbolSets ( ) : void
return void

CompSync() public method

public CompSync ( Node p ) : void
p Node
return void

CompSyncSets() public method

public CompSyncSets ( ) : void
return void

Complete() public method

public Complete ( Symbol sym ) : void
sym Symbol
return void

DelGraph() public static method

public static DelGraph ( Node p ) : bool
p Node
return bool

DelNode() public static method

public static DelNode ( Node p ) : bool
p Node
return bool

DelSubGraph() public static method

public static DelSubGraph ( Node p ) : bool
p Node
return bool

DeleteNodes() public method

public DeleteNodes ( ) : void
return void

Escape() public method

public Escape ( string s ) : string
s string
return string

Expected() public method

public Expected ( Node p, Symbol curSy ) : BitArray
p Node
curSy Symbol
return System.Collections.BitArray

Expected0() public method

public Expected0 ( Node p, Symbol curSy ) : BitArray
p Node
curSy Symbol
return System.Collections.BitArray

FindAS() public method

public FindAS ( Node p ) : void
p Node
return void

FindCharClass() public method

public FindCharClass ( CharSet s ) : CharClass
s CharSet
return CharClass

FindCharClass() public method

public FindCharClass ( string name ) : CharClass
name string
return CharClass

FindSym() public method

public FindSym ( string name ) : Symbol
name string
return Symbol

Finish() public method

public Finish ( Graph g ) : void
g Graph
return void

First() public method

public First ( Node p ) : BitArray
p Node
return System.Collections.BitArray

GetSingles() public method

public GetSingles ( Node p, ArrayList singles ) : void
p Node
singles System.Collections.ArrayList
return void

GrammarOk() public method

public GrammarOk ( ) : bool
return bool

LL1Error() public method

public LL1Error ( int cond, Symbol sym ) : void
cond int
sym Symbol
return void

MakeAlternative() public method

public MakeAlternative ( Graph g1, Graph g2 ) : void
g1 Graph
g2 Graph
return void

MakeFirstAlt() public method

public MakeFirstAlt ( Graph g ) : void
g Graph
return void

MakeIteration() public method

public MakeIteration ( Graph g ) : void
g Graph
return void

MakeOption() public method

public MakeOption ( Graph g ) : void
g Graph
return void

MakeSequence() public method

public MakeSequence ( Graph g1, Graph g2 ) : void
g1 Graph
g2 Graph
return void

MarkReachedNts() public method

public MarkReachedNts ( Node p ) : void
p Node
return void

Name() public method

public Name ( string name ) : string
name string
return string

NewCharClass() public method

public NewCharClass ( string name, CharSet s ) : CharClass
name string
s CharSet
return CharClass

NewNode() public method

public NewNode ( int typ, Node sub ) : Node
typ int
sub Node
return Node

NewNode() public method

public NewNode ( int typ, Symbol sym, int line ) : Node
typ int
sym Symbol
line int
return Node

NewNode() public method

public NewNode ( int typ, int val, int line ) : Node
typ int
val int
line int
return Node

NewSym() public method

public NewSym ( int typ, string name, int line ) : Symbol
typ int
name string
line int
return Symbol

NoCircularProductions() public method

public NoCircularProductions ( ) : bool
return bool

NtsComplete() public method

public NtsComplete ( ) : bool
return bool

PrintNodes() public method

public PrintNodes ( ) : void
return void

PrintSet() public method

public PrintSet ( BitArray s, int indent ) : void
s System.Collections.BitArray
indent int
return void

PrintSym() public method

public PrintSym ( Symbol sym ) : void
sym Symbol
return void

PrintSymbolTable() public method

public PrintSymbolTable ( ) : void
return void

RenumberPragmas() public method

public RenumberPragmas ( ) : void
return void

ResErr() public method

public ResErr ( Node p, string msg ) : void
p Node
msg string
return void

SetContextTrans() public method

public SetContextTrans ( Node p ) : void
p Node
return void

SetDDT() public method

public SetDDT ( string s ) : void
s string
return void

SetupAnys() public method

public SetupAnys ( ) : void
return void

StrToGraph() public method

public StrToGraph ( string str ) : Graph
str string
return Graph

Tab() public method

public Tab ( Parser parser ) : System
parser Parser
return System

Unescape() public method

public Unescape ( string s ) : string
s string
return string

WriteCharClasses() public method

public WriteCharClasses ( ) : void
return void

WriteCharSet() public method

public WriteCharSet ( CharSet s ) : void
s CharSet
return void

XRef() public method

public XRef ( ) : void
return void

Property Details

allSyncSets public property

public BitArray,System.Collections allSyncSets
return System.Collections.BitArray

classes public property

public ArrayList,System.Collections classes
return System.Collections.ArrayList

ddt public property

public bool[] ddt
return bool[]

dummyName public property

public int dummyName
return int

eofSy public property

public Symbol,at.jku.ssw.Coco eofSy
return Symbol

frameDir public property

public string frameDir
return string

gramSy public property

public Symbol,at.jku.ssw.Coco gramSy
return Symbol

ignored public property

public CharSet,at.jku.ssw.Coco ignored
return CharSet

literals public property

public Hashtable,System.Collections literals
return System.Collections.Hashtable

nTyp public property

public string[] nTyp
return string[]

noSym public property

public Symbol,at.jku.ssw.Coco noSym
return Symbol

nodes public property

public ArrayList,System.Collections nodes
return System.Collections.ArrayList

nonterminals public property

public ArrayList,System.Collections nonterminals
return System.Collections.ArrayList

nsName public property

public string nsName
return string

outDir public property

public string outDir
return string

pragmas public property

public ArrayList,System.Collections pragmas
return System.Collections.ArrayList

semDeclPos public property

public Position,at.jku.ssw.Coco semDeclPos
return Position

srcDir public property

public string srcDir
return string

srcName public property

public string srcName
return string

terminals public property

public ArrayList,System.Collections terminals
return System.Collections.ArrayList