Package | Description |
---|---|
de.uka.ilkd.key.rule.conditions |
Modifier and Type | Class and Description |
---|---|
class |
AbstractOrInterfaceType
This variable condition checks if a given type denotes an abstract class or
interface type.
|
class |
AlternativeVariableCondition
disjoin two variable conditions
|
class |
ArrayComponentTypeCondition
This variable condition checks if an array component is of reference type
|
class |
ArrayLengthCondition |
class |
ArrayTypeCondition
This variable condition checks if an instantiation is an array.
|
class |
ConstantCondition
This variable condition checks if an instantiation is a constant formula or term,
i.e.
|
class |
ContainsAssignmentCondition
This variable condition can be used to check whether an assignment expression
occurs as a subexpression of a schemavariable instantiation,
|
class |
DifferentFields
This variable condition checks if given two terms s, t both terms have a different
unique symbol as top level operator
|
class |
DifferentInstantiationCondition |
class |
EnumConstantCondition
ensures that the given instantiation for the schemavariable denotes a
constant of an enum type.
|
class |
EnumTypeCondition
This variable condition checks if a type is an enum type.
|
class |
FinalReferenceCondition
ensures that the given instantiation for the schema variable denotes a
final field
|
class |
FreeLabelInVariableCondition |
class |
IsThisReference
This variable condition checks if a given type denotes an abstract class or
interface type.
|
class |
LocalVariableCondition
Ensures the given ProgramElement denotes a local variable
|
class |
MayExpandMethodCondition
ensures that the given instantiation for the schemavariable denotes
a method whose body may be expanded.
|
class |
MetaDisjointCondition |
class |
StaticFieldCondition
This variable condition checks if the instantiation of a schemavariable (of
type Field) refers to a Java field declared as "static".
|
class |
StaticMethodCondition
ensures that the given instantiation for the schemavariable denotes
a static method.
|
class |
StaticReferenceCondition
ensures that the given instantiation for the schemavariable denotes a
static field
|
class |
SubFormulaCondition
This variable condition checks if an instantiation for a formula has sub formulas
which are formulas.
|
class |
TermLabelCondition
This variable condition checks if an instantiation for term labels contains a specific
term label.
|
class |
TypeComparisonCondition
General varcond for checking relationships between types of schema variables.
|
class |
TypeCondition
This variable condition checks if a schemavariable is instantiated
with a reference or primitive type
|
Constructor and Description |
---|
AlternativeVariableCondition(VariableConditionAdapter delegate0,
VariableConditionAdapter delegate1) |
Copyright © 2003-2019 The KeY-Project.