← Back to branch summary

~yrke/tapaal/tapaal-DatalayerClenup

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/CTLQueryDialog.java

  • Committer: Jiri Srba
  • Date: 2018-08-01 12:22:25 UTC
  • mfrom: (965.2.1 tapaal)
  • Revision ID: srba@cs.aau.dk-20180801122225-v4ss5htn4bd0cjdt
merged in branch lp:~tapaal-contributor/tapaal/Remove-ExportPNXML-button-1718642 removing Export PNXML button from CTL query dialog (this is now possible from Export menu in File)

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/CTLQueryDialog.java
314
314
        private final static String TOOL_TIP_SAVE_UPPAAL_BUTTON = "Export an xml file that can be opened in UPPAAL GUI.";
315
315
        private final static String TOOL_TIP_SAVE_COMPOSED_BUTTON = "Export an xml file of composed net and approximated net if enabled";
316
316
        private final static String TOOL_TIP_SAVE_TAPAAL_BUTTON = "Export an xml file that can be used as input for the TAPAAL engine.";
317
 
        private final static String TOOL_TIP_SAVE_PN_BUTTON = "Export an xml file that can be used as input for the untimed Petri net engine.";
318
317
        
319
318
        //Tool tips for approximation panel
320
319
        private final static String TOOL_TIP_APPROXIMATION_METHOD_NONE = "No approximation method is used.";
1106
1105
                Point location = guiDialog.getLocation();
1107
1106
                searchOptionsPanel.setVisible(advancedView);
1108
1107
                reductionOptionsPanel.setVisible(advancedView);
1109
 
                saveUppaalXMLButton.setVisible(advancedView);
 
1108
                if(getReductionOption() != ReductionOption.VerifyPN)
 
1109
                        saveUppaalXMLButton.setVisible(advancedView);
1110
1110
                openComposedNetButton.setVisible(advancedView);
1111
1111
                
1112
1112
                if(advancedView){
2317
2317
 
2318
2318
        private void refreshExportButtonText() {
2319
2319
                ReductionOption reduction = getReductionOption();
2320
 
                if (reduction == null) {saveUppaalXMLButton.setEnabled(false);}
 
2320
                if (reduction == null || reduction == ReductionOption.VerifyPN) {saveUppaalXMLButton.setEnabled(false);}
2321
2321
                else {
2322
 
                        saveUppaalXMLButton.setText(reduction == ReductionOption.VerifyTAPN || reduction == ReductionOption.VerifyTAPNdiscreteVerification ? EXPORT_VERIFYTAPN_BTN_TEXT : reduction == ReductionOption.VerifyPN ? EXPORT_VERIFYPN_BTN_TEXT : EXPORT_UPPAAL_BTN_TEXT);
2323
 
                        saveUppaalXMLButton.setToolTipText(reduction == ReductionOption.VerifyTAPN || reduction == ReductionOption.VerifyTAPNdiscreteVerification ? TOOL_TIP_SAVE_TAPAAL_BUTTON : reduction == ReductionOption.VerifyPN ? TOOL_TIP_SAVE_PN_BUTTON : TOOL_TIP_SAVE_UPPAAL_BUTTON);
 
2322
                        saveUppaalXMLButton.setText(reduction == ReductionOption.VerifyTAPN || reduction == ReductionOption.VerifyTAPNdiscreteVerification ? EXPORT_VERIFYTAPN_BTN_TEXT : EXPORT_UPPAAL_BTN_TEXT);
 
2323
                        saveUppaalXMLButton.setToolTipText(reduction == ReductionOption.VerifyTAPN || reduction == ReductionOption.VerifyTAPNdiscreteVerification ? TOOL_TIP_SAVE_TAPAAL_BUTTON : TOOL_TIP_SAVE_UPPAAL_BUTTON);
2324
2324
                        saveUppaalXMLButton.setEnabled(true);
2325
2325
                }
2326
2326
        }