absynt
Class Astate

java.lang.Object
  |
  +--absynt.Absyn
        |
        +--absynt.Astate
Direct Known Subclasses:
Initstate, State
public abstract class Astate
extends Absyn
implements java.io.Serializable

Abstrakte Klasse f"ur Zustand

Version:
$Id: Astate.java,v 1.6 2000/06/29 19:45:43 unix01 Exp $
Author:
Initially provided by Martin Steffen.
See Also:
Serialized Form

Field Summary
 Expr assert
           
 java.lang.String name
           
 Position pos
           
 
Fields inherited from class absynt.Absyn
location
 
Constructor Summary
Astate()
           
 
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

assert

public Expr assert

pos

public Position pos
Constructor Detail

Astate

public Astate()