| javax.swing.JDialog de.uka.ilkd.key.gui.ClassInvariantSelectionDialog
ClassInvariantSelectionDialog | public class ClassInvariantSelectionDialog extends JDialog (Code) | | |
Method Summary | |
public ListOfClassInvariant | getClassInvariants() Returns the selected set of invariants. | public boolean | wasSuccessful() Tells whether the user clicked "ok". |
ClassInvariantSelectionDialog | public ClassInvariantSelectionDialog(String title, Set modelClasses, boolean useThroughoutInvs, ModelClass defaultClass)(Code) | | Creates and displays a dialog box asking the user to select a set of
invariants.
Parameters: modelClasses - the classes to choose invariants from |
getClassInvariants | public ListOfClassInvariant getClassInvariants()(Code) | | Returns the selected set of invariants.
|
wasSuccessful | public boolean wasSuccessful()(Code) | | Tells whether the user clicked "ok".
|
|
|