jeops.expressions
Class ConstructorJavaExpr

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

public class ConstructorJavaExpr

extends JavaExpr

This class models a method call in (our subset of) the java language.

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

ConstructorJavaExpr(java.lang.String objType, JavaExpr[] parameters)
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.
java.lang.Class	objectType() Returns the class of the object that is created by this constructor.
java.lang.String	toString()

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, wait, wait, wait

Constructor Detail

ConstructorJavaExpr

public ConstructorJavaExpr(java.lang.String objType,
                           JavaExpr[] parameters)
                    throws java.lang.NoSuchMethodException,
                           NoSuchClassException

Class constructor.

Parameters:

objType - the class of the object that receives the method call.

parameters - the parameters passed to the method

Throws:

NoSuchConstructorException - if there is no method with the given name and parameters.

NoSuchClassException - if there is no class with the given name.

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

objectType

public java.lang.Class objectType()

Returns the class of the object that is created by this constructor.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object