de.uka.ilkd.key.java.expression.operator |
Elements of the Java syntax tree representing operators and operator-like
expressions.
{@link recoder.java.expression.operator.New} is also considered an
operator ({@link recoder.java.expression.operator.TypeOperator}).
|
Java Source File Name | Type | Comment |
BinaryAnd.java | Class | Binary and. |
BinaryAndAssignment.java | Class | Binary and assignment. |
BinaryNot.java | Class | Binary not. |
BinaryOperator.java | Class | |
BinaryOr.java | Class | Binary or. |
BinaryOrAssignment.java | Class | Binary or assignment. |
BinaryXOr.java | Class | Binary X or. |
BinaryXOrAssignment.java | Class | Binary X or assignment. |
ComparativeOperator.java | Class | Comparative operator. |
Conditional.java | Class | |
CopyAssignment.java | Class | Copy assignment. |
Divide.java | Class | Divide. |
DivideAssignment.java | Class | Divide assignment. |
Equals.java | Class | Equals. |
ExactInstanceof.java | Class | Instanceof. |
GreaterOrEquals.java | Class | Greater or equals. |
GreaterThan.java | Class | Greater than. |
Instanceof.java | Class | Instanceof. |
LessOrEquals.java | Class | Less or equals. |
LessThan.java | Class | Less than. |
LogicalAnd.java | Class | Logical and. |
LogicalNot.java | Class | Logical not. |
LogicalOr.java | Class | Logical or. |
Minus.java | Class | Minus. |
MinusAssignment.java | Class | Minus assignment. |
Modulo.java | Class | Modulo. |
ModuloAssignment.java | Class | Modulo assignment. |
Negative.java | Class | Negative. |
New.java | Class | The object allocation operator. |
NewArray.java | Class | The array allocation operator.
There are two variants for NewArray:
- Ordinary array construction
new XYZ[d1]...[dn]
- Initialized array construction
new XYZ[]...[] { a1, ..., an }
Contrary to an ordinary New, a NewArray is no ConstructorReference (since
all ArrayType constructors are predefined) and is not used as a Statement
(since there are no sideeffects in the constructor). |
NotEquals.java | Class | Not equals. |
Plus.java | Class | Addition or string concatenation operator "+". |
PlusAssignment.java | Class | Addition or string concatenation assignment "+=". |
Positive.java | Class | Positive. |
PostDecrement.java | Class | Post decrement. |
PostIncrement.java | Class | Post increment. |
PreDecrement.java | Class | Pre decrement. |
PreIncrement.java | Class | Pre increment. |
ShiftLeft.java | Class | Shift left. |
ShiftLeftAssignment.java | Class | Shift left assignment. |
ShiftRight.java | Class | Shift right. |
ShiftRightAssignment.java | Class | Shift right assignment. |
Times.java | Class | Times. |
TimesAssignment.java | Class | Times assignment. |
TypeCast.java | Class | Type cast. |
TypeOperator.java | Class | Type operator. |
UnsignedShiftRight.java | Class | Unsigned shift right. |
UnsignedShiftRightAssignment.java | Class | Unsigned shift right assignment. |