Uses of Class
mycompiler.myexception.CTypeReconstructionException

Packages that use CTypeReconstructionException

mycompiler
mycompiler.myclass
mycompiler.myexception
mycompiler.mystatement
mycompiler.mytypereconstruction
mycompiler.mytypereconstruction.set

Uses of CTypeReconstructionException in mycompiler

Methods in mycompiler that throw CTypeReconstructionException

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.
java.util.Vector<CTypeReconstructionResult>	MyCompiler.typeReconstruction() Author: Jörg Bäuerle Ruft den Typrekonstruktionsalgorithmus auf.

Uses of CTypeReconstructionException in mycompiler.myclass

Methods in mycompiler.myclass that throw CTypeReconstructionException

java.util.Vector<CTypeReconstructionResult>

Class.TRProg(CSupportData supportData) Ausgangspunkt für den Typrekonstruktionsalgorithmus.

Uses of CTypeReconstructionException in mycompiler.myexception

Methods in mycompiler.myexception that return CTypeReconstructionException

static CTypeReconstructionException

CTypeReconstructionException.createNotImplementedException()

Uses of CTypeReconstructionException in mycompiler.mystatement

Methods in mycompiler.mystatement that throw CTypeReconstructionException

abstract CTripleSet	Expr.TRExp(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	Block.TRStatement(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.20 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

Uses of CTypeReconstructionException in mycompiler.mytypereconstruction

Methods in mycompiler.mytypereconstruction that throw CTypeReconstructionException

void	CSubstitution.execute() Sucht die eindeutige Instanz der TyplosenVariable in der Registry der TyplosenVariablen des Syntaxbaumes und führt die Typsubstitution im Syntaxbaum durch.

Constructors in mycompiler.mytypereconstruction that throw CTypeReconstructionException

CSubstitution(Pair unifier)

Uses of CTypeReconstructionException in mycompiler.mytypereconstruction.set

Methods in mycompiler.mytypereconstruction.set that throw CTypeReconstructionException

void	CSubstitutionSet.execute() Führt jede einzelne CSubstitution aus.

Constructors in mycompiler.mytypereconstruction.set that throw CTypeReconstructionException

CSubstitutionSet(java.util.Vector<Pair> unifiers)