| 
 | |||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||
java.lang.Objectcom.saxonica.fsa.CountingState
public class CountingState
A counting state is a dynamic object representing the combination of an AutomatonState and a counter value
| Constructor Summary | |
|---|---|
| CountingState(AutomatonState as,
              int startFrom) | |
| Method Summary | |
|---|---|
|  boolean | equals(java.lang.Object obj) | 
|  java.util.Iterator | getEdges()Get an iterator over all the transitions (edges) allowed from this state | 
|  Edge | getTransition(int token,
              NamePool pool)Find the edge representing the transition from this state to another state, that is triggered by a given input token | 
|  AutomatonState | getUnderlyingState() | 
|  Edge[] | getWildcardEdges()Get an iterator over the wildcard transitions (edges) allowed from this state. | 
|  State | incrementCounter() | 
|  boolean | isFinalState() | 
|  java.lang.CharSequence | listAllowedElements() | 
|  void | testMinimumReached() | 
| Methods inherited from class java.lang.Object | 
|---|
| clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
| Constructor Detail | 
|---|
public CountingState(AutomatonState as,
                     int startFrom)
| Method Detail | 
|---|
public State incrementCounter()
                       throws ValidationException
ValidationException
public void testMinimumReached()
                        throws ValidationException
ValidationException
public Edge getTransition(int token,
                          NamePool pool)
State
getTransition in interface Statetoken - the input token, specifically the fingerprint of an element namepool - the Name Pool
public boolean isFinalState()
isFinalState in interface Statepublic AutomatonState getUnderlyingState()
public java.lang.CharSequence listAllowedElements()
listAllowedElements in interface Statepublic Edge[] getWildcardEdges()
getWildcardEdges in interface StateEdge objects.public java.util.Iterator getEdges()
getEdges in interface StateEdge objects.public boolean equals(java.lang.Object obj)
equals in class java.lang.Object| 
 | |||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||