de.dhbwstuttgart.typeinference

Class TypeinferenceResultSet

java.lang.Object

de.dhbwstuttgart.typeinference.TypeinferenceResultSet

public class TypeinferenceResultSet
extends java.lang.Object

Diese Container-Klasse kapselt alle Ergebniswerte f�r eine m�gliche Typkombination einer Klasse und deren Methoden sowie lokalen Variablen. Eine Instanz dieser Klasse steht f�r genau eine m�gliche Typkombination.
Objekte dieser Klasse werden vom Typrekonstruktionsalgorithmus �ber die Compiler-API zur�ckgegeben.

Version:

$Date: 2013/09/22 20:13:02 $

Author:

J�rg B�uerle

Field Summary

Fields

Modifier and Type	Field and Description
private Menge<Pair>	constraints Alle Constraints vor der Unifizierung.
private Class	ownerOfResultSet
private ResultSet	unifiedConstraints Das unifizierte ConstaraintsSet

Constructor Summary

Constructors

Constructor and Description
TypeinferenceResultSet(Class inferedClass, Menge<Pair> constraints, ResultSet unifiedConstraints)

Method Summary

Modifier and Type	Method and Description
void	codegen() Startet die Bytecodegenerierung dieser Lösung.
Menge<Pair>	getConstraints()
Class	getInterferedClass() Jedes TypeReconstructionResultSet entstand bei der Typinferierung einer Klasse.
TypeInsertSet	getTypeInsertionPoints() Berechnet alle möglichen Punkte zum Einsetzen eines Typs im Quelltext Dabei entstehen TypeInsertSets.
Type	getTypeOfPlaceholder(TypePlaceholder tph) Ermittelt den in diesem ResultSet für den TypePlaceholder tph zugewiesenen Wert.
ResultSet	getUnifiedConstraints()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

constraints

private Menge<Pair> constraints

Alle Constraints vor der Unifizierung. Dies ist nur eine Liste von Pair-Objekten (jedes Pair Objekt bildet dabei einen Constraint: Bsp.: TA <. TB)

unifiedConstraints

private ResultSet unifiedConstraints

Das unifizierte ConstaraintsSet

ownerOfResultSet

private Class ownerOfResultSet

Constructor Detail

TypeinferenceResultSet

public TypeinferenceResultSet(Class inferedClass,
                              Menge<Pair> constraints,
                              ResultSet unifiedConstraints)

Method Detail

getConstraints

public Menge<Pair> getConstraints()

Returns:

getUnifiedConstraints

public ResultSet getUnifiedConstraints()

Returns:

Das fertige ConstraintsSet dieser CTypeRecunstructionResult

getTypeOfPlaceholder

public Type getTypeOfPlaceholder(TypePlaceholder tph)

Ermittelt den in diesem ResultSet für den TypePlaceholder tph zugewiesenen Wert.

getInterferedClass

public Class getInterferedClass()

Jedes TypeReconstructionResultSet entstand bei der Typinferierung einer Klasse.

Returns:

Gibt die Klasse zurück der dieses ResultSet zugeordnet ist.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getTypeInsertionPoints

public TypeInsertSet getTypeInsertionPoints()

Berechnet alle möglichen Punkte zum Einsetzen eines Typs im Quelltext Dabei entstehen TypeInsertSets. Für jeden gesammelten TypeInsertPoint werden alle Abhängigkeiten berechnet.

Returns:

codegen

public void codegen()

Startet die Bytecodegenerierung dieser Lösung. Dabei wird die codegen-Methode der inferierten Klasse mit diesem ResultSet aufgerufen.