absynt
Class Vardec

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

public class Vardec

extends Absyn

implements java.io.Serializable

Variablendeklaration.

Version:

$Id: Vardec.java,v 1.7 2000/07/10 17:55:15 unix01 Exp $

Author:

Initially provided by Martin Steffen.

See Also:

Serialized Form

Field Summary

M_AtomType	type
Expr	val
Variable	var

Fields inherited from class absynt.Absyn

location

Constructor Summary

Vardec(Variable x)

Vardec(Variable x, Expr e)

Vardec(Variable x, Expr e, M_AtomType _t)
Momentan 3 Konstruktoren.

Method Summary

java.lang.Object	clone() Methode zum Kopieren einer Vardec.
void	print()

Methods inherited from class java.lang.Object

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

Field Detail

var

public Variable var

val

public Expr val

type

public M_AtomType type

Constructor Detail

Vardec

public Vardec(Variable x,
              Expr e,
              M_AtomType _t)

Momentan 3 Konstruktoren. Am Ende ist folgender nur noch ein Konstruktor vorgesehen (nach Diskussion mit) der Modelchecker/Simulatorgruppe: public Vardec (Variable x, Constval e, M_AtomType _t) { Aus Gruenden der tempor"aren Kompilierbarkeit werden die Konstruktoren fuer ein paar Tage noch uberladen beibehalten,

Vardec

public Vardec(Variable x,
              Expr e)

Vardec

public Vardec(Variable x)

Method Detail

clone

public java.lang.Object clone()

Methode zum Kopieren einer Vardec. Ueberschreibt java.lang.Object.clone()

Returns:

Kopie dieses Objektes

Overrides:

clone in class java.lang.Object

print

public void print()