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

## Uses of Class
mycompiler.mytypereconstruction.set.CTypeAssumptionSet

Packages that use CTypeAssumptionSet
mycompiler.myoperator |
mycompiler.mystatement |
mycompiler.mytypereconstruction |
mycompiler.mytypereconstruction.set |

Uses of CTypeAssumptionSet in mycompiler.myoperator

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

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

Methods in mycompiler.mytypereconstruction that return CTypeAssumptionSet
`CTypeAssumptionSet` | `CTriple.getAssumptionSet()` Author: J�rg B�uerle
`CTypeAssumptionSet` | `CMultiplyTuple.getAssumptionSet()` Author: J�rg B�uerle
`CTypeAssumptionSet` | `CReconstructionTuple.getAssumSet()`

Methods in mycompiler.mytypereconstruction with parameters of type CTypeAssumptionSet
`void` | `CTriple.setAssumptionSet(CTypeAssumptionSet assumptionSet)` Author: J�rg B�uerle
`void` | `CMultiplyTuple.setAssumptionSet(CTypeAssumptionSet assumptionSet)` Author: J�rg B�uerle
`void` | `CReconstructionTuple.setAssumSet(CTypeAssumptionSet assumSet)`

Constructors in mycompiler.mytypereconstruction with parameters of type CTypeAssumptionSet
`CMultiplyTuple(CSubstitutionSet substitutions, de.dhbwstuttgart.typeinference.Menge<Type> resultTypes, CTypeAssumptionSet assumptionSet)`
`CReconstructionTuple(CSubstitutionSet subSet, CTypeAssumptionSet assumSet)`
`CTriple(CSubstitutionSet substitutions, Type resultType, CTypeAssumptionSet assumptionSet)`

Uses of CTypeAssumptionSet in mycompiler.mytypereconstruction.set

Methods in mycompiler.mytypereconstruction.set that return CTypeAssumptionSet
`CTypeAssumptionSet` | `CTypeAssumptionSet.deepCopy()`
`CTypeAssumptionSet` | `CTypeAssumptionSet.shallowCopy()`

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