mycompiler.mystatement

Class Expr

java.lang.Object

mycompiler.mystatement.Statement

mycompiler.mystatement.ExprStmt

mycompiler.mystatement.Expr

All Implemented Interfaces:

IItemWithOffset, ITypeReplacementListener, Typable

Direct Known Subclasses:

Assign, BinaryExpr, InstVar, LambdaExpression, Literal, LocalOrFieldVar, MethodCall, NewArray, NewClass, This, UnaryExpr

public abstract class Expr
extends ExprStmt

Field Summary

Fields

Modifier and Type	Field and Description
UsedId	usedid

Constructor Summary

Constructors

Constructor and Description
Expr(int offset, int variableLength)

Method Summary

Methods

Modifier and Type	Method and Description
abstract void	addOffsetsToExpression(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
boolean	addOffsetsToStatement(CTypeAssumption localAssumption, java.lang.String NameVariable, boolean isMemberVariable)
java.util.Vector	get_Name_Vector()
abstract java.lang.String	get_Name()
java.util.Vector	get_Type_Vector()
UsedId	get_UsedId()
abstract 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	set_Type(Type type)
void	set_UsedId(UsedId ui)
abstract CTripleSet	TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CMultiplyTupleSet	TRMultiply(CMultiplyTuple tuple, Expr t, CSupportData supportData) (siehe Algorithmus 5.29 TRMultiply, Martin Pl�micke) Author: J�rg B�uerle
CMultiplyTupleSet	TRTuple(CMultiplyTuple result, java.util.Vector<Expr> terms, CSupportData supportData) (siehe Algorithmus 5.28 TRTuple, Martin Pl�micke) Author: J�rg B�uerle
abstract ConstraintsSet	TYPEExpr(TypeAssumptions assumptions)
ConstraintsSet	TYPEStmt(TypeAssumptions assumptions)

Methods inherited from class mycompiler.mystatement.ExprStmt

getType, getTypeLineNumber, getTypeName

Methods inherited from class mycompiler.mystatement.Statement

codegen, getOffset, getTypeInformation, getTypeVariable, getVariableLength, printJavaCode, replaceType, setType, setTypeVariable, TRStatement, wandleRefTypeAttributes2GenericAttributes

Methods inherited from class java.lang.Object

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

Methods inherited from interface mycompiler.mytypereconstruction.replacementlistener.ITypeReplacementListener

replaceType

Field Detail

usedid

public UsedId usedid

Constructor Detail

Expr

public Expr(int offset,
    int variableLength)

Method Detail

set_Type

public void set_Type(Type type)

set_UsedId

public void set_UsedId(UsedId ui)

get_UsedId

public UsedId get_UsedId()

get_Name_Vector

public java.util.Vector get_Name_Vector()

get_Type_Vector

public java.util.Vector get_Type_Vector()

sc_check

public abstract 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

Throws:

SCStatementException

get_Name

public abstract java.lang.String get_Name()

TRExp

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

Throws:

CTypeReconstructionException

TYPEExpr

public abstract ConstraintsSet TYPEExpr(TypeAssumptions assumptions)

TYPEStmt

public ConstraintsSet TYPEStmt(TypeAssumptions assumptions)

Specified by:

TYPEStmt in class Statement

TRTuple

public CMultiplyTupleSet TRTuple(CMultiplyTuple result,
                        java.util.Vector<Expr> terms,
                        CSupportData supportData)

(siehe Algorithmus 5.28 TRTuple, Martin Pl�micke)
Author: J�rg B�uerle

Parameters:

result -

terms -

supportData -

Returns:

TRMultiply

public CMultiplyTupleSet TRMultiply(CMultiplyTuple tuple,
                           Expr t,
                           CSupportData supportData)

(siehe Algorithmus 5.29 TRMultiply, Martin Pl�micke)
Author: J�rg B�uerle

Parameters:

tuple -

t -

supportData -

Returns:

addOffsetsToExpression

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

addOffsetsToStatement

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

Specified by:

addOffsetsToStatement in class Statement