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

Afficher le fichier Open project: boogie-org/boogie-partners Class Usage Examples

Méthodes publiques

Свойство 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

Méthodes publiques

Méthode 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

Méthode 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 méthode

public AllNtReached ( ) : bool
Résultat bool

AllNtToTerm() public méthode

public AllNtToTerm ( ) : bool
Résultat bool

CharClassSet() public méthode

public CharClassSet ( int i ) : CharSet
i int
Résultat CharSet

CheckAlts() public méthode

public CheckAlts ( Node p ) : void
p Node
Résultat void

CheckLL1() public méthode

public CheckLL1 ( ) : void
Résultat void

CheckOverlap() public méthode

public CheckOverlap ( BitArray s1, BitArray s2, int cond ) : void
s1 System.Collections.BitArray
s2 System.Collections.BitArray
cond int
Résultat void

CheckRes() public méthode

public CheckRes ( Node p, bool rslvAllowed ) : void
p Node
rslvAllowed bool
Résultat void

CheckResolvers() public méthode

public CheckResolvers ( ) : void
Résultat void

CompAnySets() public méthode

public CompAnySets ( ) : void
Résultat void

CompDeletableSymbols() public méthode

public CompDeletableSymbols ( ) : void
Résultat void

CompFirstSets() public méthode

public CompFirstSets ( ) : void
Résultat void

CompFollow() public méthode

public CompFollow ( Node p ) : void
p Node
Résultat void

CompFollowSets() public méthode

public CompFollowSets ( ) : void
Résultat void

CompSymbolSets() public méthode

public CompSymbolSets ( ) : void
Résultat void

CompSync() public méthode

public CompSync ( Node p ) : void
p Node
Résultat void

CompSyncSets() public méthode

public CompSyncSets ( ) : void
Résultat void

Complete() public méthode

public Complete ( Symbol sym ) : void
sym Symbol
Résultat void

DelGraph() public static méthode

public static DelGraph ( Node p ) : bool
p Node
Résultat bool

DelNode() public static méthode

public static DelNode ( Node p ) : bool
p Node
Résultat bool

DelSubGraph() public static méthode

public static DelSubGraph ( Node p ) : bool
p Node
Résultat bool

DeleteNodes() public méthode

public DeleteNodes ( ) : void
Résultat void

Escape() public méthode

public Escape ( string s ) : string
s string
Résultat string

Expected() public méthode

public Expected ( Node p, Symbol curSy ) : BitArray
p Node
curSy Symbol
Résultat System.Collections.BitArray

Expected0() public méthode

public Expected0 ( Node p, Symbol curSy ) : BitArray
p Node
curSy Symbol
Résultat System.Collections.BitArray

FindAS() public méthode

public FindAS ( Node p ) : void
p Node
Résultat void

FindCharClass() public méthode

public FindCharClass ( CharSet s ) : CharClass
s CharSet
Résultat CharClass

FindCharClass() public méthode

public FindCharClass ( string name ) : CharClass
name string
Résultat CharClass

FindSym() public méthode

public FindSym ( string name ) : Symbol
name string
Résultat Symbol

Finish() public méthode

public Finish ( Graph g ) : void
g Graph
Résultat void

First() public méthode

public First ( Node p ) : BitArray
p Node
Résultat System.Collections.BitArray

GetSingles() public méthode

public GetSingles ( Node p, ArrayList singles ) : void
p Node
singles System.Collections.ArrayList
Résultat void

GrammarOk() public méthode

public GrammarOk ( ) : bool
Résultat bool

LL1Error() public méthode

public LL1Error ( int cond, Symbol sym ) : void
cond int
sym Symbol
Résultat void

MakeAlternative() public méthode

public MakeAlternative ( Graph g1, Graph g2 ) : void
g1 Graph
g2 Graph
Résultat void

MakeFirstAlt() public méthode

public MakeFirstAlt ( Graph g ) : void
g Graph
Résultat void

MakeIteration() public méthode

public MakeIteration ( Graph g ) : void
g Graph
Résultat void

MakeOption() public méthode

public MakeOption ( Graph g ) : void
g Graph
Résultat void

MakeSequence() public méthode

public MakeSequence ( Graph g1, Graph g2 ) : void
g1 Graph
g2 Graph
Résultat void

