public interface State
Modifier and Type | Method and Description |
---|---|
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
|
Edge[] |
getWildcardEdges()
Get an array of the wildcard transitions (edges) allowed from this state.
|
boolean |
isFinalState() |
java.lang.CharSequence |
listAllowedElements() |
Edge getTransition(int token, UserComplexType type)
token
- the input token, specifically the fingerprint of an element nametype
- the complex type whose content model we are validating againstboolean isFinalState()
java.lang.CharSequence listAllowedElements()
Edge[] getWildcardEdges()
Copyright (c) 2004-2018 Saxonica Limited. All rights reserved.