Class State

java.lang.Object
relaxngcc.automaton.State
All Implemented Interfaces:
Comparable

public final class State extends Object implements Comparable
A State object has zero or more Transition objects
  • Field Details

    • _locationHint

      public final Pattern _locationHint
      Pattern from which this state was created.
  • Constructor Details

    • State

      public State(ScopeInfo container, int index, Pattern location)
      Parameters:
      location - Indicates the pattern object from which this state is created.
  • Method Details

    • setAcceptable

      public void setAcceptable(boolean newvalue)
    • isAcceptable

      public boolean isAcceptable()
    • getActionsOnExit

      public ScopeInfo.Action[] getActionsOnExit()
    • outputActionsOnExit

      public void outputActionsOnExit(CDBlock sv)
      Gets the code to invoke exit-actions.
    • addActionOnExit

      public void addActionOnExit(ScopeInfo.Action act)
    • addActionsOnExit

      public void addActionsOnExit(ScopeInfo.Action[] act)
    • getContainer

      public ScopeInfo getContainer()
    • getIndex

      public int getIndex()
    • addTransition

      public void addTransition(Transition t)
    • removeTransition

      public void removeTransition(Transition t)
    • iterateTransitions

      public Iterator iterateTransitions()
    • hasTransition

      public boolean hasTransition(int alphabetTypes)
      Checks if this state has transitions with at least one of given types of alphabets.
      Parameters:
      alphabetTypes - OR-ed combination of alphabet types you want to iterate.
    • iterateTransitions

      public Iterator iterateTransitions(int alphabetTypes)
      Iterate transitions with specified alphabets.
      Parameters:
      alphabetTypes - OR-ed combination of alphabet types you want to iterate.
    • compareTo

      public int compareTo(Object obj)
      Specified by:
      compareTo in interface Comparable
    • mergeTransitions

      public void mergeTransitions(State s)
    • mergeTransitions

      public void mergeTransitions(State s, ScopeInfo.Action action)
      For all the transitions leaving from the specified state, add it to this state by appending the specified action (possibly null) at the head of its prologue actions.
    • findTransition

      public Transition findTransition(Alphabet a)
      finds a transition invoked by the passed alphabet
    • getReachableStates

      public State[] getReachableStates()
      Gets all the states reachable from this state.
    • head

      public Set head(boolean includeEE)
      Computes HEAD set of this state. See Head for the definition.
    • attHead

      public Set attHead()
      Computes ATTHEAD set of this state and returns them in a sorted order. See
      invalid reference
      HEAD
      for the definition.
    • AFollow

      public Set AFollow()
    • calcAFOLLOW

      public void calcAFOLLOW()
      Computes AFOLLOW from this state.