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

Mostra 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_oe property

public Comment firstComment
return	Comment

hasCtxMoves public_oe property

public bool hasCtxMoves
return	bool

ignoreCase public_oe property

public bool ignoreCase
return	bool