xylia.sax.contentmodelparser
Class StateTransitionStructure

java.lang.Object
  |
  +--xylia.sax.contentmodelparser.StateTransitionStructure

public class StateTransitionStructure
extends java.lang.Object

A graph structure for Finite State Automata. The FSA need not be deterimistic.

Title: Xylia

Description:

Copyright: Copyright (c) 2001

Company: MUN

Version:
1.0
Author:
Theodore S. Norvell

Constructor Summary
StateTransitionStructure()
           
 
Method Summary
 void addState(java.lang.Object s)
           
 void addTransition(java.lang.Object startState, java.lang.Object label, java.lang.Object endState)
           
 java.util.Set goBackward(java.lang.Object endState, java.lang.Object label)
          Obtain the set of states that preceed a given state.
 java.util.Set goBackwardOverList(java.util.Set startStates, java.util.List labels)
          Obtain the set of states that reaches any state in a set, by a list of labels.
 java.util.Set goForward(java.lang.Object startState, java.lang.Object label)
          Obtain the set of states that follows a given state.
 java.util.Set goForwardOverList(java.util.Set startStates, java.util.List labels)
          Obtain the set of states reachable from any state in a set, by a list of labels.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

StateTransitionStructure

public StateTransitionStructure()
Method Detail

addState

public void addState(java.lang.Object s)

addTransition

public void addTransition(java.lang.Object startState,
                          java.lang.Object label,
                          java.lang.Object endState)

goForward

public java.util.Set goForward(java.lang.Object startState,
                               java.lang.Object label)
Obtain the set of states that follows a given state.

goBackward

public java.util.Set goBackward(java.lang.Object endState,
                                java.lang.Object label)
Obtain the set of states that preceed a given state.

goForwardOverList

public java.util.Set goForwardOverList(java.util.Set startStates,
                                       java.util.List labels)
Obtain the set of states reachable from any state in a set, by a list of labels.

goBackwardOverList

public java.util.Set goBackwardOverList(java.util.Set startStates,
                                        java.util.List labels)
Obtain the set of states that reaches any state in a set, by a list of labels.

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object