|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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 | |
|---|---|
java.util.Vector<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,
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 | |
|---|---|
CSupportData |
CSupportData.clone()
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||