de.uka.ilkd.key.logic.sort

Class ProgramSVSort.SimpleExpressionStringSort

java.lang.Object

de.uka.ilkd.key.logic.sort.AbstractSort

de.uka.ilkd.key.logic.sort.ProgramSVSort

de.uka.ilkd.key.logic.sort.ProgramSVSort.SimpleExpressionSort

de.uka.ilkd.key.logic.sort.ProgramSVSort.SimpleExpressionStringSort

All Implemented Interfaces:

Named, Sort

Enclosing class:

ProgramSVSort

public static final class ProgramSVSort.SimpleExpressionStringSort
extends ProgramSVSort.SimpleExpressionSort

This sort represents a type of program schema variables that match on string literals and string variables.

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.logic.sort.ProgramSVSort

ProgramSVSort.SimpleExpressionNonStringObjectSort, ProgramSVSort.SimpleExpressionStringSort

Field Summary

Fields inherited from class de.uka.ilkd.key.logic.sort.ProgramSVSort

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

Fields inherited from interface de.uka.ilkd.key.logic.sort.Sort

ANY, CAST_NAME, EXACT_INSTANCE_NAME, FORMULA, INSTANCE_NAME, TERMLABEL, UPDATE

Constructor Summary

Constructors

Constructor and Description
SimpleExpressionStringSort(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
boolean	canStandFor(ProgramElement check, ExecutionContext ec, Services services)

Methods inherited from class de.uka.ilkd.key.logic.sort.ProgramSVSort.SimpleExpressionSort

canStandFor, canStandFor

Methods inherited from class de.uka.ilkd.key.logic.sort.ProgramSVSort

createInstance, getKeYJavaType, getSVWithSort, implicit, methodConstrReference, name2sort

Methods inherited from class de.uka.ilkd.key.logic.sort.AbstractSort

declarationString, extendsSorts, extendsSorts, extendsTrans, getCastSymbol, getExactInstanceofSymbol, getInstanceofSymbol, isAbstract, name, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SimpleExpressionStringSort

public SimpleExpressionStringSort(java.lang.String name)

Method Detail

canStandFor

public boolean canStandFor(ProgramElement check,
                           ExecutionContext ec,
                           Services services)

Overrides:

canStandFor in class ProgramSVSort