Uses of Class
mycompiler.mytypereconstruction.set.CSubstitutionSet

Packages that use CSubstitutionSet

mycompiler.myoperator
mycompiler.mystatement
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.set
mycompiler.mytypereconstruction.typeassumption

Uses of CSubstitutionSet in mycompiler.myoperator

Methods in mycompiler.myoperator with parameters of type CSubstitutionSet

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 CSubstitutionSet in mycompiler.mystatement

Methods in mycompiler.mystatement with parameters of type CSubstitutionSet

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 CSubstitutionSet in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that return CSubstitutionSet

CSubstitutionSet	CReconstructionTuple.getSubSet()
CSubstitutionSet	CTypeReconstructionResult.getSubstitutions()
CSubstitutionSet	CTriple.getSubstitutions() Author: J�rg B�uerle
CSubstitutionSet	CMultiplyTuple.getSubstitutions() Author: J�rg B�uerle

Methods in mycompiler.mytypereconstruction with parameters of type CSubstitutionSet

void	CSubstitution.applyUnifier(CSubstitutionSet unifier) Wendet den Unifier auf die rechte Seite dieser Substitution an.
CTriple	CTriple.cloneAndApplyUnify(CSubstitutionSet unifier) Kopiert dieses Triple und wendet alle Substitutionen eines Unifiers auf die Kopie an.
void	CReconstructionTuple.setSubSet(CSubstitutionSet subSet)
void	CTypeReconstructionResult.setSubstitutions(CSubstitutionSet substitutions)
void	CTriple.setSubstitutions(CSubstitutionSet substitutions) Author: J�rg B�uerle
void	CMultiplyTuple.setSubstitutions(CSubstitutionSet substitutions) Author: J�rg B�uerle

Constructors in mycompiler.mytypereconstruction with parameters of type CSubstitutionSet

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 CSubstitutionSet in mycompiler.mytypereconstruction.set

Methods in mycompiler.mytypereconstruction.set that return CSubstitutionSet

CSubstitutionSet	CSubstitutionSet.deepCopy()
CSubstitutionSet	CSubstitutionSet.shallowCopy()

Methods in mycompiler.mytypereconstruction.set with parameters of type CSubstitutionSet

void	CSubstitutionSet.applyUnifier(CSubstitutionSet unifier) Wendet den Unifier auf die rechten Seiten alle Substitutionen an.
void	CTypeAssumptionSet.sub(CSubstitutionSet subtitutions)

Uses of CSubstitutionSet in mycompiler.mytypereconstruction.typeassumption

Methods in mycompiler.mytypereconstruction.typeassumption with parameters of type CSubstitutionSet

void	CTypeAssumption.sub(CSubstitutionSet substitutionSet)