de.dhbwstuttgart.syntaxtree.type

Class ExtendsWildcardType

java.lang.Object

de.dhbwstuttgart.syntaxtree.SyntaxTreeNode

de.dhbwstuttgart.syntaxtree.type.Type

de.dhbwstuttgart.syntaxtree.type.WildcardType

de.dhbwstuttgart.syntaxtree.type.ExtendsWildcardType

All Implemented Interfaces:

IItemWithOffset, IMatchable, ITypeContainer

public class ExtendsWildcardType
extends WildcardType
implements ITypeContainer, IMatchable

Stellt eine Wildcard mit oberer Grenze dar. z.B. void test(? extends Number 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
ExtendsWildcardType(int offset, ObjectType extendsType) Author: Arne Lüdtke Standard Konstruktor für eine ExtendsWildcard
ExtendsWildcardType(ObjectType extendsType)

Method Summary

Modifier and Type	Method and Description
ExtendsWildcardType	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_ExtendsType() Author: Arne Lüdtke Gibt den Typen in der Wildcard zurück.
ObjectType	getContainedType() Author: Arne Lüdtke Das gleiche wie get_ExtendsType().
FreshExtendsWildcardType	GetFreshWildcardType() Author: Arne Lüdtke Gibt die passende FreshWildcardType Klasse zurück.
Menge<TypePlaceholder>	getInvolvedTypePlaceholder() Sammelt alle TypePlaceholder, welche in diesem Typ vorkommen.
ObjectType	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_ExtendsType().
void	parserPostProcessing(SyntaxTreeNode parent) Wird nach dem Parsen aufgerufen.
JavaCodeResult	printJavaCode(ResultSet resultSet)
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

ExtendsWildcardType

public ExtendsWildcardType(int offset,
                           ObjectType extendsType)

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

ExtendsWildcardType

public ExtendsWildcardType(ObjectType extendsType)

Method Detail

get_ExtendsType

public ObjectType get_ExtendsType()

Author: Arne Lüdtke
Gibt den Typen in der Wildcard zurück. Beispiel: ? extends 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 ExtendsWildcardType 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

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.

GetFreshWildcardType

public FreshExtendsWildcardType 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_ExtendsType(). Ü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 ObjectType getContainedType()

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

Specified by:

getContainedType in interface ITypeContainer

getMatchType

public ObjectType 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 resultSet)

Overrides:

printJavaCode in class WildcardType

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; }