private static class ProgramSVSort.SimpleExpressionSort extends ProgramSVSort
ProgramSVSort.SimpleExpressionNonStringObjectSort, ProgramSVSort.SimpleExpressionStringSort
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
Modifier | Constructor and Description |
---|---|
|
SimpleExpressionSort() |
protected |
SimpleExpressionSort(Name n) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
canStandFor(ProgramElement pe,
Services services) |
boolean |
canStandFor(Term t) |
canStandFor, createInstance, getKeYJavaType, getSVWithSort, implicit, methodConstrReference, name2sort
declarationString, extendsSorts, extendsSorts, extendsTrans, getCastSymbol, getExactInstanceofSymbol, getInstanceofSymbol, isAbstract, name, toString
public SimpleExpressionSort()
protected SimpleExpressionSort(Name n)
public boolean canStandFor(Term t)
canStandFor
in class ProgramSVSort
protected boolean canStandFor(ProgramElement pe, Services services)
canStandFor
in class ProgramSVSort