de.uka.ilkd.key.ui

Class NIProofObligationSelector

java.lang.Object

de.uka.ilkd.key.ui.ConsoleProofObligationSelector

de.uka.ilkd.key.ui.NIProofObligationSelector

All Implemented Interfaces:

ProofObligationSelector

public class NIProofObligationSelector
extends ConsoleProofObligationSelector

weigl on 17.08.16.

Field Summary

Fields inherited from class de.uka.ilkd.key.ui.ConsoleProofObligationSelector

contracts, initConfig, TAB, ui

Constructor Summary

Constructors

Constructor and Description
NIProofObligationSelector(ConsoleUserInterfaceControl ui, InitConfig initConfig)

Method Summary

Modifier and Type	Method and Description
boolean	selectProofObligation()

Methods inherited from class de.uka.ilkd.key.ui.ConsoleProofObligationSelector

createPOForSelectedContract, findOrStartProof, printAvailableProofObligations

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NIProofObligationSelector

public NIProofObligationSelector(ConsoleUserInterfaceControl ui,
                                 InitConfig initConfig)

Method Detail

selectProofObligation

public boolean selectProofObligation()

Specified by:

selectProofObligation in interface ProofObligationSelector

Overrides:

selectProofObligation in class ConsoleProofObligationSelector