public class ConsoleProofObligationSelector extends java.lang.Object implements ProofObligationSelector
Modifier and Type | Field and Description |
---|---|
protected java.util.List<Contract> |
contracts |
protected InitConfig |
initConfig |
private KeYMediator |
mediator |
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) |
private Proof |
findPreferablyClosedProof(ProofOblInput po) |
private void |
initializeContractsArray() |
protected void |
printAvailableProofObligations() |
private void |
printContract(int i) |
private int |
readContractNumber() |
private int |
readInt() |
private Contract |
selectContract() |
boolean |
selectProofObligation() |
public static final java.lang.String TAB
private KeYMediator mediator
protected InitConfig initConfig
protected ConsoleUserInterfaceControl ui
protected java.util.List<Contract> contracts
public ConsoleProofObligationSelector(ConsoleUserInterfaceControl ui, InitConfig initConfig)
private void initializeContractsArray()
protected void printAvailableProofObligations()
private void printContract(int i)
protected ProofOblInput createPOForSelectedContract()
protected void findOrStartProof(ProofOblInput po)
private Proof findPreferablyClosedProof(ProofOblInput po)
public boolean selectProofObligation()
selectProofObligation
in interface ProofObligationSelector
private Contract selectContract()
private int readContractNumber()
private int readInt() throws java.lang.NumberFormatException, java.io.IOException
java.lang.NumberFormatException
java.io.IOException