escjava.vcGeneration
Class TMethodCall

java.lang.Object
  escjava.vcGeneration.TNode
      escjava.vcGeneration.TFunction
          escjava.vcGeneration.TMethodCall

public class TMethodCall

extends TFunction

The class used to represent method calls for the new Vc gen tree.

Version:

14/11/2005

Field Summary

private java.util.Vector	argTypes
static java.util.Vector	methDefs The vector containing the definition of the methods.
static java.util.Vector	methNames The vector containing all the method names (in forms of String).
private VariableInfo	name

Fields inherited from class escjava.vcGeneration.TFunction

sons

Fields inherited from class escjava.vcGeneration.TNode

_boolean, _char, _double, _DOUBLETYPE, _Field, _float, _integer, _INTTYPE, _Path, _Reference, _String, _Time, _Type, counter, dotPs, id, isroot, label, lastType, parent, prover, type, typeProofSet, typesName, variablesName

Constructor Summary

TMethodCall(java.lang.String name)
Construct a method call.

Method Summary

void	accept(TVisitor v)
java.util.Vector	getArgType() Returns a vector containing the types from the different arguments of the MethodCall.
VariableInfo	getName() return the VariableInfo associated with the method name, of interest for the return type of the method.
protected void	setType(TypeInfo type, boolean sure)
protected void	typeTree()

Methods inherited from class escjava.vcGeneration.TFunction

addSon, getChildAt

Methods inherited from class escjava.vcGeneration.TNode

addName, addName, addType, addType, dotId, generateDeclarations, getShortName, getType, getTypeInfo, getVariableInfo, getVariableInfo, init, printInfo, setType, toString

Methods inherited from class java.lang.Object

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

Field Detail

name

private VariableInfo name

argTypes

private java.util.Vector argTypes

methNames

public static java.util.Vector methNames

The vector containing all the method names (in forms of String).

methDefs

public static java.util.Vector methDefs

The vector containing the definition of the methods. The definition is fetched following this pattern, for a method called strMethName (a String). methDefs.get(methName.indexOf(strMethName))

Constructor Detail

TMethodCall

public TMethodCall(java.lang.String name)

Construct a method call.

Parameters:

name - The name of the method called.

Method Detail

accept

public void accept(TVisitor v)
            throws java.io.IOException

Specified by:

accept in class TNode

Throws:

java.io.IOException

See Also:

TNode.accept(TVisitor)

getName

public VariableInfo getName()

return the VariableInfo associated with the method name, of interest for the return type of the method.

Returns:

The variable info object associated with the method.

typeTree

protected void typeTree()

Overrides:

typeTree in class TFunction

See Also:

TFunction.typeTree()

getArgType

public java.util.Vector getArgType()

Returns a vector containing the types from the different arguments of the MethodCall. The pure method has the following signature: elem(1) -> elem(1) -> ... -> this.type

Returns:

A vector containing elements from the TypeInfo class.

setType

protected void setType(TypeInfo type,
                       boolean sure)

Overrides:

setType in class TNode