typinferenz

Class TypeAssumptions

java.lang.Object

typinferenz.TypeAssumptions

All Implemented Interfaces:

java.lang.Iterable<CTypeAssumption>

public class TypeAssumptions
extends java.lang.Object
implements java.lang.Iterable<CTypeAssumption>

Eine Sammlung von TypeAssumptions. Jede Expression und jedes Statement erh�lt beim Aufrufen ihrer TYPE-Methode ein AssumptionSet mit den Assumptions ihrer Umgebung als Parameter �bergeben.

Author:

janulrich

Constructor Summary

Constructors

Constructor and Description
TypeAssumptions()
TypeAssumptions(CTypeAssumptionSet ass, java.lang.String classname)
TypeAssumptions(java.lang.String klassenname) Dieser Konstruktor setzt bei der Initialisierung auch den Wert von "this"
TypeAssumptions(TypeAssumptions assumptions2)

Method Summary

Methods

Modifier and Type	Method and Description
TypeAssumptions	add(CTypeAssumption ass) F�gt dem Assumption-Set eine neue Assumption hinzu.
TypeAssumptions	add(CTypeAssumptionSet assumptionSet)
TypeAssumptions	add(TypeAssumptions assumptions)
void	addInstVarAssumption(java.lang.String className, java.lang.String identifier, Type assumedType) Erstellt eine CInstVarTypeAssumption und f�gt sie den Assumptions hinzu.
void	addLocalVarAssumption()
void	addMethodAssumption(Type classType, java.lang.String identifier, Type assumedType, java.util.Vector<CParaTypeAssumption> parameterTypes) Ruft createMethodAssumption auf und f�gt die Assumption dem AssumptionSet hinzu
TypeAssumptions	clone()
static CParaTypeAssumption	createCParaTypeAssumption(java.lang.String identifier, Type assumedType) Erstellt eine CParaTypeAssumption.
static CInstVarTypeAssumption	createFieldVarAssumption(java.lang.String className, java.lang.String fieldName, Type type)
static CMethodTypeAssumption	createMethodAssumption(Type classType, java.lang.String identifier, Type assumedType, java.util.Vector<CParaTypeAssumption> parameterTypes)
TypeAssumptions	getAssumptionsFor(java.lang.String classname) Jede erstellte Assumption wird von der TypeAssumptions-Klasse gespeichert.
TypeAssumptions	getInstVarAssumptions() Ermittelt alle Assumptions zu Instanzvariablen, welche sich in der Klasse "this" befinden, also der Klasse f�r welche dieses AssumptionSet g�ltig ist.
java.util.Vector<CMethodTypeAssumption>	getMethodAssumptions(java.lang.String methodName, int parameterCount) Sucht nach Assumptions zu einer Methode mit dem Namen methodName und parameterCount Parametern.
java.util.Vector<CMethodTypeAssumption>	getMethodAssumptions(java.lang.String className, java.lang.String methodName) Sucht nach MethodAssumptions einer bestimmten Klasse mit einem bestimmten Namen.
Type	getThisValue()
Type	getVarType(java.lang.String variableName) Durchsucht die Assumptions des aktuellen G�ltigkeitsbereichs (lokale Variablen und Felder der aktuellen Klasse) nach einem Eintrag f�r den �bergebenen Variablennamen.
java.util.Iterator<CTypeAssumption>	iterator()
void	remove(CTypeAssumption typeAssumption)
void	setThisClassname(java.lang.String name) Im AssumptionSet muss je nach Umfeld der Wert von "this" neu gesetzt werden.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeAssumptions

public TypeAssumptions()

TypeAssumptions

public TypeAssumptions(java.lang.String klassenname)

Dieser Konstruktor setzt bei der Initialisierung auch den Wert von "this"

Parameters:

klassenname - - Wert f�r "this"

TypeAssumptions

public TypeAssumptions(CTypeAssumptionSet ass,
               java.lang.String classname)

TypeAssumptions

public TypeAssumptions(TypeAssumptions assumptions2)

Method Detail

setThisClassname

public void setThisClassname(java.lang.String name)

Im AssumptionSet muss je nach Umfeld der Wert von "this" neu gesetzt werden. Dies �bernimmt diese Funktion.

Parameters:

name - - Der Klassenname der von this referenzierten Klasse.

addInstVarAssumption

public void addInstVarAssumption(java.lang.String className,
                        java.lang.String identifier,
                        Type assumedType)

