mycompiler.mystatement

Class MethodCall

java.lang.Object

mycompiler.mystatement.Statement

mycompiler.mystatement.ExprStmt

mycompiler.mystatement.Expr

mycompiler.mystatement.MethodCall

All Implemented Interfaces:

IItemWithOffset, ITypeReplacementListener, Typable

public class MethodCall
extends Expr

Field Summary

Fields inherited from class mycompiler.mystatement.Expr

usedid

Constructor Summary

Constructors

Constructor and Description
MethodCall(int offset, int variableLength)

Method Summary

Methods

Modifier and Type	Method and Description
void	add_Expr(Expr e)
void	addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	codegen(ClassFile classfile, CodeAttribute code, java.util.Vector paralist)
java.lang.String	get_Name()
Receiver	get_Receiver()
ArgumentList	getArgumentList()
Method	getMethodFittingMethodCallAndClassname(java.lang.String className) hoti 4.5.06 Diese Methode l�dt die Methodeninfos einer Methode aus der Hashtable methodsfittingmethodcall in ein Method-Objekt anhand der angegeben klasse
java.lang.String	getName()
java.lang.String	printJavaCode(ResultSet resultSet)
void	sc_check_get_Method(java.util.Vector<Class> classlist, java.lang.String methodname, boolean ext, java.util.Hashtable parach, java.util.Hashtable parabh)
boolean	sc_check_method_kleiner(java.util.Vector<Class> classlist, java.lang.String ist, java.lang.String soll, boolean ext)
void	sc_check_uebergabe(java.util.Vector<Class> classlist, java.util.Vector<Method> method, boolean ext, int paranum, java.util.Hashtable parach, java.util.Hashtable parabh)
void	sc_check(java.util.Vector<Class> classname, java.util.Hashtable ch, java.util.Hashtable<java.lang.String,java.lang.String> bh, boolean ext, java.util.Hashtable parach, java.util.Hashtable<java.lang.String,java.util.Hashtable> parabh)
void	sc_init_extended_fcts(java.util.Vector<Method> method, java.util.Vector<Class> classlist, java.lang.String methodname, java.lang.String classname, boolean ext)
void	set_ArgumentList(ArgumentList al)
void	set_Expr_Vector(java.util.Vector<Expr> v)
void	set_Name(java.lang.String name)
void	set_Receiver(Receiver rec)
void	set_UsedId(UsedId u)
java.lang.String	toString() Author: Martin Pl�micke
CTripleSet	TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.33 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	TRMCallApp(CMultiplyTuple multiTuple, java.lang.String classOrIdentifierName, java.lang.String methodName, int paraCount, boolean isConstructorCall, CSupportData supportData) Implementierung des Algorithmus 5.34 von Martin Pl�micke
CTripleSet	TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.27 von Martin Pl�micke Author: J�rg B�uerle
ConstraintsSet	TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	TYPEStmt(TypeAssumptions assumptions) Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)
void	wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist, java.util.Vector<GenericTypeVar> genericMethodParameters)

Methods inherited from class mycompiler.mystatement.Expr

addOffsetsToStatement, get_Name_Vector, get_Type_Vector, get_UsedId, set_Type, TRMultiply, TRTuple

Methods inherited from class mycompiler.mystatement.ExprStmt

getType, getTypeLineNumber, getTypeName

Methods inherited from class mycompiler.mystatement.Statement

getOffset, getTypeInformation, getTypeVariable, getVariableLength, replaceType, setType, setTypeVariable

Methods inherited from class java.lang.Object

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

Methods inherited from interface mycompiler.mytypereconstruction.replacementlistener.ITypeReplacementListener

replaceType

Constructor Detail

MethodCall

public MethodCall(int offset,
          int variableLength)

Method Detail

set_ArgumentList

public void set_ArgumentList(ArgumentList al)

getArgumentList

public ArgumentList getArgumentList()

get_Receiver

public Receiver get_Receiver()

get_Name

public java.lang.String get_Name()

Specified by:

get_Name in class Expr

set_Name

public void set_Name(java.lang.String name)

sc_check

public void sc_check(java.util.Vector<Class> classname,
            java.util.Hashtable ch,
            java.util.Hashtable<java.lang.String,java.lang.String> bh,
            boolean ext,
            java.util.Hashtable parach,
            java.util.Hashtable<java.lang.String,java.util.Hashtable> parabh)
              throws SCStatementException

Specified by:

sc_check in class Expr

Throws:

SCStatementException

sc_check_get_Method

