dk.brics.automaton
Class Transition

java.lang.Object
  extended by 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:
Serialized Form

Constructor Summary
Transition(char min, char max, State to)
          Constructs a new transition.
Transition(char c, State to)
          Constructs a new singleton interval transition.
 
Method Summary
 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
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

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

Transition

public Transition(char c,
                  State to)
Constructs a new singleton interval transition.

Parameters:
c - transition character
to - destination state
Method Detail

clone

public Transition clone()
Clones this transition.

Overrides:
clone in class Object
Returns:
clone with same character interval and destination state

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.

getDest

public State getDest()
Returns destination of this transition.


getMax

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


getMin

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


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

toString

public String toString()
Returns a string describing this state. Normally invoked via Automaton.toString().

Overrides:
toString in class Object


Copyright © 2001-2011 Anders Møller.