Package dk.brics.automaton

Class Transition

java.lang.Object
dk.brics.automaton.Transition
All Implemented Interfaces:
Serializable, Cloneable
public class Transition extends Object implements Serializable, Cloneable
Automaton transition.

A transition, which belongs to a source state, consists of a Unicode character interval and a destination state.

Author:
Anders Møller <amoeller@cs.au.dk>
See Also:

  • Constructor Summary

    Constructors
    Constructor
    Description
    Transition(char min, char max, State to)
    Constructs a new transition.
    Transition(char c, State to)
    Constructs a new singleton interval transition.

  • Method Summary

    Modifier and Type
    Method
    Description
    Transition
    clone()
    Clones this transition.
    boolean
    equals(Object obj)
    Checks for equality.
    State
    getDest()
    Returns destination of this transition.
    char
    getMax()
    Returns maximum of this transition interval.
    char
    getMin()
    Returns minimum of this transition interval.
    int
    hashCode()
    Returns hash code.
    String
    toString()
    Returns a string describing this state.

    Methods inherited from class java.lang.Object

    getClass, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • Transition

      public Transition(char c, State to)
      Constructs a new singleton interval transition.
      Parameters:
      c - transition character
      to - destination state

    • Transition

      public Transition(char min, char max, State to)
      Constructs a new transition. Both end points are included in the interval.
      Parameters:
      min - transition interval minimum
      max - transition interval maximum
      to - destination state

  • Method Details

    • getMin

      public char getMin()
      Returns minimum of this transition interval.

    • getMax

      public char getMax()
      Returns maximum of this transition interval.

    • getDest

      public State getDest()
      Returns destination of this transition.

    • equals

      public boolean equals(Object obj)
      Checks for equality.
      Overrides:
      equals in class Object
      Parameters:
      obj - object to compare with
      Returns:
      true if obj is a transition with same character interval and destination state as this transition.

    • hashCode

      public int hashCode()
      Returns hash code. The hash code is based on the character interval (not the destination state).
      Overrides:
      hashCode in class Object
      Returns:
      hash code

    • clone

      public Transition clone()
      Clones this transition.
      Overrides:
      clone in class Object
      Returns:
      clone with same character interval and destination state

    • toString

      public String toString()
      Returns a string describing this state. Normally invoked via Automaton.toString().
      Overrides:
      toString in class Object