Constructor and Description |
---|
CountingState(AutomatonState as,
int startFrom) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.util.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() |
java.lang.CharSequence |
listAllowedElements() |
void |
testMinimumReached() |
public CountingState(AutomatonState as, int startFrom)
public State incrementCounter() throws ValidationException
ValidationException
public void testMinimumReached() throws ValidationException
ValidationException
public Edge getTransition(int token, UserComplexType type)
State
getTransition
in interface State
token
- the input token, specifically the fingerprint of an element nametype
- the complex type whose content model we are validating againstpublic boolean isFinalState()
isFinalState
in interface State
public AutomatonState getUnderlyingState()
public java.lang.CharSequence listAllowedElements()
listAllowedElements
in interface State
public Edge[] getWildcardEdges()
getWildcardEdges
in interface State
Edge
objects.public java.util.Iterator<Edge> getEdges()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
Copyright (c) 2004-2018 Saxonica Limited. All rights reserved.