public abstract class ProgramSVSort extends AbstractSort
Modifier and Type | Class and Description |
---|---|
static class |
ProgramSVSort.SimpleExpressionNonStringObjectSort
This sort represents a type of program schema variables that match
on non string object variables.
|
static class |
ProgramSVSort.SimpleExpressionStringSort
This sort represents a type of program schema variables that match
on string literals and string variables.
|
ANY, CAST_NAME, EXACT_INSTANCE_NAME, FORMULA, INSTANCE_NAME, TERMLABEL, UPDATE
Constructor and Description |
---|
ProgramSVSort(Name name) |
Modifier and Type | Method and Description |
---|---|
boolean |
canStandFor(ProgramElement check,
ExecutionContext ec,
Services services) |
protected abstract boolean |
canStandFor(ProgramElement check,
Services services) |
boolean |
canStandFor(Term t) |
ProgramSVSort |
createInstance(java.lang.String parameter) |
ProgramElement |
getSVWithSort(ExtList l,
java.lang.Class<?> alternative) |
static java.util.Map<Name,ProgramSVSort> |
name2sort() |
declarationString, extendsSorts, extendsSorts, extendsTrans, getCastSymbol, getExactInstanceofSymbol, getInstanceofSymbol, isAbstract, name, toString
public static final ProgramSVSort LEFTHANDSIDE
public static final ProgramSVSort VARIABLE
public static final ProgramSVSort STATICVARIABLE
public static final ProgramSVSort LOCALVARIABLE
public static final ProgramSVSort SIMPLEEXPRESSION
public static final ProgramSVSort NONSIMPLEEXPRESSION
public static final ProgramSVSort NONSIMPLEEXPRESSIONNOCLASSREFERENCE
public static final ProgramSVSort EXPRESSION
public static final ProgramSVSort SIMPLE_NEW
public static final ProgramSVSort NONSIMPLE_NEW
public static final ProgramSVSort NEWARRAY
public static final ProgramSVSort ARRAYINITIALIZER
public static final ProgramSVSort SPECIALCONSTRUCTORREFERENCE
public static final de.uka.ilkd.key.logic.sort.ProgramSVSort.NonSimpleMethodReferenceSort NONSIMPLEMETHODREFERENCE
public static final ProgramSVSort STATEMENT
public static final ProgramSVSort CATCH
public static final ProgramSVSort CCATCH
public static final ProgramSVSort METHODBODY
public static final ProgramSVSort NONMODELMETHODBODY
public static final ProgramSVSort PROGRAMMETHOD
public static final ProgramSVSort TYPE
public static final ProgramSVSort TYPENOTPRIMITIVE
public static final ProgramSVSort CLASSREFERENCE
public static final ProgramSVSort METHODNAME
public static final ProgramSVSort LABEL
public static final ProgramSVSort JAVABOOLEANEXPRESSION
public static final ProgramSVSort SIMPLEJAVABYTEEXPRESSION
public static final ProgramSVSort SIMPLEJAVACHAREXPRESSION
public static final ProgramSVSort SIMPLEJAVASHORTEXPRESSION
public static final ProgramSVSort SIMPLEJAVAINTEXPRESSION
public static final ProgramSVSort SIMPLEJAVALONGEXPRESSION
public static final ProgramSVSort SIMPLEJAVABYTESHORTEXPRESSION
public static final ProgramSVSort SIMPLEJAVABYTESHORTINTEXPRESSION
public static final ProgramSVSort SIMPLEANYJAVATYPEEXPRESSION
public static final ProgramSVSort SIMPLEANYJAVANUMBERTYPEEXPRESSION
public static final ProgramSVSort SIMPLEJAVASHORTINTLONGEXPRESSION
public static final ProgramSVSort SIMPLEJAVAINTLONGEXPRESSION
public static final ProgramSVSort SIMPLEJAVACHARBYTESHORTINTEXPRESSION
public static final ProgramSVSort SIMPLEJAVABIGINTEXPRESSION
public static final ProgramSVSort SIMPLEANYNUMBERTYPEEXPRESSION
public static final ProgramSVSort SIMPLEJAVABOOLEANEXPRESSION
public static final ProgramSVSort SIMPLESTRINGEXPRESSION
public static final ProgramSVSort SIMPLENONSTRINGOBJECTEXPRESSION
public static final ProgramSVSort LOOPINIT
public static final ProgramSVSort GUARD
public static final ProgramSVSort FORUPDATES
public static final ProgramSVSort FORLOOP
public static final ProgramSVSort MULTIPLEVARDECL
public static final ProgramSVSort ARRAYPOSTDECL
public static final ProgramSVSort SWITCH
public static final ProgramSVSort CONSTANT_PRIMITIVE_TYPE_VARIABLE
public static final ProgramSVSort CONSTANT_STRING_VARIABLE
public static final ProgramSVSort VARIABLEINIT
public static final ProgramSVSort NONSTRINGLITERAL
public static final ProgramSVSort STRINGLITERAL
public static final ProgramSVSort ARRAYLENGTH
public static final ProgramSVSort EXECUTIONCONTEXT
public ProgramSVSort(Name name)
public boolean canStandFor(Term t)
public boolean canStandFor(ProgramElement check, ExecutionContext ec, Services services)
protected abstract boolean canStandFor(ProgramElement check, Services services)
public ProgramSVSort createInstance(java.lang.String parameter)
public ProgramElement getSVWithSort(ExtList l, java.lang.Class<?> alternative)
public static java.util.Map<Name,ProgramSVSort> name2sort()
Copyright © 2003-2019 The KeY-Project.