|
| |
|
| de.uka.ilkd.key.casetool.eclipse.MethodPOSelectionDialog
| MethodPOSelectionDialog | | public class MethodPOSelectionDialog extends Dialog (Code) | |
author:
Marius Hillenbrand |
| addInvariantsToPostCondition | | boolean addInvariantsToPostCondition(Code) | | |
| addInvariantsToPostConditionButton | | Button addInvariantsToPostConditionButton(Code) | | |
| allInvariants | | boolean allInvariants(Code) | | |
| allInvariantsButton | | Button allInvariantsButton(Code) | | |
| selectionOnOK | | IStructuredSelection selectionOnOK(Code) | | |
| viewer | | ListViewer viewer(Code) | | |
| MethodPOSelectionDialog | | public MethodPOSelectionDialog(Shell parentShell, Vector methodPOInput)(Code) | |
Parameters:
parentShell -
Parameters:
methodPOInput - the vector of possible proof obligations the user shall choose from |
| configureShell | | protected void configureShell(Shell newShell)(Code) | | |
| createDialogArea | | protected Control createDialogArea(Composite parent)(Code) | | |
| getSelectionOnOK | | public IStructuredSelection getSelectionOnOK()(Code) | | Returns the selectionOnOK. |
| isAddInvariantsToPostConditionSelected | | public boolean isAddInvariantsToPostConditionSelected()(Code) | | Returns the addInvariantsToPostCondition. |
| isAllInvariantsSelected | | public boolean isAllInvariantsSelected()(Code) | | Returns the allInvariants. |
| okPressed | | protected void okPressed()(Code) | | |
|
|
|