Package de.uka.ilkd.key.java.expression.operator

Elements of the Java syntax tree representing operators and operator-like expressions.

See: Description

Class Summary

Class	Description
BinaryAnd	Binary and.
BinaryAndAssignment	Binary and assignment.
BinaryNot	Binary not.
BinaryOperator	Operator of arity 2
BinaryOr	Binary or.
BinaryOrAssignment	Binary or assignment.
BinaryXOr	Binary X or.
BinaryXOrAssignment	Binary X or assignment.
ComparativeOperator	Comparative operator.
Conditional	The most weird ternary C operator ?
CopyAssignment	Copy assignment.
Divide	Divide.
DivideAssignment	Divide assignment.
DLEmbeddedExpression
Equals	Equals.
ExactInstanceof	Instanceof.
GreaterOrEquals	Greater or equals.
GreaterThan	Greater than.
Instanceof	Instanceof.
Intersect
LessOrEquals	Less or equals.
LessThan	Less than.
LogicalAnd	Logical and.
LogicalNot	Logical not.
LogicalOr	Logical or.
Minus	Minus.
MinusAssignment	Minus assignment.
Modulo	Modulo.
ModuloAssignment	Modulo assignment.
Negative	Negative.
New	The object allocation operator.
NewArray	The array allocation operator.
NotEquals	Not equals.
Plus	Addition or string concatenation operator "+".
PlusAssignment	Addition or string concatenation assignment "+=".
Positive	Positive.
PostDecrement	Post decrement.
PostIncrement	Post increment.
PreDecrement	Pre decrement.
PreIncrement	Pre increment.
ShiftLeft	Shift left.
ShiftLeftAssignment	Shift left assignment.
ShiftRight	Shift right.
ShiftRightAssignment	Shift right assignment.
Times	Times.
TimesAssignment	Times assignment.
TypeCast	Type cast.
TypeOperator	Type operator.
UnsignedShiftRight	Unsigned shift right.
UnsignedShiftRightAssignment	Unsigned shift right assignment.

Package de.uka.ilkd.key.java.expression.operator Description

Elements of the Java syntax tree representing operators and operator-like expressions. New is also considered an operator (TypeOperator).