Package | Description |
---|---|
de.uka.ilkd.key.java.expression.operator |
Elements of the Java syntax tree representing operators and operator-like
expressions.
|
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 |
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.
|
Copyright © 2003-2019 The KeY-Project.