MarkReachedNts() public méthode

public MarkReachedNts ( Node p ) : void
p Node
Résultat void

Name() public méthode

public Name ( string name ) : string
name string
Résultat string

NewCharClass() public méthode

public NewCharClass ( string name, CharSet s ) : CharClass
name string
s CharSet
Résultat CharClass

NewNode() public méthode

public NewNode ( int typ, Node sub ) : Node
typ int
sub Node
Résultat Node

NewNode() public méthode

public NewNode ( int typ, Symbol sym, int line ) : Node
typ int
sym Symbol
line int
Résultat Node

NewNode() public méthode

public NewNode ( int typ, int val, int line ) : Node
typ int
val int
line int
Résultat Node

NewSym() public méthode

public NewSym ( int typ, string name, int line ) : Symbol
typ int
name string
line int
Résultat Symbol

NoCircularProductions() public méthode

public NoCircularProductions ( ) : bool
Résultat bool

NtsComplete() public méthode

public NtsComplete ( ) : bool
Résultat bool

PrintNodes() public méthode

public PrintNodes ( ) : void
Résultat void

PrintSet() public méthode

public PrintSet ( BitArray s, int indent ) : void
s System.Collections.BitArray
indent int
Résultat void

PrintSym() public méthode

public PrintSym ( Symbol sym ) : void
sym Symbol
Résultat void

PrintSymbolTable() public méthode

public PrintSymbolTable ( ) : void
Résultat void

RenumberPragmas() public méthode

public RenumberPragmas ( ) : void
Résultat void

ResErr() public méthode

public ResErr ( Node p, string msg ) : void
p Node
msg string
Résultat void

SetContextTrans() public méthode

public SetContextTrans ( Node p ) : void
p Node
Résultat void

SetDDT() public méthode

public SetDDT ( string s ) : void
s string
Résultat void

SetupAnys() public méthode

public SetupAnys ( ) : void
Résultat void

StrToGraph() public méthode

public StrToGraph ( string str ) : Graph
str string
Résultat Graph

Tab() public méthode

public Tab ( Parser parser ) : System
parser Parser
Résultat System

Unescape() public méthode

public Unescape ( string s ) : string
s string
Résultat string

WriteCharClasses() public méthode

public WriteCharClasses ( ) : void
Résultat void

WriteCharSet() public méthode

public WriteCharSet ( CharSet s ) : void
s CharSet
Résultat void

XRef() public méthode

public XRef ( ) : void
Résultat void

Property Details

allSyncSets public_oe property

public BitArray,System.Collections allSyncSets
Résultat System.Collections.BitArray

classes public_oe property

public ArrayList,System.Collections classes
Résultat System.Collections.ArrayList

ddt public_oe property

public bool[] ddt
Résultat bool[]

dummyName public_oe property

public int dummyName
Résultat int

eofSy public_oe property

public Symbol,at.jku.ssw.Coco eofSy
Résultat Symbol

frameDir public_oe property

public string frameDir
Résultat string

gramSy public_oe property

public Symbol,at.jku.ssw.Coco gramSy
Résultat Symbol

ignored public_oe property

public CharSet,at.jku.ssw.Coco ignored
Résultat CharSet

literals public_oe property

public Hashtable,System.Collections literals
Résultat System.Collections.Hashtable

nTyp public_oe property

public string[] nTyp
Résultat string[]

noSym public_oe property

public Symbol,at.jku.ssw.Coco noSym
Résultat Symbol

nodes public_oe property

public ArrayList,System.Collections nodes
Résultat System.Collections.ArrayList

nonterminals public_oe property

public ArrayList,System.Collections nonterminals
Résultat System.Collections.ArrayList

nsName public_oe property

public string nsName
Résultat string

outDir public_oe property

public string outDir
Résultat string

pragmas public_oe property

public ArrayList,System.Collections pragmas
Résultat System.Collections.ArrayList

semDeclPos public_oe property

public Position,at.jku.ssw.Coco semDeclPos
Résultat Position

srcDir public_oe property

public string srcDir
Résultat string

srcName public_oe property

public string srcName
Résultat string

terminals public_oe property

public ArrayList,System.Collections terminals
Résultat System.Collections.ArrayList