de.dhbwstuttgart.syntaxtree.type

Class SuperWildcardType

java.lang.Object

de.dhbwstuttgart.syntaxtree.SyntaxTreeNode

de.dhbwstuttgart.syntaxtree.type.Type

de.dhbwstuttgart.syntaxtree.type.WildcardType

de.dhbwstuttgart.syntaxtree.type.SuperWildcardType

All Implemented Interfaces:

IItemWithOffset, IMatchable, ITypeContainer

public class SuperWildcardType
extends WildcardType
implements ITypeContainer, IMatchable

Stellt eine Wildcard mit unterer Grenze dar. z.B. void test(? super Integer var){..} ...

Author:

luar 2.12.06

Field Summary

Fields inherited from class de.dhbwstuttgart.syntaxtree.type.WildcardType

innerType

Fields inherited from class de.dhbwstuttgart.syntaxtree.type.Type

name, used

Fields inherited from class de.dhbwstuttgart.syntaxtree.SyntaxTreeNode

parent

Constructor Summary

Constructors

Constructor and Description
SuperWildcardType(int offset, ObjectType innerType) Author: Arne Lüdtke Standard Konstruktor für eine SuperWildcard
SuperWildcardType(ObjectType innerType)

Method Summary

Modifier and Type	Method and Description
SuperWildcardType	clone() Author: Arne Lüdtke Gibt einen Klon der Wildcard zurück.
boolean	equals(java.lang.Object obj) Author: Arne Lüdtke Vergleicht mit einem anderen Objekt.
ObjectType	get_SuperType() Author: Arne Lüdtke Gibt den Typen in der Wildcard zurück.
Type	getContainedType() Author: Arne Lüdtke Das gleiche wie get_innerType().
FreshSuperWildcardType	GetFreshWildcardType() Author: Arne Lüdtke Gibt die passende FreshWildcardType Klasse zurück.
Menge<TypePlaceholder>	getInvolvedTypePlaceholder() Sammelt alle TypePlaceholder, welche in diesem Typ vorkommen.
Type	getMatchType() Author: Arne Lüdtke Gibt den Typen zurück, der bei einem match im Unify verwendet werden soll.
Type	GetWildcardType() Author: Arne Lüdtke Das gleiche wie get_innerType().
void	parserPostProcessing(SyntaxTreeNode parent) Wird nach dem Parsen aufgerufen.
JavaCodeResult	printJavaCode(ResultSet result)
void	SetWildcardType(ObjectType T) Author: Arne Lüdtke Setzt den Typ in der Wildcard
java.lang.String	toString() Author: Arne Lüdtke Gibt String Entsprechung zurück.
ConstraintType	TYPE(TypeAssumptions ass, SyntaxTreeNode parent) Prüft ob der Typ in den Assumptions ass vorhanden ist.

Methods inherited from class de.dhbwstuttgart.syntaxtree.type.WildcardType

SetWildcardType

Methods inherited from class de.dhbwstuttgart.syntaxtree.type.Type

applyResultSet, checkTYPE, get_Name, get_UsedId, getChildren, getName, getOffset, getSimpleName, getSuperWildcardTypes, getUnresolvedTPH, getVariableLength, involves, set_UsedId, setOffset, Type2Key, Type2String

Methods inherited from class de.dhbwstuttgart.syntaxtree.SyntaxTreeNode

addTypeInsertPoints, getDescription, getGTVDeclarationContext, getMatchingParentNode, getParent, getParentClass, seesType

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SuperWildcardType

public SuperWildcardType(ObjectType innerType)

SuperWildcardType

public SuperWildcardType(int offset,
                         ObjectType innerType)

Author: Arne Lüdtke
Standard Konstruktor für eine SuperWildcard

Method Detail

get_SuperType

public ObjectType get_SuperType()

Author: Arne Lüdtke
Gibt den Typen in der Wildcard zurück. Beispiel: ? super Integer. Integer wird zurückgegeben.

toString

public java.lang.String toString()

Author: Arne Lüdtke
Gibt String Entsprechung zurück.

Overrides:

toString in class WildcardType

clone

public SuperWildcardType clone()

Author: Arne Lüdtke
Gibt einen Klon der Wildcard zurück. Der Innere Typ wird auch geklont

Overrides:

clone in class WildcardType

Returns:

// ino.end // ino.method.clone.26768.definition public Type clone() // ino.end // ino.method.clone.26768.body { return new RefType(this.getName().toString(), this.getParent(),getOffset()); } // ino.end

GetFreshWildcardType

public FreshSuperWildcardType GetFreshWildcardType()

Author: Arne Lüdtke
Gibt die passende FreshWildcardType Klasse zurück. Wird für CaptureConversion verwendet

Overrides:

GetFreshWildcardType in class WildcardType

GetWildcardType

public Type GetWildcardType()

Author: Arne Lüdtke
Das gleiche wie get_innerType(). Überschreibt die Methode der Superklasse

Overrides:

GetWildcardType in class WildcardType

SetWildcardType

public void SetWildcardType(ObjectType T)

Author: Arne Lüdtke
Setzt den Typ in der Wildcard

Parameters:

T - - Type to be set

getContainedType

public Type getContainedType()

Author: Arne Lüdtke
Das gleiche wie get_innerType(). Implementiert ITypeContainer

Specified by:

getContainedType in interface ITypeContainer

getMatchType

public Type getMatchType()

Author: Arne Lüdtke
Gibt den Typen zurück, der bei einem match im Unify verwendet werden soll. Wird über IMatchable implementiert.

Specified by:

getMatchType in interface IMatchable

printJavaCode

public JavaCodeResult printJavaCode(ResultSet result)

Overrides:

printJavaCode in class WildcardType

equals

public boolean equals(java.lang.Object obj)

Author: Arne Lüdtke
Vergleicht mit einem anderen Objekt.

Overrides:

equals in class WildcardType

Parameters:

obj - - Object to compare.

getInvolvedTypePlaceholder

public Menge<TypePlaceholder> getInvolvedTypePlaceholder()

Description copied from class: Type

Sammelt alle TypePlaceholder, welche in diesem Typ vorkommen.

Overrides:

getInvolvedTypePlaceholder in class Type

Returns:

parserPostProcessing

public void parserPostProcessing(SyntaxTreeNode parent)

Description copied from class: SyntaxTreeNode

Wird nach dem Parsen aufgerufen. Erfüllt folgenden Aufgaben: 1. Füllt fehlende Typangaben mit TPHs auf. 2. Verknüpft die Knoten des Syntaxbaums. (setzt Parent) 3. Wechselt RefTypes gegebenenfalls mit GenericTypeVars aus. 4. Führt einen Teil des Syntaxckecks durch.

Overrides:

parserPostProcessing in class SyntaxTreeNode

TYPE

public ConstraintType TYPE(TypeAssumptions ass,
                           SyntaxTreeNode parent)

Description copied from class: Type

Prüft ob der Typ in den Assumptions ass vorhanden ist. Dabei kann eine neue Instanz eines Typs entstehen, welche von der Methode zurückgegeben wird.

Overrides:

TYPE in class WildcardType

Parameters:

ass - - Die Assumptions für den jeweiligen Kontext in dem sich der Typ befindet. public ConstraintType checkType(TypeAssumptions ass, SyntaxTreeNode parent){ ConstraintType t = ass.getTypeFor(this, this); if(t==null) throw new TypeinferenceException("Der Typ "+this.getName()+" ist nicht korrekt", parent); return t; }