private static final class ProgramSVSort.TypeReferenceNotPrimitiveSort extends ProgramSVSort
ProgramSVSort.SimpleExpressionNonStringObjectSort, ProgramSVSort.SimpleExpressionStringSort
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
matchName |
ARRAYINITIALIZER, ARRAYLENGTH, ARRAYPOSTDECL, CATCH, CLASSREFERENCE, CONSTANT_PRIMITIVE_TYPE_VARIABLE, CONSTANT_STRING_VARIABLE, EXECUTIONCONTEXT, EXPRESSION, FORLOOP, FORUPDATES, GUARD, JAVABOOLEANEXPRESSION, LABEL, LEFTHANDSIDE, LOCALVARIABLE, LOOPINIT, METHODBODY, METHODNAME, MULTIPLEVARDECL, NEWARRAY, NONMODELMETHODBODY, NONSIMPLE_NEW, NONSIMPLEEXPRESSION, NONSIMPLEEXPRESSIONNOCLASSREFERENCE, NONSIMPLEMETHODREFERENCE, NONSTRINGLITERAL, PROGRAMMETHOD, SIMPLE_NEW, SIMPLEANYJAVANUMBERTYPEEXPRESSION, SIMPLEANYJAVATYPEEXPRESSION, SIMPLEANYNUMBERTYPEEXPRESSION, SIMPLEEXPRESSION, SIMPLEJAVABIGINTEXPRESSION, SIMPLEJAVABOOLEANEXPRESSION, SIMPLEJAVABYTEEXPRESSION, SIMPLEJAVABYTESHORTEXPRESSION, SIMPLEJAVABYTESHORTINTEXPRESSION, SIMPLEJAVACHARBYTESHORTINTEXPRESSION, SIMPLEJAVACHAREXPRESSION, SIMPLEJAVAINTEXPRESSION, SIMPLEJAVAINTLONGEXPRESSION, SIMPLEJAVALONGEXPRESSION, SIMPLEJAVASHORTEXPRESSION, SIMPLEJAVASHORTINTLONGEXPRESSION, SIMPLENONSTRINGOBJECTEXPRESSION, SIMPLESTRINGEXPRESSION, SPECIALCONSTRUCTORREFERENCE, STATEMENT, STATICVARIABLE, STRINGLITERAL, SWITCH, TYPE, TYPENOTPRIMITIVE, VARIABLE, VARIABLEINIT
ANY, CAST_NAME, EXACT_INSTANCE_NAME, FORMULA, INSTANCE_NAME, TERMLABEL, UPDATE
Constructor and Description |
---|
TypeReferenceNotPrimitiveSort() |
TypeReferenceNotPrimitiveSort(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
canStandFor(ProgramElement check,
Services services) |
ProgramSVSort |
createInstance(java.lang.String parameter) |
canStandFor, canStandFor, getKeYJavaType, getSVWithSort, implicit, methodConstrReference, name2sort
declarationString, extendsSorts, extendsSorts, extendsTrans, getCastSymbol, getExactInstanceofSymbol, getInstanceofSymbol, isAbstract, name, toString
public TypeReferenceNotPrimitiveSort()
public TypeReferenceNotPrimitiveSort(java.lang.String name)
protected boolean canStandFor(ProgramElement check, Services services)
canStandFor
in class ProgramSVSort
public ProgramSVSort createInstance(java.lang.String parameter)
createInstance
in class ProgramSVSort