mycompiler.mytypereconstruction

Class CTypeReconstructionResult

java.lang.Object

mycompiler.mytypereconstruction.CTypeReconstructionResult

public class CTypeReconstructionResult
extends java.lang.Object

Diese Container-Klasse kapselt alle Ergebniswerte f�r eine m�gliche Typkombination aller Klassen 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:12:50 $

Author:

J�rg B�uerle

Constructor Summary

Constructors

Constructor and Description
CTypeReconstructionResult(Class inferedClass)

Method Summary

Methods

Modifier and Type	Method and Description
void	addClassName(java.lang.String className)
void	addDataFromTupel(CReconstructionTuple tuple)
void	addFieldOrLocalVarAssumption(CTypeAssumption assum)
void	addGenericTypeVars(java.lang.String className, java.util.Vector<GenericTypeVar> typeVarList)
void	addMethodIntersectionType(CIntersectionType intersect)
java.util.Vector<java.lang.String>	getClassNameList()
java.util.Vector<Pair>	getConstraints()
java.util.Hashtable<CTypeAssumptionKey,CTypeAssumption>	getFieldAndLocalVarAssumptions()
java.util.Vector<GenericTypeVar>	getGenerics(java.lang.String key)
java.util.Hashtable<java.lang.String,java.util.Vector<GenericTypeVar>>	getGenericsTable()
Class	getInterferedClass() Jedes TypeReconstructionResultSet entstand bei der Typinferierung einer Klasse.
java.util.Hashtable<CMethodKey,CIntersectionType>	getMethodIntersectionTypes()
java.util.Vector<CIntersectionType>	getMethodIntersectionTypes(CMethodKey key)
CSubstitutionSet	getSubstitutions()
Type	getTypeOfPlaceholder(TypePlaceholder tph) Ermittelt den in diesem ResultSet f�r den TypePlaceholder tph zugewiesenen Wert.
ResultSet	getUnifiedConstraints()
void	setConstraints(java.util.Vector<Pair> constraints)
void	setFieldAndLocalVarAssumptions(java.util.Hashtable<CTypeAssumptionKey,CTypeAssumption> fieldAndLocalVarAssumptions)
void	setSubstitutions(CSubstitutionSet substitutions)
void	setUnifiedConstraints(java.util.Vector<Pair> unifiedConstraints)
CTypeReconstructionResult	shallowCopy()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CTypeReconstructionResult

public CTypeReconstructionResult(Class inferedClass)

Method Detail

getFieldAndLocalVarAssumptions

public java.util.Hashtable<CTypeAssumptionKey,CTypeAssumption> getFieldAndLocalVarAssumptions()

setFieldAndLocalVarAssumptions

public void setFieldAndLocalVarAssumptions(java.util.Hashtable<CTypeAssumptionKey,CTypeAssumption> fieldAndLocalVarAssumptions)

addFieldOrLocalVarAssumption

public void addFieldOrLocalVarAssumption(CTypeAssumption assum)

getMethodIntersectionTypes

public java.util.Hashtable<CMethodKey,CIntersectionType> getMethodIntersectionTypes()

addMethodIntersectionType

public void addMethodIntersectionType(CIntersectionType intersect)

getMethodIntersectionTypes

public java.util.Vector<CIntersectionType> getMethodIntersectionTypes(CMethodKey key)

getSubstitutions

public CSubstitutionSet getSubstitutions()

setSubstitutions

public void setSubstitutions(CSubstitutionSet substitutions)

addDataFromTupel

public void addDataFromTupel(CReconstructionTuple tuple)

addClassName

public void addClassName(java.lang.String className)

getClassNameList

public java.util.Vector<java.lang.String> getClassNameList()

addGenericTypeVars

public void addGenericTypeVars(java.lang.String className,
                      java.util.Vector<GenericTypeVar> typeVarList)

getGenericsTable

public java.util.Hashtable<java.lang.String,java.util.Vector<GenericTypeVar>> getGenericsTable()

getGenerics

public java.util.Vector<GenericTypeVar> getGenerics(java.lang.String key)

shallowCopy

public CTypeReconstructionResult shallowCopy()

getConstraints

public java.util.Vector<Pair> getConstraints()

Returns:

setConstraints

public void setConstraints(java.util.Vector<Pair> constraints)

getUnifiedConstraints

public ResultSet getUnifiedConstraints()

Returns:

Das fertige ConstraintsSet dieser CTypeRecunstructionResult

setUnifiedConstraints

public void setUnifiedConstraints(java.util.Vector<Pair> unifiedConstraints)

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.