de.dhbwstuttgart.syntaxtree.type

Class FreshExtendsWildcardType

java.lang.Object

de.dhbwstuttgart.syntaxtree.SyntaxTreeNode

de.dhbwstuttgart.syntaxtree.type.Type

de.dhbwstuttgart.syntaxtree.type.FreshWildcardType

de.dhbwstuttgart.syntaxtree.type.FreshExtendsWildcardType

All Implemented Interfaces:

IItemWithOffset, IMatchable

public class FreshExtendsWildcardType
extends FreshWildcardType
implements IMatchable

Field Summary

Fields

Modifier and Type	Field and Description
private ObjectType	extendsBoundType

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

name, used

Fields inherited from class de.dhbwstuttgart.syntaxtree.SyntaxTreeNode

parent

Constructor Summary

Constructors

Modifier	Constructor and Description
	FreshExtendsWildcardType(ObjectType extendsBound, SyntaxTreeNode parent, int offset) Author: Arne Lüdtke Standard Konstruktor für eine FreshExtendsWildcard
private	FreshExtendsWildcardType(ObjectType extendsBound, SyntaxTreeNode parent, int offset, java.lang.String name) Author: Arne Lüdtke Privater Konstruktor für clone

Method Summary

Modifier and Type	Method and Description
FreshExtendsWildcardType	clone() Author: Arne Lüdtke Gibt einen Klon der Wildcard zurück.
boolean	equals(java.lang.Object obj) Author: Arne Lüdtke Prüft, ob zwei Objekte gleich sind.
ObjectType	get_ExtendsBound() Author: Arne Lüdtke Gibt die Grenze der Wildcard zurück
ExtendsWildcardType	get_WildcardType() Author: Arne Lüdtke Gibt die passende ExtendsWildcardType Klasse zurück.
Type	getMatchType() Author: Arne Lüdtke Gibt den Typen zurück, der bei einem match im Unify verwendet werden soll.
java.lang.String	toString() Author: Arne Lüdtke Gibt String Entsprechung zurück.

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

get_UpperBounds, printJavaCode, set_UpperBounds

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

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

Methods inherited from class de.dhbwstuttgart.syntaxtree.SyntaxTreeNode

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

Methods inherited from class java.lang.Object

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

Field Detail

extendsBoundType

private ObjectType extendsBoundType

Constructor Detail

FreshExtendsWildcardType

public FreshExtendsWildcardType(ObjectType extendsBound,
                                SyntaxTreeNode parent,
                                int offset)

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

FreshExtendsWildcardType

private FreshExtendsWildcardType(ObjectType extendsBound,
                                 SyntaxTreeNode parent,
                                 int offset,
                                 java.lang.String name)

Author: Arne Lüdtke
Privater Konstruktor für clone

Method Detail

toString

public java.lang.String toString()

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

Overrides:

toString in class FreshWildcardType

clone

public FreshExtendsWildcardType clone()

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

Overrides:

clone in class FreshWildcardType

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

get_ExtendsBound

public ObjectType get_ExtendsBound()

Author: Arne Lüdtke
Gibt die Grenze der Wildcard zurück

equals

public boolean equals(java.lang.Object obj)

Author: Arne Lüdtke
Prüft, ob zwei Objekte gleich sind. NICHT INSTANZGLEICH

Overrides:

equals in class FreshWildcardType

get_WildcardType

public ExtendsWildcardType get_WildcardType()

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

Overrides:

get_WildcardType in class FreshWildcardType

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