Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.expression.operator |
Elements of the Java syntax tree representing operators and operator-like
expressions.
|
de.uka.ilkd.key.java.expression.operator.adt | |
de.uka.ilkd.key.java.visitor |
contains classes representing visitors traversing the tree
structure of Java programs.
|
de.uka.ilkd.key.rule.metaconstruct |
contains classes representing the meta constructs of
Taclet s. |
Class and Description |
---|
BinaryAnd
Binary and.
|
BinaryAndAssignment
Binary and assignment.
|
BinaryNot
Binary not.
|
BinaryOr
Binary or.
|
BinaryOrAssignment
Binary or assignment.
|
BinaryXOr
Binary X or.
|
BinaryXOrAssignment
Binary X or assignment.
|
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.
|
UnsignedShiftRight
Unsigned shift right.
|
UnsignedShiftRightAssignment
Unsigned shift right assignment.
|
Class and Description |
---|
BinaryOperator
Operator of arity 2
|
ComparativeOperator
Comparative operator.
|
TypeOperator
Type operator.
|
Class and Description |
---|
BinaryOperator
Operator of arity 2
|
Class and Description |
---|
BinaryAnd
Binary and.
|
BinaryAndAssignment
Binary and assignment.
|
BinaryNot
Binary not.
|
BinaryOr
Binary or.
|
BinaryOrAssignment
Binary or assignment.
|
BinaryXOr
Binary X or.
|
BinaryXOrAssignment
Binary X or assignment.
|
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.
|
UnsignedShiftRight
Unsigned shift right.
|
UnsignedShiftRightAssignment
Unsigned shift right assignment.
|
Class and Description |
---|
CopyAssignment
Copy assignment.
|
New
The object allocation operator.
|
NewArray
The array allocation operator.
|
Copyright © 2003-2019 The KeY-Project.