Class DFAPreciseTransition

  • All Implemented Interfaces:
    IFATransition

    public class DFAPreciseTransition
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      DFAPreciseTransition​(int index, java.lang.String acceptEvent)  
    • Constructor Detail

      • DFAPreciseTransition

        public DFAPreciseTransition​(int index,
                                    java.lang.String acceptEvent)
    • Method Detail

      • toString

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

        public java.lang.String getAcceptEvent()
        Returns:
        the value of this transition, which is used to match the events
      • isMatch

        public boolean isMatch​(java.lang.String event)
        Parameters:
        event - event happened on one of the source state of this transition and is trying to find the next state
        Returns:
        whether this transition can match the event
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object