jeops.expressions
Class UnaryJavaExpr

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

public class UnaryJavaExpr

extends JavaExpr

This class models an unary expression of (our subset of) the java language. The unary expressions currently supported are:

• Logical NOT (!)
• Unary Minus (-)

Version:

0.01 02 Mar 1999

Author:

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

Field Summary

static int	LNOT Constant used to indicate that this expression represents a logical NOT.
static int	UMINUS Constant used to indicate that this expression represents an unary minus.

Fields inherited from class jeops.expressions.JavaExpr

BOOL, INT, OBJ

Constructor Summary

UnaryJavaExpr(JavaExpr exp, int unaryType)
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

Field Detail

LNOT

public static final int LNOT

Constant used to indicate that this expression represents a logical NOT.

UMINUS

public static final int UMINUS

Constant used to indicate that this expression represents an unary minus.

Constructor Detail

UnaryJavaExpr

public UnaryJavaExpr(JavaExpr exp,
                     int unaryType)

Class constructor.

Parameters:

exp - the subexpression of this unary expression.

unaryType - the type of this expression.

See Also:

LNOT, UMINUS

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