Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
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 IForUpdates |
KeYJavaASTFactory.forUpdates(Expression update)
Create a list of loop updates that consists of a single expression.
|
static IForUpdates |
KeYJavaASTFactory.postIncrementForUpdates(ProgramVariable variable)
Create a loop update expression that post increments a given variable.
|
Modifier and Type | Method and Description |
---|---|
static For |
KeYJavaASTFactory.forLoop(IGuard guard,
IForUpdates updates,
Statement body)
Create a for loop with no initializer.
|
static For |
KeYJavaASTFactory.forLoop(IGuard guard,
IForUpdates updates,
Statement[] body)
Create a for loop with no initializer.
|
static For |
KeYJavaASTFactory.forLoop(ILoopInit init,
IGuard guard,
IForUpdates updates,
Statement... statements)
Create a for loop from the loop definition and an arbitrary number of
body statements.
|
Modifier and Type | Class and Description |
---|---|
class |
ForUpdates |
Modifier and Type | Field and Description |
---|---|
protected IForUpdates |
LoopStatement.updates
Updates.
|
Modifier and Type | Method and Description |
---|---|
IForUpdates |
LoopStatement.getIForUpdates()
Get updates as IForUpdates
|
Constructor and Description |
---|
For(ILoopInit inits,
IGuard guard,
IForUpdates updates,
Statement body) |
For(ILoopInit inits,
IGuard guard,
IForUpdates updates,
Statement body,
ExtList comments) |
For(ILoopInit inits,
IGuard guard,
IForUpdates updates,
Statement body,
ExtList comments,
PositionInfo pos) |
LoopStatement(ILoopInit inits,
IGuard guard,
IForUpdates updates,
Statement body)
Loop statement.
|
LoopStatement(ILoopInit inits,
IGuard guard,
IForUpdates updates,
Statement body,
ExtList comments)
Loop statement.
|
LoopStatement(ILoopInit inits,
IGuard guard,
IForUpdates updates,
Statement body,
ExtList comments,
PositionInfo pos) |
LoopStatement(ILoopInit inits,
IGuard guard,
IForUpdates updates,
Statement body,
PositionInfo pos)
Loop statement.
|
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.
|
Copyright © 2003-2019 The KeY-Project.