absynt
Class Transition

java.lang.Object
  |
  +--absynt.Absynt
        |
        +--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.6 2001/05/23 14:56:36 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 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)

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)