Package | Description |
---|---|
de.uka.ilkd.key.api |
This package gives an high-level entry point to the KeY world.
|
de.uka.ilkd.key.control | |
de.uka.ilkd.key.control.event | |
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.gui.actions | |
de.uka.ilkd.key.gui.testgen |
This package contains the graphical user interface of the test generation backend.
|
de.uka.ilkd.key.informationflow.macros | |
de.uka.ilkd.key.macros | |
de.uka.ilkd.key.macros.scripts |
Proof script commands are a simple proof automation facility.
|
de.uka.ilkd.key.smt.counterexample | |
de.uka.ilkd.key.smt.testgen | |
de.uka.ilkd.key.symbolic_execution.util | |
de.uka.ilkd.key.ui | |
de.uka.ilkd.key.util |
This package is a grab bag of miscellaneous useful code fragments.
|
org.key_project.ui.interactionlog | |
org.key_project.ui.interactionlog.model |
Class and Description |
---|
KeYEnvironment
Instances of this class are used to collect and access all
relevant information for verification with KeY.
|
Class and Description |
---|
AbstractProofControl
Provides a basic implementation of
ProofControl . |
AbstractUserInterfaceControl
Provides a basic implementation of
UserInterfaceControl . |
AutoModeListener |
DefaultProofControl
The default implementation of
ProofControl . |
DefaultUserInterfaceControl
The
DefaultUserInterfaceControl which allows proving in case
that no specific user interface is available. |
InteractionListener |
InteractionListener.SettingType |
KeYEnvironment
Instances of this class are used to collect and access all
relevant information for verification with KeY.
|
ProofControl
A
ProofControl provides the user interface independent logic to apply rules on a proof. |
RuleCompletionHandler
Instances of this class are used by an
AbstractProofControl to complete a Rule completion. |
TermLabelVisibilityManager |
UserInterfaceControl
Provides the user interface independent logic to manage multiple proofs.
|
Class and Description |
---|
TermLabelVisibilityManager |
Class and Description |
---|
AbstractUserInterfaceControl
Provides a basic implementation of
UserInterfaceControl . |
InteractionListener |
KeYEnvironment
Instances of this class are used to collect and access all
relevant information for verification with KeY.
|
RuleCompletionHandler
Instances of this class are used by an
AbstractProofControl to complete a Rule completion. |
TermLabelVisibilityManager |
UserInterfaceControl
Provides the user interface independent logic to manage multiple proofs.
|
Class and Description |
---|
TermLabelVisibilityManager |
Class and Description |
---|
UserInterfaceControl
Provides the user interface independent logic to manage multiple proofs.
|
Class and Description |
---|
UserInterfaceControl
Provides the user interface independent logic to manage multiple proofs.
|
Class and Description |
---|
UserInterfaceControl
Provides the user interface independent logic to manage multiple proofs.
|
Class and Description |
---|
AbstractUserInterfaceControl
Provides a basic implementation of
UserInterfaceControl . |
Class and Description |
---|
UserInterfaceControl
Provides the user interface independent logic to manage multiple proofs.
|
Class and Description |
---|
UserInterfaceControl
Provides the user interface independent logic to manage multiple proofs.
|
Class and Description |
---|
DefaultUserInterfaceControl
The
DefaultUserInterfaceControl which allows proving in case
that no specific user interface is available. |
KeYEnvironment
Instances of this class are used to collect and access all
relevant information for verification with KeY.
|
UserInterfaceControl
Provides the user interface independent logic to manage multiple proofs.
|
Class and Description |
---|
AbstractProofControl
Provides a basic implementation of
ProofControl . |
AbstractUserInterfaceControl
Provides a basic implementation of
UserInterfaceControl . |
ProofControl
A
ProofControl provides the user interface independent logic to apply rules on a proof. |
RuleCompletionHandler
Instances of this class are used by an
AbstractProofControl to complete a Rule completion. |
TermLabelVisibilityManager |
UserInterfaceControl
Provides the user interface independent logic to manage multiple proofs.
|
Class and Description |
---|
DefaultUserInterfaceControl
The
DefaultUserInterfaceControl which allows proving in case
that no specific user interface is available. |
KeYEnvironment
Instances of this class are used to collect and access all
relevant information for verification with KeY.
|
Class and Description |
---|
AutoModeListener |
InteractionListener |
InteractionListener.SettingType |
Class and Description |
---|
InteractionListener.SettingType |
Copyright © 2003-2019 The KeY-Project.