absynt
Class Transition

java.lang.Object
  |
  +--absynt.Absyn
        |
        +--absynt.Transition
public class Transition
extends Absyn
implements java.io.Serializable

Class implementing a transition. A transition is given by it's target and source, and the label.

Version:
$Id: Transition.java,v 1.2 2000/05/28 12:57:12 unix01 Exp $
Author:
Initially provided by Martin Steffen.
See Also:
Serialized Form

Field Summary
 Label lab
           
 Astate source
           
 Astate target
           
 
Fields inherited from class absynt.Absyn
location
 
Constructor Summary
Transition(Astate s, Astate t, Label l)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

source

public Astate source

target

public Astate target

lab

public Label lab
Constructor Detail

Transition

public Transition(Astate s,
                  Astate t,
                  Label l)