org.firej.dfa.fire
Class TransitionFire

java.lang.Object
  extended by org.firej.dfa.fire.TransitionFire
All Implemented Interfaces:
Transition

public class TransitionFire
extends java.lang.Object
implements Transition

Author:
Vassilios Karakoidas (bkarak@aueb.gr)

Constructor Summary
TransitionFire(int min, int max, State from, State to)
           
 
Method Summary
 State getDest()
           
 char getMax()
           
 int getMaxAsInt()
           
 char getMin()
           
 int getMinAsInt()
           
 State getState()
           
 boolean isSingle()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.firej.dfa.Transition
toString
 

Constructor Detail

TransitionFire

public TransitionFire(int min,
                      int max,
                      State from,
                      State to)
Method Detail

getDest

public State getDest()
Specified by:
getDest in interface Transition

getMax

public char getMax()
Specified by:
getMax in interface Transition

getMaxAsInt

public int getMaxAsInt()
Specified by:
getMaxAsInt in interface Transition

getMin

public char getMin()
Specified by:
getMin in interface Transition

getMinAsInt

public int getMinAsInt()
Specified by:
getMinAsInt in interface Transition

getState

public State getState()
Specified by:
getState in interface Transition

isSingle

public boolean isSingle()
Specified by:
isSingle in interface Transition