public void sc_check_get_Method(java.util.Vector<Class> classlist,
                       java.lang.String methodname,
                       boolean ext,
                       java.util.Hashtable parach,
                       java.util.Hashtable parabh)
                         throws SCStatementException

Throws:

SCStatementException

sc_check_uebergabe

public void sc_check_uebergabe(java.util.Vector<Class> classlist,
                      java.util.Vector<Method> method,
                      boolean ext,
                      int paranum,
                      java.util.Hashtable parach,
                      java.util.Hashtable parabh)
                        throws SCStatementException

Throws:

SCStatementException

sc_check_method_kleiner

public boolean sc_check_method_kleiner(java.util.Vector<Class> classlist,
                              java.lang.String ist,
                              java.lang.String soll,
                              boolean ext)

sc_init_extended_fcts

public void sc_init_extended_fcts(java.util.Vector<Method> method,
                         java.util.Vector<Class> classlist,
                         java.lang.String methodname,
                         java.lang.String classname,
                         boolean ext)

set_Receiver

public void set_Receiver(Receiver rec)

set_UsedId

public void set_UsedId(UsedId u)

Overrides:

set_UsedId in class Expr

set_Expr_Vector

public void set_Expr_Vector(java.util.Vector<Expr> v)

add_Expr

public void add_Expr(Expr e)

getMethodFittingMethodCallAndClassname

public Method getMethodFittingMethodCallAndClassname(java.lang.String className)
                                              throws JVMCodeException

hoti 4.5.06 Diese Methode l�dt die Methodeninfos einer Methode aus der Hashtable methodsfittingmethodcall in ein Method-Objekt anhand der angegeben klasse

Parameters:

className -

Returns:

Throws:

JVMCodeException

See Also:

methodsFittingMethodCall

codegen

public void codegen(ClassFile classfile,
           CodeAttribute code,
           java.util.Vector paralist)
             throws JVMCodeException

Specified by:

codegen in class Statement

Throws:

JVMCodeException

TRStatement

public CTripleSet TRStatement(CSubstitutionSet sigma,
                     CTypeAssumptionSet V,
                     CSupportData supportData)

Implementierung des Algorithmus 5.27 von Martin Pl�micke
Author: J�rg B�uerle

Specified by:

TRStatement in class Statement

Parameters:

sigma -

V -

supportData -

Returns:

TRExp

public CTripleSet TRExp(CSubstitutionSet sigma,
               CTypeAssumptionSet V,
               CSupportData supportData)

Implementierung des Algorithmus 5.33 von Martin Pl�micke
Author: J�rg B�uerle

Specified by:

TRExp in class Expr

Parameters:

sigma -

V -

supportData -

Returns:

TRMCallApp

public CTripleSet TRMCallApp(CMultiplyTuple multiTuple,
                    java.lang.String classOrIdentifierName,
                    java.lang.String methodName,
                    int paraCount,
                    boolean isConstructorCall,
                    CSupportData supportData)

Implementierung des Algorithmus 5.34 von Martin Pl�micke

Parameters:

multiTuple -

classOrIdentifierName -

methodName -

paraCount -

isConstructorCall -

supportData -

Returns:

toString

public java.lang.String toString()

Author: Martin Pl�micke

Overrides:

toString in class java.lang.Object

Returns:

wandleRefTypeAttributes2GenericAttributes

public void wandleRefTypeAttributes2GenericAttributes(java.util.Vector<Type> paralist,
                                             java.util.Vector<GenericTypeVar> genericMethodParameters)

Specified by:

wandleRefTypeAttributes2GenericAttributes in class Statement

addOffsetsToExpression

public void addOffsetsToExpression(CTypeAssumption localAssumption,
                          java.lang.String NameVariable,
                          boolean isMemberVariable)

Specified by:

addOffsetsToExpression in class Expr

getName

public java.lang.String getName()

Returns:

der Name der Methode, welcher dieser MethodCall aufruft.

TYPEExpr

public ConstraintsSet TYPEExpr(TypeAssumptions assumptions)

Specified by:

TYPEExpr in class Expr

TYPEStmt

public ConstraintsSet TYPEStmt(TypeAssumptions assumptions)

Spezifikation: TYPEStmt( Ass, stmt ) = let (stmt : rty, ConS) = TYPEExpr( Ass, stmt ) in (stmt : Void, ConS)

Overrides:

TYPEStmt in class Expr

printJavaCode

public java.lang.String printJavaCode(ResultSet resultSet)

Specified by:

printJavaCode in class Statement