jeops.expressions
Class VarJavaExpr

java.lang.Object
  |
  +--jeops.expressions.JavaExpr
        |
        +--jeops.expressions.VarJavaExpr

public class VarJavaExpr

extends JavaExpr

This class models an expression of the java language which is composed only. of a single variable (identifier).

Version:

0.01 02 Mar 1999

Author:

Carlos Figueira Filho (csff@di.ufpe.br)

Fields inherited from class jeops.expressions.JavaExpr

BOOL, INT, OBJ

Constructor Summary

VarJavaExpr(java.lang.String variableType, java.lang.String ident)
Class constructor.

Method Summary

void	dump(int spaces) Prints the tree for the expression of this precondition.
java.lang.Class	getClasse() Returns an object representing the class of this expression.

Methods inherited from class jeops.expressions.JavaExpr

dump, evaluateBool, evaluateInt, evaluateObj, identObjetos, numIdentObjetos, tipo

Methods inherited from class java.lang.Object

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

Constructor Detail

VarJavaExpr

public VarJavaExpr(java.lang.String variableType,
                   java.lang.String ident)
            throws java.lang.ClassNotFoundException

Class constructor.

Parameters:

variableType - the type of this variable (or the class name, if it is an object identifier.

ident - the identifier of this variable.

Method Detail

dump

public void dump(int spaces)

Prints the tree for the expression of this precondition. Useful for debugging.

Overrides:

dump in class JavaExpr

Parameters:

spaces - the identation for the printed output.

getClasse

public java.lang.Class getClasse()

Returns an object representing the class of this expression.

Overrides:

getClasse in class JavaExpr