Package org.woped.editor.controller

Examples of org.woped.editor.controller.WoPeDJGraph

237
238
239
240
241
242
243
244
245
246
247
    this.m_clipboard = clipboard;
 
    marqueehandler = new PetriNetMarqueeHandler(this, mediator);
    this.modelProcessor = new PetriNetModelProcessor();
    if (loadUI)
      this.m_graph = new WoPeDJGraph(new WoPeDJGraphGraphModel(this),
          marqueehandler,
          undoSupport ? new WoPeDUndoManager(this) : null,
              viewFactory);

    editorPanel = new EditorPanel(this, mediator, m_propertyChangeSupport, loadUI);
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
        originalGraph = editorInterface.getGraph();
        this.editor = editor2;
        v = new PannerViewfinder(this, scrollPane.getViewport());
        GraphLayoutCache view = new ViewRedirector(editorInterface.getGraph().getGraphLayoutCache());

        graph = new WoPeDJGraph((WoPeDJGraphGraphModel) editorInterface.getGraph().getModel(),
          editorInterface.getGraph().getMarqueeHandler(),
          editor2.viewFactory);
       
        graph.setModel(editorInterface.getGraph().getModel());
        graph.setGraphLayoutCache(view);
View Full Code Here
TOP

Related Classes of org.woped.editor.controller.WoPeDJGraph

  • org.jgraph.graph.Edge
  • org.jgraph.graph.ParentMap
  • org.woped.core.model.ArcModel
  • org.woped.core.model.petrinet.AbstractPetriNetElementModel
  • org.woped.core.model.petrinet.GroupModel
  • org.woped.editor.controller.vc.EditorVC
  • org.woped.editor.gui.EditorToolTip
  • org.woped.editor.gui.OverviewPanel
  • java.awt.Dimension
    • 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.