de.dhbwstuttgart.syntaxtree.type

Class FreshSuperWildcardType

java.lang.Object

de.dhbwstuttgart.syntaxtree.SyntaxTreeNode

de.dhbwstuttgart.syntaxtree.type.Type

de.dhbwstuttgart.syntaxtree.type.FreshWildcardType

de.dhbwstuttgart.syntaxtree.type.FreshSuperWildcardType

All Implemented Interfaces:

IItemWithOffset, IMatchable

public class FreshSuperWildcardType
extends FreshWildcardType
implements IMatchable

Field Summary

Fields

Modifier and Type	Field and Description
private ObjectType	superBoundType

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
	FreshSuperWildcardType(ObjectType superBound, SyntaxTreeNode parent, int offset) Author: Arne Lüdtke Standard Konstruktor für eine FreshSuperWildcard
private	FreshSuperWildcardType(ObjectType superBound, 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
FreshSuperWildcardType	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_SuperBound() Author: Arne Lüdtke Gibt die Grenze der Wildcard zurück
SuperWildcardType	get_WildcardType() Author: Arne Lüdtke Gibt die passende SuperWildcardType 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

superBoundType

private ObjectType superBoundType

Constructor Detail

FreshSuperWildcardType

public FreshSuperWildcardType(ObjectType superBound,
                              SyntaxTreeNode parent,
                              int offset)

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

FreshSuperWildcardType

private FreshSuperWildcardType(ObjectType superBound,
                               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 FreshSuperWildcardType 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_SuperBound

public ObjectType get_SuperBound()

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 SuperWildcardType get_WildcardType()

Author: Arne Lüdtke
Gibt die passende SuperWildcardType 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