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 IGuard |
KeYJavaASTFactory.lessThanArrayLengthGuard(JavaInfo model,
ProgramVariable variable,
ReferencePrefix array)
Create a condition that compares a variable and an array length using the
less than operator.
|
static IGuard |
KeYJavaASTFactory.lessThanGuard(Expression left,
Expression right)
Create a condition that compares two expressions using the less than
operator.
|
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 |
Guard |
Modifier and Type | Field and Description |
---|---|
protected IGuard |
LoopStatement.guard
Guard.
|
Modifier and Type | Method and Description |
---|---|
IGuard |
LoopStatement.getGuard()
Get guard.
|
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.