absynt
Class State

java.lang.Object
  |
  +--absynt.Absyn
        |
        +--absynt.Astate
              |
              +--absynt.State

public class State

extends Astate

implements java.io.Serializable

Zustand (au"ser initialem Zustand)

Version:

$Id: State.java,v 1.6 2000/07/18 22:14:49 unix01 Exp $

Author:

Initially provided by Martin Steffen.

See Also:

Serialized Form

Fields inherited from class absynt.Astate

assert, name, pos

Fields inherited from class absynt.Absyn

location

Constructor Summary

State(java.lang.String s, Expr e)

State(java.lang.String s, Expr e, Position p)

Methods inherited from class java.lang.Object

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

Constructor Detail

State

public State(java.lang.String s,
             Expr e)

State

public State(java.lang.String s,
             Expr e,
             Position p)