Package | Description |
---|---|
de.uka.ilkd.key.java.expression |
Elements of the Java syntax tree representing expressions.
|
de.uka.ilkd.key.java.expression.operator |
Elements of the Java syntax tree representing operators and operator-like
expressions.
|
de.uka.ilkd.key.java.reference |
Elements of the Java syntax tree representing implicit or explicit (named)
references to other program elements.
|
de.uka.ilkd.key.logic |
provides a representation for the term and sequent
structure.
|
de.uka.ilkd.key.logic.op |
contains the operators of
Term s. |
Modifier and Type | Class and Description |
---|---|
class |
Assignment
An assignment is an operator with side-effects.
|
class |
ParenthesizedExpression
Redundant Parentheses.
|
class |
PassiveExpression
Marks an active statement as inactive.
|
Modifier and Type | Class and Description |
---|---|
class |
BinaryAndAssignment
Binary and assignment.
|
class |
BinaryOrAssignment
Binary or assignment.
|
class |
BinaryXOrAssignment
Binary X or assignment.
|
class |
CopyAssignment
Copy assignment.
|
class |
DivideAssignment
Divide assignment.
|
class |
MinusAssignment
Minus assignment.
|
class |
ModuloAssignment
Modulo assignment.
|
class |
New
The object allocation operator.
|
class |
PlusAssignment
Addition or string concatenation assignment "+=".
|
class |
PostDecrement
Post decrement.
|
class |
PostIncrement
Post increment.
|
class |
PreDecrement
Pre decrement.
|
class |
PreIncrement
Pre increment.
|
class |
ShiftLeftAssignment
Shift left assignment.
|
class |
ShiftRightAssignment
Shift right assignment.
|
class |
TimesAssignment
Times assignment.
|
class |
UnsignedShiftRightAssignment
Unsigned shift right assignment.
|
Modifier and Type | Class and Description |
---|---|
class |
MethodReference
Method reference.
|
Modifier and Type | Interface and Description |
---|---|
interface |
ProgramConstruct
A type that implement this interface can be used in all java
programs instead of an expression or statement.
|
Modifier and Type | Class and Description |
---|---|
class |
ProgramSV
Objects of this class are schema variables matching program constructs within
modal operators.
|
Copyright © 2003-2019 The KeY-Project.