Class State

  • All Implemented Interfaces:
    java.lang.Comparable

    public final class State
    extends java.lang.Object
    implements java.lang.Comparable
    A State object has zero or more Transition objects
    • Field Detail

      • _locationHint

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

      • State

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

      • setAcceptable

        public void setAcceptable​(boolean newvalue)
      • isAcceptable

        public boolean isAcceptable()
      • outputActionsOnExit

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

        public ScopeInfo getContainer()
      • getIndex

        public int getIndex()
      • addTransition

        public void addTransition​(Transition t)
      • removeTransition

        public void removeTransition​(Transition t)
      • iterateTransitions

        public java.util.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 java.util.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​(java.lang.Object obj)
        Specified by:
        compareTo in interface java.lang.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 java.util.Set head​(boolean includeEE)
        Computes HEAD set of this state. See Head for the definition.
      • attHead

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

        public java.util.Set AFollow()
      • calcAFOLLOW

        public void calcAFOLLOW()
        Computes AFOLLOW from this state.