| Package | Description |
|---|---|
| mycompiler | |
| mycompiler.myclass | |
| mycompiler.myinterface | |
| mycompiler.mytest | |
| mycompiler.mytypereconstruction | |
| mycompiler.test.notUsedAnymore |
| 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. |
| Modifier and Type | Method and Description |
|---|---|
java.util.Vector<CTypeReconstructionResult> |
Class.TRProg(CSupportData supportData,
TypeAssumptions globalAssumptions)
Ausgangspunkt f�r den Typrekonstruktionsalgorithmus.
|
| Modifier and Type | Method and Description |
|---|---|
void |
Class.createGenericTypeVars(CTypeReconstructionResult reconstructionResult)
Errechnet die Generischen Parameter der Klasse f�r diese Klasse.
|
java.lang.String |
Class.printJavaCode(CTypeReconstructionResult reconstructionResult)
Generiert den JavaCode dieser Klasse im Falle f�r das �bergebene resultSet.
|
| Modifier and Type | Method and Description |
|---|---|
void |
Interface.addThisToAssumptions(CTypeReconstructionResult assumption) |
| Modifier and Type | Method and Description |
|---|---|
CTypeReconstructionResult |
LambdaTest.runTestAndGetSingularResultSet()
F�hrt den Test aus und geht davon aus, dass es bei der Testdatei nur eine richtige Aufl�sung f�r die Typvariablen gibt.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Vector<CTypeReconstructionResult> |
LambdaTest.runTest() |
| Modifier and Type | Method and Description |
|---|---|
CTypeReconstructionResult |
CTypeReconstructionResult.shallowCopy() |
| Modifier and Type | Method and Description |
|---|---|
java.util.Vector<CTypeReconstructionResult> |
CSupportData.getA() |
| Modifier and Type | Method and Description |
|---|---|
void |
CSupportData.setA(java.util.Vector<CTypeReconstructionResult> A) |
| Constructor and Description |
|---|
CSupportData(FC_TTO finiteClosure,
java.util.Vector<CTypeReconstructionResult> A,
java.lang.String currentClass,
java.util.Vector<GenericTypeVar> currentClassPara) |
CSupportData(FC_TTO finiteClosure,
java.util.Vector<CTypeReconstructionResult> A,
java.lang.String currentClass,
java.util.Vector<GenericTypeVar> currentClassPara,
java.lang.String currentMethod,
int currentMethodParaCount,
int currentMethodOverloadedID,
java.util.Vector<java.lang.Integer> blockIdList,
int blockDepth) |
| Modifier and Type | Method and Description |
|---|---|
void |
IResultValidator.checkResults(java.util.Vector<CTypeReconstructionResult> resultSet) |