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


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

Field Detail

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
Constructor Detail

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)
Method Detail

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.

Copyright 2001-2003 IBM Corporation and others.
All Rights Reserved.