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

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

Public Properties

Property	Type	Description
firstComment	Comment
hasCtxMoves	bool
ignoreCase	bool

Public Methods

Method	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

Method	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 method

public CombineShifts ( ) : void
return	void

ConvertToStates() public method

public ConvertToStates ( Node p, Symbol sym ) : void
p	Node
sym	Symbol
return	void

CopyFramePart() public method

public CopyFramePart ( string stop ) : void
stop	string
return	void

DFA() public method

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

DeleteRedundantStates() public method

public DeleteRedundantStates ( ) : void
return	void

FindAction() public method

public FindAction ( State state, char ch ) : Action
state	State
ch	char
return	Action

FindCtxStates() public method

public FindCtxStates ( ) : void
return	void

FindTrans() public method

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

FindUsedStates() public method

public FindUsedStates ( State state, BitArray used ) : void
state	State
used	System.Collections.BitArray
return	void

GenComBody() public method

public GenComBody ( Comment com ) : void
com	Comment
return	void

GenComment() public method

public GenComment ( Comment com, int i ) : void
com	Comment
i	int
return	void

GenLiterals() public method

public GenLiterals ( ) : void
return	void

GetTargetStates() public method

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

MakeDeterministic() public method

public MakeDeterministic ( ) : void
return	void

MakeUnique() public method

public MakeUnique ( State state ) : void
state	State
return	void

MatchLiteral() public method

public MatchLiteral ( string s, Symbol sym ) : void
s	string
sym	Symbol
return	void

MeltStates() public method

public MeltStates ( State state ) : void
state	State
return	void

NewComment() public method

public NewComment ( Node from, Node to, bool nested ) : void
from	Node
to	Node
nested	bool
return	void

NewTransition() public method

public NewTransition ( State from, State to, int typ, int sym, int tc ) : void
from	State
to	State
typ	int
sym	int
tc	int
return	void

NumberNodes() public method

public NumberNodes ( Node p, State state, bool renumIter ) : void
p	Node
state	State
renumIter	bool
return	void

OpenGen() public method

public OpenGen ( bool backUp ) : void
backUp	bool
return	void

PrintStates() public method

public PrintStates ( ) : void
return	void

SplitActions() public method

public SplitActions ( State state, Action a, Action b ) : void
state	State
a	Action
b	Action
return	void

Step() public method

public Step ( State from, Node p, BitArray stepped ) : void
from	State
p	Node
stepped	BitArray
return	void

WriteScanner() public method

public WriteScanner ( ) : void
return	void

WriteStartTab() public method

public WriteStartTab ( ) : void
return	void

WriteState() public method

public WriteState ( State state ) : void
state	State
return	void

Property Details

firstComment public property

public Comment firstComment
return	Comment

hasCtxMoves public property

public bool hasCtxMoves
return	bool

ignoreCase public property

public bool ignoreCase
return	bool