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 |
ExactInstanceof
Instanceof.
|
class |
Instanceof
Instanceof.
|
class |
New
The object allocation operator.
|
class |
NewArray
The array allocation operator.
|
class |
TypeCast
Type cast.
|
Copyright © 2003-2019 The KeY-Project.