org.eclipse.xsd.impl
Class XSDParticleImpl.XSDNFA
java.lang.Object
|
+--org.eclipse.xsd.impl.XSDParticleImpl.XSDNFA
- All Implemented Interfaces:
- XSDParticle.DFA
- Enclosing class:
- XSDParticleImpl
- public static class XSDParticleImpl.XSDNFA
- extends java.lang.Object
- implements XSDParticle.DFA
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
states
protected java.util.List states
initialState
protected XSDParticleImpl.XSDNFA.StateImpl initialState
finalState
protected XSDParticleImpl.XSDNFA.StateImpl finalState
xsdParticle
protected XSDParticle xsdParticle
currentState
protected XSDParticleImpl.XSDNFA.StateImpl currentState
visitedModelGroups
protected java.util.Set visitedModelGroups
diagnostics
protected java.util.Collection diagnostics
testTransition
protected XSDParticleImpl.XSDNFA.TransitionImpl testTransition
XSDParticleImpl.XSDNFA
protected XSDParticleImpl.XSDNFA()
XSDParticleImpl.XSDNFA
protected XSDParticleImpl.XSDNFA(java.util.Set visitedModelGroups,
XSDParticle xsdParticle,
XSDTerm xsdTerm)
XSDParticleImpl.XSDNFA
public XSDParticleImpl.XSDNFA(java.util.Set visitedModelGroups,
XSDParticle xsdParticle)
XSDParticleImpl.XSDNFA
public XSDParticleImpl.XSDNFA(XSDParticle xsdParticle)
XSDParticleImpl.XSDNFA
protected XSDParticleImpl.XSDNFA(XSDParticleImpl.XSDNFA original)
checkBadTransitions
protected void checkBadTransitions()
createState
protected XSDParticleImpl.XSDNFA.StateImpl createState(XSDComponent associatedComponent)
initialize
protected void initialize(XSDComponent xsdComponent)
createPermutations
protected XSDParticleImpl.XSDNFA createPermutations(java.util.List particles,
java.util.List particleNFAs,
java.util.Map particlesToNFAMap)
getStates
public java.util.List getStates()
- Description copied from interface:
XSDParticle.DFA
- Returns the list of states in this automaton.
- Specified by:
getStates
in interface XSDParticle.DFA
- Following copied from interface:
org.eclipse.xsd.XSDParticle.DFA
- Returns:
- the list of states in this automaton.
getInitialState
public XSDParticle.DFA.State getInitialState()
- Description copied from interface:
XSDParticle.DFA
- Returns the initial state of this automaton.
- Specified by:
getInitialState
in interface XSDParticle.DFA
- Following copied from interface:
org.eclipse.xsd.XSDParticle.DFA
- Returns:
- the initial states in this automaton.
getFinalState
public XSDParticle.DFA.State getFinalState()
getParticle
public XSDParticle getParticle()
getComponentLabel
public static java.lang.String getComponentLabel(java.util.Collection xsdComponents)
getComponentLabel
public static java.lang.String getComponentLabel(XSDComponent xsdComponent)
dump
public void dump(java.io.PrintStream out)
epsilonClosure
public void epsilonClosure()
createFinalState
public void createFinalState()
isEquivalent
public boolean isEquivalent(XSDParticle.DFA.State s1,
XSDParticle.DFA.State s2)
minimize
public void minimize()
determinize
public void determinize()
checkOverlap
public XSDDiagnostic checkOverlap(XSDTerm xsdComponent1,
XSDTerm xsdComponent2)
propagateStates
public void propagateStates(XSDParticleImpl.XSDNFA xsdNFA)
getDiagnostics
public java.util.Collection getDiagnostics()
getCurrentState
public XSDParticle.DFA.State getCurrentState()
reset
public void reset()
cloneDFA
public XSDParticle.DFA cloneDFA()
- Description copied from interface:
XSDParticle.DFA
- Creates a clone of the automaton.
- Specified by:
cloneDFA
in interface XSDParticle.DFA
- Following copied from interface:
org.eclipse.xsd.XSDParticle.DFA
- Returns:
- a clone of the automaton.