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

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

Méthodes publiques

Свойство	Type	Description
firstComment	Comment
hasCtxMoves	bool
ignoreCase	bool

Méthodes publiques

Méthode	Description
CombineShifts ( ) : void
ConvertToStates ( Node p, Symbol sym ) : void
CopyFramePart ( string stop ) : void
DFA ( Parser parser ) : System
DeleteRedundantStates ( ) : void
FindAction ( State state, char ch ) : Action
FindCtxStates ( ) : void
FindTrans ( Node p, bool start, BitArray marked ) : void
FindUsedStates ( State state, BitArray used ) : void
GenComBody ( Comment com ) : void
GenComment ( Comment com, int i ) : void
GenLiterals ( ) : void
GetTargetStates ( Action a, BitArray &targets, Symbol &endOf, bool &ctx ) : void
MakeDeterministic ( ) : void
MakeUnique ( State state ) : void
MatchLiteral ( string s, Symbol sym ) : void
MeltStates ( State state ) : void
NewComment ( Node from, Node to, bool nested ) : void
NewTransition ( State from, State to, int typ, int sym, int tc ) : void
NumberNodes ( Node p, State state, bool renumIter ) : void
OpenGen ( bool backUp ) : void
PrintStates ( ) : void
SplitActions ( State state, Action a, Action b ) : void
Step ( State from, Node p, BitArray stepped ) : void
WriteScanner ( ) : void
WriteStartTab ( ) : void
WriteState ( State state ) : void

Private Methods

Méthode	Description
Ch ( int ch ) : string
ChCond ( char ch ) : string
CommentStr ( Node p ) : string
MeltedSet ( int nr ) : BitArray
NewMelted ( BitArray set, State state ) : Melted
NewState ( ) : State
Overlap ( Action a, Action b ) : bool
PutRange ( CharSet s ) : void
StateWithSet ( BitArray s ) : Melted
SymName ( Symbol sym ) : string
TheState ( Node p ) : State

Method Details

CombineShifts() public méthode

public CombineShifts ( ) : void
Résultat	void

ConvertToStates() public méthode

public ConvertToStates ( Node p, Symbol sym ) : void
p	Node
sym	Symbol
Résultat	void

CopyFramePart() public méthode

public CopyFramePart ( string stop ) : void
stop	string
Résultat	void

DFA() public méthode

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

DeleteRedundantStates() public méthode

public DeleteRedundantStates ( ) : void
Résultat	void

FindAction() public méthode

public FindAction ( State state, char ch ) : Action
state	State
ch	char
Résultat	Action

FindCtxStates() public méthode

public FindCtxStates ( ) : void
Résultat	void

FindTrans() public méthode

public FindTrans ( Node p, bool start, BitArray marked ) : void
p	Node
start	bool
marked	System.Collections.BitArray
Résultat	void

FindUsedStates() public méthode

public FindUsedStates ( State state, BitArray used ) : void
state	State
used	System.Collections.BitArray
Résultat	void

GenComBody() public méthode

public GenComBody ( Comment com ) : void
com	Comment
Résultat	void

GenComment() public méthode

public GenComment ( Comment com, int i ) : void
com	Comment
i	int
Résultat	void

GenLiterals() public méthode

public GenLiterals ( ) : void
Résultat	void

GetTargetStates() public méthode

public GetTargetStates ( Action a, BitArray &targets, Symbol &endOf, bool &ctx ) : void
a	Action
targets	System.Collections.BitArray
endOf	Symbol
ctx	bool
Résultat	void

MakeDeterministic() public méthode

public MakeDeterministic ( ) : void
Résultat	void

MakeUnique() public méthode

public MakeUnique ( State state ) : void
state	State
Résultat	void

MatchLiteral() public méthode

public MatchLiteral ( string s, Symbol sym ) : void
s	string
sym	Symbol
Résultat	void

MeltStates() public méthode

public MeltStates ( State state ) : void
state	State
Résultat	void

NewComment() public méthode

public NewComment ( Node from, Node to, bool nested ) : void
from	Node
to	Node
nested	bool
Résultat	void

NewTransition() public méthode

public NewTransition ( State from, State to, int typ, int sym, int tc ) : void
from	State
to	State
typ	int
sym	int
tc	int
Résultat	void

NumberNodes() public méthode

public NumberNodes ( Node p, State state, bool renumIter ) : void
p	Node
state	State
renumIter	bool
Résultat	void

OpenGen() public méthode

public OpenGen ( bool backUp ) : void
backUp	bool
Résultat	void

PrintStates() public méthode

public PrintStates ( ) : void
Résultat	void

SplitActions() public méthode

public SplitActions ( State state, Action a, Action b ) : void
state	State
a	Action
b	Action
Résultat	void

Step() public méthode

public Step ( State from, Node p, BitArray stepped ) : void
from	State
p	Node
stepped	BitArray
Résultat	void

WriteScanner() public méthode

public WriteScanner ( ) : void
Résultat	void

WriteStartTab() public méthode

public WriteStartTab ( ) : void
Résultat	void

WriteState() public méthode

public WriteState ( State state ) : void
state	State
Résultat	void

Property Details

firstComment public_oe property

public Comment firstComment
Résultat	Comment

hasCtxMoves public_oe property

public bool hasCtxMoves
Résultat	bool

ignoreCase public_oe property

public bool ignoreCase
Résultat	bool