public class ConsoleProofObligationSelector extends java.lang.Object implements ProofObligationSelector
Modifier and Type | Field and Description |
---|---|
protected java.util.List<Contract> |
contracts |
protected InitConfig |
initConfig |
static java.lang.String |
TAB |
protected ConsoleUserInterfaceControl |
ui |
Constructor and Description |
---|
ConsoleProofObligationSelector(ConsoleUserInterfaceControl ui,
InitConfig initConfig) |
Modifier and Type | Method and Description |
---|---|
protected ProofOblInput |
createPOForSelectedContract() |
protected void |
findOrStartProof(ProofOblInput po) |
protected void |
printAvailableProofObligations() |
boolean |
selectProofObligation() |
public static final java.lang.String TAB
protected InitConfig initConfig
protected ConsoleUserInterfaceControl ui
protected java.util.List<Contract> contracts
public ConsoleProofObligationSelector(ConsoleUserInterfaceControl ui, InitConfig initConfig)
protected void printAvailableProofObligations()
protected ProofOblInput createPOForSelectedContract()
protected void findOrStartProof(ProofOblInput po)
public boolean selectProofObligation()
selectProofObligation
in interface ProofObligationSelector
Copyright © 2003-2019 The KeY-Project.