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.java.visitor |
contains classes representing visitors traversing the tree
structure of Java programs.
|
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. |
de.uka.ilkd.key.proof.mgt |
This package contains classes for proof environments and proof management.
|
de.uka.ilkd.key.rule |
This package contains classes for implementing rules.
|
de.uka.ilkd.key.rule.metaconstruct |
contains classes representing the meta constructs of
Taclet s. |
de.uka.ilkd.key.speclang |
This package contains the specification language frontends of KeY.
|
de.uka.ilkd.key.speclang.jml | |
de.uka.ilkd.key.speclang.jml.translation | |
de.uka.ilkd.key.symbolic_execution | |
de.uka.ilkd.key.symbolic_execution.model | |
de.uka.ilkd.key.symbolic_execution.model.impl | |
de.uka.ilkd.key.testgen | |
de.uka.ilkd.key.util |
This package is a grab bag of miscellaneous useful code fragments.
|
Class and Description |
---|
Assert |
Branch
Branch.
|
Break
Break.
|
Case
Case.
|
Catch
Catch.
|
CatchAllStatement |
Ccatch
Ccatch.
|
Continue
Continue.
|
Default
Default.
|
Do
Do.
|
Else
Else.
|
EmptyStatement
Empty statement.
|
EnhancedFor
The new enhanced form of a for-loop.
|
Exec
Exec.
|
Finally
Finally.
|
For
For.
|
ForUpdates |
Guard |
If
If.
|
IForUpdates |
IGuard |
ILoopInit |
JavaStatement
Default implementation for non-terminal Java statements.
|
LabeledStatement
Labeled statement.
|
LoopInit |
LoopScopeBlock
Loop scope block.
|
MergePointStatement
A statement indicating a merge point.
|
MethodBodyStatement
A shortcut-statement for a method body, i.e.
|
MethodFrame
The statement inserted by KeY if a method call is executed.
|
Return
Return.
|
Switch
Switch.
|
SynchronizedBlock
Synchronized block.
|
Then
Then.
|
Throw
Throw.
|
TransactionStatement |
Try
Try.
|
While
While.
|
Class and Description |
---|
Branch
Branch.
|
BranchImp
Branch.
|
BranchStatement
Branch statement.
|
Else
Else.
|
ExpressionJumpStatement
Expression jump statement.
|
Guard |
IForUpdates |
IGuard |
ILoopInit |
JavaStatement
Default implementation for non-terminal Java statements.
|
JumpStatement
Jump statement.
|
LabelJumpStatement
Label jump statement.
|
LoopInit |
LoopStatement
Loop statement.
|
MethodFrame
The statement inserted by KeY if a method call is executed.
|
Then
Then.
|
Class and Description |
---|
Assert |
Break
Break.
|
Case
Case.
|
Catch
Catch.
|
CatchAllStatement |
Ccatch
Ccatch.
|
Continue
Continue.
|
Default
Default.
|
Do
Do.
|
Else
Else.
|
EmptyStatement
Empty statement.
|
EnhancedFor
The new enhanced form of a for-loop.
|
Exec
Exec.
|
Finally
Finally.
|
For
For.
|
ForUpdates |
Guard |
If
If.
|
LabeledStatement
Labeled statement.
|
LoopInit |
LoopScopeBlock
Loop scope block.
|
LoopStatement
Loop statement.
|
MergePointStatement
A statement indicating a merge point.
|
MethodBodyStatement
A shortcut-statement for a method body, i.e.
|
MethodFrame
The statement inserted by KeY if a method call is executed.
|
Return
Return.
|
Switch
Switch.
|
SynchronizedBlock
Synchronized block.
|
Then
Then.
|
Throw
Throw.
|
TransactionStatement |
Try
Try.
|
While
While.
|
Class and Description |
---|
Branch
Branch.
|
IForUpdates |
IGuard |
ILoopInit |
MethodFrame
The statement inserted by KeY if a method call is executed.
|
Class and Description |
---|
Branch
Branch.
|
IForUpdates |
IGuard |
ILoopInit |
Class and Description |
---|
LoopStatement
Loop statement.
|
MergePointStatement
A statement indicating a merge point.
|
Class and Description |
---|
JavaStatement
Default implementation for non-terminal Java statements.
|
While
While.
|
Class and Description |
---|
Break
Break.
|
Case
Case.
|
Catch
Catch.
|
Continue
Continue.
|
Default
Default.
|
Do
Do.
|
Else
Else.
|
EnhancedFor
The new enhanced form of a for-loop.
|
Finally
Finally.
|
For
For.
|
If
If.
|
JavaStatement
Default implementation for non-terminal Java statements.
|
LabeledStatement
Labeled statement.
|
LabelJumpStatement
Label jump statement.
|
LoopInit |
LoopStatement
Loop statement.
|
MethodFrame
The statement inserted by KeY if a method call is executed.
|
Return
Return.
|
Switch
Switch.
|
SynchronizedBlock
Synchronized block.
|
Then
Then.
|
Try
Try.
|
While
While.
|
Class and Description |
---|
JavaStatement
Default implementation for non-terminal Java statements.
|
LabeledStatement
Labeled statement.
|
LoopStatement
Loop statement.
|
MergePointStatement
A statement indicating a merge point.
|
Class and Description |
---|
LabeledStatement
Labeled statement.
|
LoopStatement
Loop statement.
|
MergePointStatement
A statement indicating a merge point.
|
Class and Description |
---|
LoopStatement
Loop statement.
|
MergePointStatement
A statement indicating a merge point.
|
Class and Description |
---|
MethodFrame
The statement inserted by KeY if a method call is executed.
|
While
While.
|
Class and Description |
---|
While
While.
|
Class and Description |
---|
While
While.
|
Class and Description |
---|
MethodBodyStatement
A shortcut-statement for a method body, i.e.
|
Class and Description |
---|
MethodFrame
The statement inserted by KeY if a method call is executed.
|
Copyright © 2003-2019 The KeY-Project.