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