Class Transition

  • All Implemented Interfaces:
    Comparable
    Direct Known Subclasses:
    RuleClosureTransition

    public class Transition
    extends Object
    implements Comparable
    A generic transition between any two state machine states. It defines some special labels that indicate things like epsilon transitions and that the label is actually a set of labels or a semantic predicate. This is a one way link. It emanates from a state (usually via a list of transitions) and has a label/target pair. I have abstracted the notion of a Label to handle the various kinds of things it can be.
    • Field Detail

      • label

        public Label label
        What label must be consumed to transition to target
      • target

        public State target
        The target of this transition
    • Constructor Detail

      • Transition

        public Transition​(Label label,
                          State target)
      • Transition

        public Transition​(int label,
                          State target)
    • Method Detail

      • isEpsilon

        public boolean isEpsilon()
      • isAction

        public boolean isAction()
      • isSemanticPredicate

        public boolean isSemanticPredicate()
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class Object