public class ProofManagementApi
extends java.lang.Object
Constructor and Description |
---|
ProofManagementApi(KeYEnvironment<?> env) |
Modifier and Type | Method and Description |
---|---|
ProofApi |
getLoadedProof() |
java.util.List<Contract> |
getProofContracts()
Retrieve a list of all available contracts
|
java.util.Set<java.lang.String> |
getRuleNames()
Constructs a set containing all names of a taclets that are registered
in the current environment.
|
Services |
getServices() |
ProofApi |
startProof(Contract contract) |
ProofApi |
startProof(ProofOblInput contract) |
public ProofManagementApi(KeYEnvironment<?> env)
public Services getServices()
public java.util.List<Contract> getProofContracts()
List
; can be null if no file was loaded before
(we should throw an exception here)public ProofApi startProof(ProofOblInput contract) throws ProofInputException
contract
- ProofInputException
public ProofApi startProof(Contract contract) throws ProofInputException
contract
- ProofInputException
public ProofApi getLoadedProof()
public java.util.Set<java.lang.String> getRuleNames()
The result is cached to speed up further calls.s
Copyright © 2003-2019 The KeY-Project.