public class Void extends RefType
parent| Constructor and Description |
|---|
Void(SyntaxTreeNode parent,
int offset) |
| Modifier and Type | Method and Description |
|---|---|
Type |
checkTYPE(TypeAssumptions ass,
SyntaxTreeNode method) |
Void |
clone()
Author: J�rg B�uerle |
boolean |
equals(java.lang.Object obj)
Author: J�rg B�uerle
|
ConstraintType |
TYPE(TypeAssumptions ass,
SyntaxTreeNode parent)
Prüft ob der Typ in den Assumptions ass vorhanden ist.
|
add_Parameter, applyResultSet, Equiv2Equal, findGenericType, GenericTypeVar2TypePlaceholder, get_Name, get_ParaList, getChildren, getInvolvedTypePlaceholder, getMatchType, getName, getParaList, getParaN, getPrimitiveFlag, getSimpleName, getSuperWildcardTypes, getTypeName, getUnresolvedTPH, GTV2TPH, hashCode, is_Equiv, IsArray, isTV, parserPostProcessing, printJavaCode, set_ParaList, setArray, setName, setName, setPrimitiveFlag, toString, Type2Key, Type2Stringget_UsedId, getOffset, getVariableLength, involves, set_UsedId, setOffsetaddTypeInsertPoints, getDescription, getGTVDeclarationContext, getMatchingParentNode, getParent, getParentClass, seesTypepublic Void(SyntaxTreeNode parent, int offset)
public boolean equals(java.lang.Object obj)
public ConstraintType TYPE(TypeAssumptions ass, SyntaxTreeNode parent)
TypeTYPE in class RefTypeass - - 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;
}public Type checkTYPE(TypeAssumptions ass, SyntaxTreeNode method)