absynt
Class Initstate

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

public class Initstate

extends Astate

implements java.io.Serializable

Initialer Zustand

Version:

$Id: Initstate.java,v 1.5 2000/07/18 22:14:50 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

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

Initstate(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

Initstate

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

Initstate

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