Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## 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()`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES