mycompiler.mystatement

Class InstVar

java.lang.Object

mycompiler.mystatement.Statement

mycompiler.mystatement.ExprStmt

mycompiler.mystatement.Expr

mycompiler.mystatement.InstVar

All Implemented Interfaces:

IItemWithOffset, ITypeReplacementListener, Typable

public class InstVar
extends Expr

Constructor Summary

Constructors

Constructor and Description
InstVar(Expr e, java.lang.String n, int offset)
InstVar(java.lang.String n, java.lang.String t, int offset)
InstVar(UsedId ui, int offset, int variableLength) macht aus einem UsedId mit einem Vector von Strings eine InstVar Author: Martin Pl�micke PL 05-08-17

Method Summary

Methods

Modifier and Type	Method and Description
void	addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
void	codegen(ClassFile classfile, CodeAttribute code, java.util.Vector paralist)
java.lang.String	get_codegen_UsedId()
java.lang.String	get_Name()
java.lang.String	printJavaCode(ResultSet resultSet)
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)
java.lang.String	toString() Author: Martin Pl�micke
CTripleSet	TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.38 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	TRInstVar(CTriple triple, CSupportData supportData) Implementierung des Algorithmus 5.38-1 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
ConstraintsSet	TYPEExpr(TypeAssumptions assumptions)
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, set_UsedId, TRMultiply, TRTuple, TYPEStmt

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

InstVar

public InstVar(Expr e,
       java.lang.String n,
       int offset)

InstVar

public InstVar(java.lang.String n,
       java.lang.String t,
       int offset)

InstVar

public InstVar(UsedId ui,
       int offset,
       int variableLength)

macht aus einem UsedId mit einem Vector von Strings eine InstVar
Author: Martin Pl�micke PL 05-08-17

Parameters:

ui -

Method Detail

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)

Specified by:

sc_check in class Expr

get_Name

public java.lang.String get_Name()

Specified by:

get_Name in class Expr

get_codegen_UsedId

public java.lang.String get_codegen_UsedId()

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)

Specified by:

TRStatement in class Statement

TRExp

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

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

Specified by:

TRExp in class Expr

Parameters:

sigma -

V -

supportData -

Returns:

TRInstVar

public CTripleSet TRInstVar(CTriple triple,
                   CSupportData supportData)

Implementierung des Algorithmus 5.38-1 von Martin Pl�micke
Author: J�rg B�uerle

Parameters:

triple -

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

TYPEExpr

public ConstraintsSet TYPEExpr(TypeAssumptions assumptions)

Specified by:

TYPEExpr in class Expr

printJavaCode

public java.lang.String printJavaCode(ResultSet resultSet)

Specified by:

printJavaCode in class Statement