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

Elements of the Java syntax tree representing expressions.

See: Description

Interface Summary

Interface	Description
ExpressionStatement	An ExpressionStatement is a statement that may appear as an expression.

Class Summary

Class	Description
ArrayInitializer	An ArrayInitializer is a valid expression exclusively for initializing ArrayTypes.
Assignment	An assignment is an operator with side-effects.
Literal	Literal.
Operator	Operator base class.
ParenthesizedExpression	Redundant Parentheses.
PassiveExpression	Marks an active statement as inactive.

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

Elements of the Java syntax tree representing expressions. The various operators and literals are bundled in the corresponding subpackages.