Uses of Class
mycompiler.myexception.CTypeReconstructionException

Packages that use CTypeReconstructionException

Package	Description
mycompiler
mycompiler.myclass
mycompiler.myexception
mycompiler.mystatement
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.set
mycompiler.mytypereconstruction.unify

Uses of CTypeReconstructionException in mycompiler

Methods in mycompiler that throw CTypeReconstructionException

Modifier and Type	Method and Description
java.util.Vector<CTypeReconstructionResult>	MyCompiler.typeReconstruction() Author: J�rg B�uerle Ruft den Typrekonstruktionsalgorithmus auf.
java.util.Vector<CTypeReconstructionResult>	SourceFile.typeReconstruction() Tyrekonstruktionsalgorithmus: ruft f�r jede Klasse den Algorithmus TRProg auf.
java.util.Vector<CTypeReconstructionResult>	MyCompilerAPI.typeReconstruction() Author: J�rg B�uerle Ruft den Typrekonstruktionsalgorithmus auf.

Uses of CTypeReconstructionException in mycompiler.myclass

Methods in mycompiler.myclass that throw CTypeReconstructionException

Modifier and Type	Method and Description
java.util.Vector<CTypeReconstructionResult>	Class.TRProg(CSupportData supportData, TypeAssumptions globalAssumptions) Ausgangspunkt f�r den Typrekonstruktionsalgorithmus.

Uses of CTypeReconstructionException in mycompiler.myexception

Fields in mycompiler.myexception with type parameters of type CTypeReconstructionException

Modifier and Type	Field and Description
java.util.Vector<CTypeReconstructionException>	CTypeReconstructionException.parentExceptions

Methods in mycompiler.myexception that return CTypeReconstructionException

Modifier and Type	Method and Description
static CTypeReconstructionException	CTypeReconstructionException.createNotImplementedException()

Constructor parameters in mycompiler.myexception with type arguments of type CTypeReconstructionException

Constructor and Description
CTypeReconstructionException(java.lang.String message, java.util.Vector<CTypeReconstructionException> parentExceptions, IItemWithOffset problemSource)

Uses of CTypeReconstructionException in mycompiler.mystatement

Methods in mycompiler.mystatement that throw CTypeReconstructionException

Modifier and Type	Method and Description
CTripleSet	LambdaExpression.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
abstract CTripleSet	Expr.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	Binary.TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	LambdaExpression.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	Block.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.20 von Martin Pl�micke Author: J�rg B�uerle
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.
abstract CTripleSet	Statement.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
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

Uses of CTypeReconstructionException in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that throw CTypeReconstructionException

Modifier and Type	Method and Description
void	CSubstitution.execute() Sucht die eindeutige Instanz der Typeplaceholders in der Registry der Typeplaceholders des Syntaxbaumes und f�hrt die Typsubstitution im Syntaxbaum durch.

Constructors in mycompiler.mytypereconstruction that throw CTypeReconstructionException

Constructor and Description
CSubstitution(Pair unifier)

Uses of CTypeReconstructionException in mycompiler.mytypereconstruction.set

Methods in mycompiler.mytypereconstruction.set that throw CTypeReconstructionException

Modifier and Type	Method and Description
void	CSubstitutionSet.execute() F�hrt jede einzelne CSubstitution aus.

Constructors in mycompiler.mytypereconstruction.set that throw CTypeReconstructionException

Constructor and Description
CSubstitutionSet(java.util.Vector<Pair> unifiers)

Uses of CTypeReconstructionException in mycompiler.mytypereconstruction.unify

Methods in mycompiler.mytypereconstruction.unify that throw CTypeReconstructionException

Modifier and Type	Method and Description
static MUB	Unify.unify_Mub(Type ty1, Type ty2, FC_TTO fc_tto)