|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectgate.fsm.FSM
This class implements a standard Finite State Machine. It is used for both deterministic and non-deterministic machines.
Field Summary | |
private Collection |
allStates
The set of states for this FSM |
(package private) int |
bpeId
|
private static boolean |
DEBUG
Debug flag |
private Set |
dStates
|
private State |
initialState
The initial state of this FSM. |
private Map |
newStates
|
HashMap |
ruleHash
|
private String |
transducerName
|
Fields inherited from interface gate.jape.JapeConstants |
APPELT_STYLE, BRILL_STYLE, DEFAULT_PRIORITY, FIRST_STYLE, INDENT_PADDING, KLEENE_PLUS, KLEENE_QUERY, KLEENE_STAR, MULTI_SPAN_BINDING, NO_BINDING, NO_KLEENE_OP, ONCE_STYLE, SINGLE_SPAN_BINDING |
Constructor Summary | |
FSM(Rule rule)
Builds a FSM starting from a rule. |
|
FSM(SinglePhaseTransducer spt)
Builds a standalone FSM starting from a single phase transducer. |
Method Summary | |
private State |
convertComplexPE(State startState,
ComplexPatternElement cpe,
LinkedList labels)
Receives a state to start from and a complex pattern element. |
private String |
currentBasicBinding(BasicPatternElement bpe)
|
private String |
currentBinding(ComplexPatternElement cpe,
int indent)
|
private String |
currentLHSBinding(LeftHandSide lhs)
|
void |
eliminateVoidTransitions()
Converts this FSM from a non-deterministic to a deterministic one by eliminating all the unrestricted transitions. |
String |
getGML()
Returns a GML (Graph Modelling Language) representation of the transition graph of this FSM. |
State |
getInitialState()
Gets the initial state of this FSM |
private AbstractSet |
lambdaClosure(AbstractSet s)
|
String |
toString()
Returns a textual description of this FSM. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
private static final boolean DEBUG
private State initialState
private transient Collection allStates
private transient Map newStates
private transient Set dStates
private String transducerName
int bpeId
public HashMap ruleHash
Constructor Detail |
public FSM(SinglePhaseTransducer spt)
spt
- the single phase transducer to be used for building this FSM.public FSM(Rule rule)
rule
- the rule to be used for the building process.Method Detail |
public State getInitialState()
private State convertComplexPE(State startState, ComplexPatternElement cpe, LinkedList labels)
startState
- the state to start fromcpe
- the pattern to be recognizedlabels
- the bindings name for all the annotation accepted along
the way. This is actually a list of Strings. It is necessary to use
a list because of the recursive definition of ComplexPatternElement.
public void eliminateVoidTransitions()
private AbstractSet lambdaClosure(AbstractSet s)
public String getGML()
public String toString()
private String currentBinding(ComplexPatternElement cpe, int indent)
private String currentBasicBinding(BasicPatternElement bpe)
private String currentLHSBinding(LeftHandSide lhs)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |