Package org.woped.qualanalysis.reachabilitygraph.gui

Examples of org.woped.qualanalysis.reachabilitygraph.gui.ReachabilityGraphVC

190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
    private void deHighlightRG() {
        ReferenceProvider refer = new ReferenceProvider();
        Object[] a = refer.getDesktopReference().getComponents();
        for (int i = 0; i < refer.getDesktopReference().getComponentCount(); i++) {
            if (a[i] instanceof ReachabilityGraphVC) {
                ReachabilityGraphVC rvc = (ReachabilityGraphVC) a[i];

                if (rvc.hasEditor(thisEditor)) {
                    rvc.setUnselectButtonEnabled(thisEditor, false);
                    ((ReachabilityJGraph) rvc.getJGraph(thisEditor)).deHighlight();
                }
                break;
            }
        }
    }
View Full Code Here
306
307
308
309
310
311
312
313
314
315
316
317
318
            ParentControl = new ReferenceProvider();
        }
        Object[] a = ParentControl.getDesktopReference().getComponents();
        for (int i = 0; i < ParentControl.getDesktopReference().getComponentCount(); i++) {
            if (a[i] instanceof ReachabilityGraphVC) {
                ReachabilityGraphVC rvc = (ReachabilityGraphVC) a[i];
                if (rvc.hasEditor(thisEditor)) {
                    ((ReachabilityJGraph) rvc.getJGraph(thisEditor)).highlightMarking(mark);
                }
                break;
            }
        }
    }
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
        if(editor.isTokenGameEnabled()){
          ReachabilityWarning.showReachabilityWarning(desktop, "QuanlAna.ReachabilityGraph.SimulationWarning");
          return;
        }
        JInternalFrame edit = desktop.getSelectedFrame();
        ReachabilityGraphVC toAdd = ReachabilityGraphVC.getInstance(dui);
        if(!desktop.isAncestorOf(toAdd)){
          rg_listener = new ReachabilityGraphVCListener(toAdd, mediator);
          edit.addInternalFrameListener(rg_listener);
          desktop.add(toAdd);
        } else {
          if(!hasAlreadyListener(edit, rg_listener)){
            edit.addInternalFrameListener(rg_listener);
          }
        }
        toAdd.setVisible(true);
        toAdd.validate();
        try { // to activate the JInternalFrame
          toAdd.setSelected(true);
        } catch (PropertyVetoException e) { //  if some component does not like this
          toAdd.moveToFront(); // then move it to front without activating
        }
        if(editor.isReachabilityEnabled()){ // is editor already added to RGVC ??
          toAdd.updatePanelsVisibility(editor);
        } else {
          toAdd.addEditor(editor);
          toAdd.refreshGraph(AbstractReachabilityGraphModel.HIERARCHIC);
        }
//        dui.getToolBar().getReachabilityGraphButton().setEnabled(false);
      }
    }
    LoggerManager.debug(Constants.QUALANALYSIS_LOGGER, "<- processViewEvent " + this.getClass().getName());
View Full Code Here
TOP

Related Classes of org.woped.qualanalysis.reachabilitygraph.gui.ReachabilityGraphVC

  • org.woped.qualanalysis.reachabilitygraph.controller.ReachabilityGraphEventProcessor
  • org.woped.qualanalysis.simulation.TokenGameController
  • java.awt.Dimension
  • java.awt.GridLayout
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.