public class WildcardType extends Type
| Modifier and Type | Field and Description |
|---|---|
protected ObjectType |
innerType |
parent| Constructor and Description |
|---|
WildcardType(ObjectType innerType,
SyntaxTreeNode parent,
int offset)
Author: Arne Lüdtke
Standard Konstruktor für eine Wildcard |
| Modifier and Type | Method and Description |
|---|---|
WildcardType |
clone()
Author: Arne Lüdtke
Gibt einen Klon der Wildcard zurück. |
boolean |
equals(java.lang.Object obj)
Author: J�rg B�uerle
|
FreshWildcardType |
GetFreshWildcardType()
Author: Arne Lüdtke
Gibt die passende FreshWildcardType Klasse zurück. |
Type |
GetWildcardType()
Author: Arne Lüdtke
Die Allgemeine Wildcard enthält keinen Typen. |
JavaCodeResult |
printJavaCode(ResultSet resultSet) |
void |
SetWildcardType(Type T)
Author: Arne Lüdtke
Setzt den Typ in der Wildcard, Allgemeine Wildcard hat aber keinen Typen. |
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.
|
applyResultSet, checkTYPE, get_Name, get_UsedId, getChildren, getInvolvedTypePlaceholder, getName, getOffset, getSimpleName, getSuperWildcardTypes, getUnresolvedTPH, getVariableLength, involves, set_UsedId, setOffset, Type2Key, Type2StringaddTypeInsertPoints, getDescription, getGTVDeclarationContext, getMatchingParentNode, getParent, getParentClass, parserPostProcessing, seesTypeprotected ObjectType innerType
public WildcardType(ObjectType innerType, SyntaxTreeNode parent, int offset)
public java.lang.String toString()
public WildcardType clone()
public FreshWildcardType GetFreshWildcardType()
public Type GetWildcardType()
public void SetWildcardType(Type T)
T - - Type to be setpublic JavaCodeResult printJavaCode(ResultSet resultSet)
printJavaCode in class Typepublic ConstraintType TYPE(TypeAssumptions ass, SyntaxTreeNode parent)
TypeTYPE in class Typeass - - 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;
}