| Package | Description |
|---|---|
| de.dhbwstuttgart.core | |
| de.dhbwstuttgart.myexception | |
| de.dhbwstuttgart.syntaxtree | |
| de.dhbwstuttgart.typeinference.unify |
| Modifier and Type | Method and Description |
|---|---|
Menge<TypeinferenceResultSet> |
MyCompiler.typeReconstruction()
Author: J�rg B�uerle
Ruft den Typrekonstruktionsalgorithmus auf. |
| Modifier and Type | Field and Description |
|---|---|
Menge<CTypeReconstructionException> |
CTypeReconstructionException.parentExceptions |
| Modifier and Type | Method and Description |
|---|---|
static CTypeReconstructionException |
CTypeReconstructionException.createNotImplementedException() |
| Constructor and Description |
|---|
CTypeReconstructionException(java.lang.String message,
Menge<CTypeReconstructionException> parentExceptions,
IItemWithOffset problemSource) |
| Modifier and Type | Method and Description |
|---|---|
Menge<TypeinferenceResultSet> |
SourceFile.typeReconstruction(TypeAssumptions globalAssumptions)
Tyrekonstruktionsalgorithmus: ruft f�r jede Klasse den Algorithmus TRProg auf.
|
| Modifier and Type | Method and Description |
|---|---|
static MUB |
Unify.unify_Mub(Type ty1,
Type ty2,
FC_TTO fc_tto) |
| Constructor and Description |
|---|
CSubstitution(Pair unifier) |
CSubstitutionSet(Menge<Pair> unifiers) |