jeops.expressions
Class ConstJavaExpr

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

public class ConstJavaExpr

extends JavaExpr

This class models an expression of (our subset of) the java language which is composed only of a single constant. Currently, those types of constants are supported:

• Integer numbers
• Boolean constants (true and false)
• String constants
• null

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

ConstJavaExpr()
Class constructor for null constants.

ConstJavaExpr(boolean value)
Class constructor for boolean constants.

ConstJavaExpr(int value)
Class constructor for integer constants.

ConstJavaExpr(java.lang.String value)
Class constructor for String constants.

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

ConstJavaExpr

public ConstJavaExpr()

Class constructor for null constants.

ConstJavaExpr

public ConstJavaExpr(int value)

Class constructor for integer constants.

Parameters:

value - the value of this constant.

ConstJavaExpr

public ConstJavaExpr(java.lang.String value)

Class constructor for String constants.

Parameters:

value - the value of this constant.

ConstJavaExpr

public ConstJavaExpr(boolean value)

Class constructor for boolean constants.

Parameters:

value - the value of this constant.

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