public abstract class Expr extends ExprStmt
Modifier and Type | Field and Description |
---|---|
UsedId |
usedid |
inferencelog
parent
Constructor and Description |
---|
Expr(int offset,
int variableLength) |
Modifier and Type | Method and Description |
---|---|
Menge |
get_Name_Menge() |
abstract java.lang.String |
get_Name() |
Menge |
get_Type_Menge() |
UsedId |
get_UsedId() |
void |
set_Type(Type type) |
void |
set_UsedId(UsedId ui) |
abstract ConstraintsSet |
TYPEExpr(TypeAssumptions assumptions) |
ConstraintsSet |
TYPEStmt(TypeAssumptions assumptions) |
getTypeLineNumber, getTypeName
getDescription, getOffset, getReturnType, getType, getTypeInformation, getVariableLength, printJavaCode, setReturnType, setType, wandleRefTypeAttributes2GenericAttributes
addTypeInsertPoints, equals, getChildren, getGTVDeclarationContext, getMatchingParentNode, getParent, getParentClass, parserPostProcessing, seesType
public UsedId usedid
public void set_Type(Type type)
public void set_UsedId(UsedId ui)
public UsedId get_UsedId()
public Menge get_Name_Menge()
public Menge get_Type_Menge()
public abstract java.lang.String get_Name()
public abstract ConstraintsSet TYPEExpr(TypeAssumptions assumptions)
public ConstraintsSet TYPEStmt(TypeAssumptions assumptions)