Uses of Class
mycompiler.mytypereconstruction.set.CTripleSet

Packages that use CTripleSet

mycompiler.myoperator
mycompiler.mystatement
mycompiler.mytypereconstruction.set

Uses of CTripleSet in mycompiler.myoperator

Methods in mycompiler.myoperator that return CTripleSet

CTripleSet	RelOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung der Algorithmen 5.49 bis 5.52 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!!!
abstract CTripleSet	Operator.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
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	MulOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung der Algorithmen 5.46, 5.47 und 5.48 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	LogOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" �berall durch den BaseType "BooleanType" ersetzt werden!!!
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	AddOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung der Algorithmen 5.44 und 5.45 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!!!

Uses of CTripleSet in mycompiler.mystatement

Methods in mycompiler.mystatement that return CTripleSet

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	PreDecExpr.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	PostDecExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Achtung Workaround: RefType "Integer" sollte irgendwann gegen BaseType IntegerType ausgetauscht werden.
CTripleSet	PositivExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Null.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
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	NewClass.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.31 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	NewArray.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.32 von Martin Pl�micke Author: J�rg B�uerle
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	MethodCall.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.33 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	LocalOrFieldVar.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.37 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	Literal.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.40 von Martin Pl�micke Author: J�rg B�uerle
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.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.38 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	InstanceOf.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
abstract CTripleSet	Expr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
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	CastExpr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.43 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	Binary.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Assign.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.30 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	InstVar.TRInstVar(CTriple triple, CSupportData supportData) Implementierung des Algorithmus 5.38-1 von Martin Pl�micke Author: J�rg B�uerle
static 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
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	This.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	StringLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
abstract CTripleSet	Statement.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	PreIncExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	PreDecExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	PostIncExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	PostDecExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	PositivExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Null.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	NotExpr.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	NewArray.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	NegativeExpr.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
CTripleSet	LocalVarDecl.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.24 von Martin Pl�micke Author: J�rg B�uerle
CTripleSet	LocalOrFieldVar.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	IntLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	InstVar.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	InstanceOf.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
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	EmptyStmt.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	CharLiteral.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	CastExpr.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	BoolLiteral.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	Binary.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	Block.TRStatements(CSubstitutionSet sigma, CTypeAssumptionSet V, de.dhbwstuttgart.typeinference.Menge<Statement> statementList, int index, CTypeAssumptionSet V_start, CSupportData supportData) Implementierung des Algorithmus 5.19 von Martin Pl�micke Author: J�rg B�uerle

Uses of CTripleSet in mycompiler.mytypereconstruction.set

Methods in mycompiler.mytypereconstruction.set that return CTripleSet

CTripleSet	CTripleSet.deepCopy()
CTripleSet	CTripleSet.shallowCopy()