Uses of Class
mycompiler.mytypereconstruction.CSupportData

Packages that use CSupportData

Package	Description
mycompiler.myclass
mycompiler.myoperator
mycompiler.mystatement
mycompiler.mytypereconstruction

Uses of CSupportData in mycompiler.myclass

Methods in mycompiler.myclass with parameters of type CSupportData

Modifier and Type	Method and Description
java.util.Vector<CTypeReconstructionResult>	Class.TRProg(CSupportData supportData, TypeAssumptions globalAssumptions) Ausgangspunkt f�r den Typrekonstruktionsalgorithmus.

Uses of CSupportData in mycompiler.myoperator

Methods in mycompiler.myoperator with parameters of type CSupportData

Modifier and Type	Method and Description
CTripleSet	EqualOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.53 von Martin Pl�micke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" �berall durch den BaseType "BooleanType" ersetzt werden!!!
CTripleSet	NotEqualOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.54 von Martin Pl�micke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" �berall durch den BaseType "BooleanType" ersetzt werden!!!
CTripleSet	Operator.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Operator.TRExpPossibility(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData, RefType inputType, RefType outputType)

Uses of CSupportData in mycompiler.mystatement

Methods in mycompiler.mystatement with parameters of type CSupportData

Modifier and Type	Method and Description
CTripleSet	PositivExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	PreDecExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType IntegerType ausgetauscht werden.
CTripleSet	LambdaExpression.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Literal.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.40 von Martin Pl�micke Author: J�rg B�uerle
abstract CTripleSet	Expr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Binary.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	PostDecExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType IntegerType ausgetauscht werden.
CTripleSet	NewArray.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.32 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	This.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.35 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	PreIncExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType IntegerType ausgetauscht werden.
CTripleSet	PostIncExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType IntegerType ausgetauscht werden.
CTripleSet	LongLiteral.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Workaround: �berschreibt Methode TRExp aus der Super-Klasse Literal, weil die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
CTripleSet	NotExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.42 von Martin Pl�micke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" �berall durch den BaseType "BooleanType" ersetzt werden!!!
CTripleSet	LocalOrFieldVar.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.37 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	Assign.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.30 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	CastExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.43 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	CharLiteral.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Workaround: �berschreibt Methode TRExp aus der Super-Klasse Literal, weil die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
CTripleSet	InstVar.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.38 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	DoubleLiteral.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Workaround: �berschreibt Methode TRExp aus der Super-Klasse Literal, weil die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
CTripleSet	Null.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	NegativeExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.41 von Martin Pl�micke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Integer" �berall durch den BaseType "IntegerType" ersetzt werden!!!
CTripleSet	InstanceOf.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	FloatLiteral.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Workaround: �berschreibt Methode TRExp aus der Super-Klasse Literal, weil die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
CTripleSet	MethodCall.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.33 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	NewClass.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.31 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	BoolLiteral.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Workaround: �berschreibt Methode TRExp aus der Super-Klasse Literal, weil die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
CTripleSet	IntLiteral.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Workaround: �berschreibt Methode TRExp aus der Super-Klasse Literal, weil die Implementierung von Unify (noch) nicht mit Basetypes umgehen kann.
CTripleSet	InstVar.TRInstVar(CTriple triple, CSupportData supportData) Implementierung des Algorithmus 5.38-1 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	MethodCall.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
CMultiplyTupleSet	Expr.TRMultiply(CMultiplyTuple tuple, Expr t, CSupportData supportData) (siehe Algorithmus 5.29 TRMultiply, Martin Pl�micke) Author: J�rg B�uerle
CTripleSet	PositivExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	PreDecExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	LambdaExpression.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Binary.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	WhileStmt.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.23 von Martin Pl�micke Achtung Workaround: RefType "Boolean" muss noch durch BaseType "BooleanType" ersetzt werden.
CTripleSet	PostDecExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	EmptyStmt.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Return.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.22 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	NewArray.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	This.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	PreIncExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Block.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.20 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	PostIncExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	LocalVarDecl.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.24 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	IfStmt.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.21 von Martin Pl�micke Achtung Workaround: RefType "Boolean" durch BaseType \code{BooleanType} ersetzen.
CTripleSet	LongLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	NotExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	LocalOrFieldVar.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Assign.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.25 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	CastExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	CharLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	InstVar.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	DoubleLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Null.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	NegativeExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	ForStmt.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.23 von Martin Pl�micke Achtung Workaround: RefType "Boolean" muss noch durch BaseType "BooleanType" ersetzt werden.
CTripleSet	InstanceOf.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	StringLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	FloatLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	MethodCall.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.27 von Martin Pl�micke Author: J�rg B�uerle
abstract CTripleSet	Statement.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	NewClass.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.26 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	BoolLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	IntLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Block.TRStatements(CSubstitutionSet sigma, CTypeAssumptionSet V, java.util.Vector<Statement> statementList, int index, CTypeAssumptionSet V_start, CSupportData supportData) Implementierung des Algorithmus 5.19 von Martin Pl�micke Author: J�rg B�uerle
CMultiplyTupleSet	Expr.TRTuple(CMultiplyTuple result, java.util.Vector<Expr> terms, CSupportData supportData) (siehe Algorithmus 5.28 TRTuple, Martin Pl�micke) Author: J�rg B�uerle

Uses of CSupportData in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that return CSupportData

Modifier and Type	Method and Description
CSupportData	CSupportData.clone()