Erstellt eine CInstVarTypeAssumption und f�gt sie den Assumptions hinzu.

Parameters:

className -

identifier -

assumedType -

addMethodAssumption

public void addMethodAssumption(Type classType,
                       java.lang.String identifier,
                       Type assumedType,
                       java.util.Vector<CParaTypeAssumption> parameterTypes)

Ruft createMethodAssumption auf und f�gt die Assumption dem AssumptionSet hinzu

Parameters:

classType -

identifier -

assumedType -

parameterTypes -

createMethodAssumption

public static CMethodTypeAssumption createMethodAssumption(Type classType,
                                           java.lang.String identifier,
                                           Type assumedType,
                                           java.util.Vector<CParaTypeAssumption> parameterTypes)

Parameters:

className -

identifier -

assumedType - - ReturnTyp der Methode

parameterTypes - - Liste der Parameter der Methode. TIPP: Zur Erstellung der CParaTypeAssumption-Liste kann die Methode TypeAssumptions.createCParaTypeAssumption verwendert werden.

createFieldVarAssumption

public static CInstVarTypeAssumption createFieldVarAssumption(java.lang.String className,
                                              java.lang.String fieldName,
                                              Type type)

createCParaTypeAssumption

public static CParaTypeAssumption createCParaTypeAssumption(java.lang.String identifier,
                                            Type assumedType)

Erstellt eine CParaTypeAssumption. Diese enth�lt nur den Identifier und den Typ des Parameters. Die Zuordnung zu einer Methode und einer Klasse erh�lt die Assumption erst durch den Einsatz in der TypeAssumptions.addMethodAssumption.

Parameters:

identifier -

assumedType -

Returns:

addLocalVarAssumption

public void addLocalVarAssumption()

getVarType

public Type getVarType(java.lang.String variableName)

Durchsucht die Assumptions des aktuellen G�ltigkeitsbereichs (lokale Variablen und Felder der aktuellen Klasse) nach einem Eintrag f�r den �bergebenen Variablennamen. In den Assumptions wird dann in der Reihenfolge LocalVarAssumptions, FieldAssumption nach dem �bergebenen Variablennamen gesucht.

Parameters:

variableName - - der Identifier der gesuchten Variablen

Returns:

- Der Typ f�r diesen Identifier.

getInstVarAssumptions

public TypeAssumptions getInstVarAssumptions()

Ermittelt alle Assumptions zu Instanzvariablen, welche sich in der Klasse "this" befinden, also der Klasse f�r welche dieses AssumptionSet g�ltig ist.

Returns:

getMethodAssumptions

public java.util.Vector<CMethodTypeAssumption> getMethodAssumptions(java.lang.String className,
                                                           java.lang.String methodName)

Sucht nach MethodAssumptions einer bestimmten Klasse mit einem bestimmten Namen.

Parameters:

className -

methodName -

parameterCount -

Returns:

getMethodAssumptions

public java.util.Vector<CMethodTypeAssumption> getMethodAssumptions(java.lang.String methodName,
                                                           int parameterCount)

Sucht nach Assumptions zu einer Methode mit dem Namen methodName und parameterCount Parametern.

Parameters:

methodName -

parameterCount - Anzahl der Parameter der gesuchten Methoden-Assumption

Returns:

add

public TypeAssumptions add(CTypeAssumption ass)

F�gt dem Assumption-Set eine neue Assumption hinzu.

Parameters:

ass -

Returns:

remove

public void remove(CTypeAssumption typeAssumption)

add

public TypeAssumptions add(TypeAssumptions assumptions)

add

public TypeAssumptions add(CTypeAssumptionSet assumptionSet)

iterator

public java.util.Iterator<CTypeAssumption> iterator()

Specified by:

iterator in interface java.lang.Iterable<CTypeAssumption>

clone

public TypeAssumptions clone()

Overrides:

clone in class java.lang.Object

getAssumptionsFor

public TypeAssumptions getAssumptionsFor(java.lang.String classname)

Jede erstellte Assumption wird von der TypeAssumptions-Klasse gespeichert. Diese Funktion ermittelt alle zu einer Klasse geh�renden Assumptions.

Parameters:

classname -

Returns:

Alle Assumptions mit - assumption.getClassname().equals(classname) - der this-Wert ist auf "classname" gesetzt.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getThisValue

public Type getThisValue()