private static class ProgramSVSort.StringLiteralSort 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 |
---|---|
|
StringLiteralSort() |
protected |
StringLiteralSort(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 StringLiteralSort()
protected StringLiteralSort(Name n)
public boolean canStandFor(Term t)
canStandFor
in class ProgramSVSort
protected boolean canStandFor(ProgramElement pe, Services services)
canStandFor
in class ProgramSVSort