| |
|
| javax.swing.JDialog de.uka.ilkd.key.gui.DefaultContractConfigurator
DefaultContractConfigurator | public DefaultContractConfigurator(String title, JFrame parent)(Code) | | |
allowConfiguration | public void allowConfiguration(boolean allowConfig)(Code) | | |
clear | public void clear()(Code) | | |
getPostInvariants | public ListOfClassInvariant getPostInvariants()(Code) | | |
getPreInvariants | public ListOfClassInvariant getPreInvariants()(Code) | | |
setPostInvs | public void setPostInvs(ListOfClassInvariant postInvs)(Code) | | |
setPreInvs | public void setPreInvs(ListOfClassInvariant preInvs)(Code) | | |
setProgramMethods | public void setProgramMethods(ListOfProgramMethod pm)(Code) | | |
start | public void start()(Code) | | |
updateDisplay | public void updateDisplay()(Code) | | |
wasSuccessful | public boolean wasSuccessful()(Code) | | |
|
|
|