slime.absynt
Class Transition

java.lang.Object
  extended byslime.absynt.Absynt
      extended byslime.absynt.Transition
All Implemented Interfaces:
java.io.Serializable

public class Transition
extends Absynt
implements java.io.Serializable

A transition of an SFC connects source and target step and is labelled with a guard.

Version:
$Id: Transition.java,v 1.4 2002/06/14 16:50:32 swprakt Exp $
Author:
Initially provided by Martin Steffen.
See Also:
Serialized Form

Field Summary
 Expr guard
           
 java.util.LinkedList source
           
 java.util.LinkedList target
           
 
Fields inherited from class slime.absynt.Absynt
pos
 
Constructor Summary
Transition(java.util.LinkedList _s, Expr _g, java.util.LinkedList _t)
           
Transition(java.util.LinkedList _s, java.util.LinkedList _t)
           
 
Method Summary
 java.lang.Object accept(Visitors.ITransition ask)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

source

public java.util.LinkedList source

guard

public Expr guard

target

public java.util.LinkedList target
Constructor Detail

Transition

public Transition(java.util.LinkedList _s,
                  Expr _g,
                  java.util.LinkedList _t)

Transition

public Transition(java.util.LinkedList _s,
                  java.util.LinkedList _t)
Method Detail

accept

public java.lang.Object accept(Visitors.ITransition ask)
                        throws java.lang.Exception
Throws:
java.lang.Exception