| proofVisualization.views.ModelSelectionDialog
| ModelSelectionDialog | | public class ModelSelectionDialog extends SelectionDialog implements Listener(Code) | | |
| Inner Class :class ExecutionTraceLabelProvider extends LabelProvider implements ITableLabelProvider | |
| create | | public void create()(Code) | | |
| createDialogArea | | protected Control createDialogArea(Composite container)(Code) | | |
| getTableStyle | | protected int getTableStyle()(Code) | | |
| handleEvent | | public void handleEvent(Event e)(Code) | | |
| okPressed | | protected void okPressed()(Code) | | |
|
|