Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.declaration |
Elements of the Java syntax tree representing declarations.
|
de.uka.ilkd.key.java.expression |
Elements of the Java syntax tree representing expressions.
|
de.uka.ilkd.key.java.expression.operator |
Elements of the Java syntax tree representing operators and operator-like
expressions.
|
de.uka.ilkd.key.java.reference |
Elements of the Java syntax tree representing implicit or explicit (named)
references to other program elements.
|
de.uka.ilkd.key.java.statement |
Elements of the Java syntax tree representing pure statements.
|
de.uka.ilkd.key.logic |
provides a representation for the term and sequent
structure.
|
de.uka.ilkd.key.logic.op |
contains the operators of
Term s. |
Modifier and Type | Method and Description |
---|---|
static ILoopInit |
KeYJavaASTFactory.loopInit(LoopInitializer init)
Create a loop initialization that consists of a single statement.
|
Modifier and Type | Class and Description |
---|---|
class |
LocalVariableDeclaration
Local variable declaration.
|
Modifier and Type | Interface and Description |
---|---|
interface |
ExpressionStatement
An ExpressionStatement is a statement that may appear as an expression.
|
Modifier and Type | Class and Description |
---|---|
class |
Assignment
An assignment is an operator with side-effects.
|
class |
ParenthesizedExpression
Redundant Parentheses.
|
class |
PassiveExpression
Marks an active statement as inactive.
|
Modifier and Type | Class and Description |
---|---|
class |
BinaryAndAssignment
Binary and assignment.
|
class |
BinaryOrAssignment
Binary or assignment.
|
class |
BinaryXOrAssignment
Binary X or assignment.
|
class |
CopyAssignment
Copy assignment.
|
class |
DivideAssignment
Divide assignment.
|
class |
MinusAssignment
Minus assignment.
|
class |
ModuloAssignment
Modulo assignment.
|
class |
New
The object allocation operator.
|
class |
PlusAssignment
Addition or string concatenation assignment "+=".
|
class |
PostDecrement
Post decrement.
|
class |
PostIncrement
Post increment.
|
class |
PreDecrement
Pre decrement.
|
class |
PreIncrement
Pre increment.
|
class |
ShiftLeftAssignment
Shift left assignment.
|
class |
ShiftRightAssignment
Shift right assignment.
|
class |
TimesAssignment
Times assignment.
|
class |
UnsignedShiftRightAssignment
Unsigned shift right assignment.
|
Modifier and Type | Class and Description |
---|---|
class |
MethodReference
Method reference.
|
Modifier and Type | Method and Description |
---|---|
ImmutableArray<LoopInitializer> |
LoopStatement.getInitializers()
Get initializers.
|
ImmutableArray<LoopInitializer> |
LoopInit.getInits() |
ImmutableArray<LoopInitializer> |
ILoopInit.getInits() |
Constructor and Description |
---|
For(LoopInitializer[] inits,
Expression guard,
Expression[] updates,
Statement body)
For.
|
LoopInit(LoopInitializer[] exprarr) |
LoopStatement(LoopInitializer[] inits,
Expression guard,
Expression[] updates,
Statement body)
Loop statement.
|
Constructor and Description |
---|
LoopInit(ImmutableArray<LoopInitializer> exprarr) |
Modifier and Type | Interface and Description |
---|---|
interface |
ProgramConstruct
A type that implement this interface can be used in all java
programs instead of an expression or statement.
|
Modifier and Type | Class and Description |
---|---|
class |
ProgramSV
Objects of this class are schema variables matching program constructs within
modal operators.
|
Modifier and Type | Method and Description |
---|---|
ImmutableArray<LoopInitializer> |
ProgramSV.getInits() |
Copyright © 2003-2019 The KeY-Project.