# Uses of Class mycompiler.mytypereconstruction.CSupportData

## Uses of Class
mycompiler.mytypereconstruction.CSupportData

Packages that use CSupportData
mycompiler.myclass
mycompiler.myoperator
mycompiler.mystatement
mycompiler.mytypereconstruction

Uses of CSupportData in mycompiler.myclass

Methods in mycompiler.myclass with parameters of type CSupportData
`de.dhbwstuttgart.typeinference.Menge<CTypeReconstructionResult>` `Class.TRProg(CSupportData supportData)` Ausgangspunkt f�r den Typrekonstruktionsalgorithmus.

Uses of CSupportData in mycompiler.myoperator

Methods in mycompiler.myoperator with parameters of type CSupportData
`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 CSupportData in mycompiler.mystatement

Methods in mycompiler.mystatement with parameters of type CSupportData
`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
`CMultiplyTupleSet` `Expr.TRMultiply(CMultiplyTuple tuple, Expr t, CSupportData supportData)` (siehe Algorithmus 5.29 TRMultiply, Martin Pl�micke) Author: J�rg B�uerle
`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
`CMultiplyTupleSet` `Expr.TRTuple(CMultiplyTuple result, de.dhbwstuttgart.typeinference.Menge<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
`CSupportData` `CSupportData.clone()`