|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectcom.saxonica.schema.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(Object obj)
|
Iterator<Edge> |
getEdges()
Get an iterator over all the transitions (edges) allowed from this state |
Edge |
getTransition(int token,
UserComplexType type)
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. |
int |
hashCode()
|
State |
incrementCounter()
|
boolean |
isFinalState()
|
CharSequence |
listAllowedElements()
|
void |
testMinimumReached()
|
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, 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,
UserComplexType type)
State
getTransition in interface Statetoken - the input token, specifically the fingerprint of an element nametype - the complex type whose content model we are validating against
public boolean isFinalState()
isFinalState in interface Statepublic AutomatonState getUnderlyingState()
public CharSequence listAllowedElements()
listAllowedElements in interface Statepublic Edge[] getWildcardEdges()
getWildcardEdges in interface StateEdge objects.public Iterator<Edge> getEdges()
getEdges in interface StateEdge objects.public boolean equals(Object obj)
equals in class Objectpublic int hashCode()
hashCode in class Object
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||