absynt
Class Process

java.lang.Object
  |
  +--absynt.Absyn
        |
        +--absynt.Process

public class Process

extends Absyn

implements java.io.Serializable

One process = local variables + transitions

Version:

$Id: Process.java,v 1.7 2000/07/03 16:31:05 unix01 Exp $

Author:

Initially provided by Martin Steffen.

See Also:

Serialized Form

Field Summary

Initstate	init
java.lang.String	name
AstateList	states
TransitionList	steps
VardecList	vars

Fields inherited from class absynt.Absyn

location

Constructor Summary

Process(java.lang.String _name, VardecList vl, TransitionList _steps, AstateList _states, Initstate _init)

Process(VardecList vl, TransitionList _steps, AstateList _states, Initstate _init)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

name

public java.lang.String name

vars

public VardecList vars

steps

public TransitionList steps

states

public AstateList states

init

public Initstate init

Constructor Detail

Process

public Process(java.lang.String _name,
               VardecList vl,
               TransitionList _steps,
               AstateList _states,
               Initstate _init)

Process

public Process(VardecList vl,
               TransitionList _steps,
               AstateList _states,
               Initstate _init)