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 ILoopInit |
KeYJavaASTFactory.loopInit(LoopInitializer init)
Create a loop initialization that consists of a single statement.
|
static ILoopInit |
KeYJavaASTFactory.loopInitZero(KeYJavaType type,
IProgramVariable variable)
Create a loop initialization that declares and assigns zero to a local
variable.
|
Modifier and Type | Method and Description |
---|---|
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 |
LoopInit |
Modifier and Type | Field and Description |
---|---|
protected ILoopInit |
LoopStatement.inits
Inits.
|
Modifier and Type | Method and Description |
---|---|
ILoopInit |
LoopStatement.getILoopInit()
get the loop initializer as ILoopInit
|
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.