Package org.woped.qualanalysis.reachabilitygraph.gui

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

32
33
34
35
36
37
38
39
  protected void init() {
    model = new DefaultGraphModel();
    view = new GraphLayoutCache(model, new ReachabilityGraphViewFactory());
    view.setAutoSizeOnValueChange(true);
    view.setSelectsAllInsertedCells(false);
    graph = new ReachabilityJGraph(model, view);
    graph.addMouseListener(new ReachabilityCellListener(graph, editor));
  }
View Full Code Here
307
308
309
310
311
312
313
314
 
  @SuppressWarnings("unused")
  private double calculateCM(){
    ReachabilityGraphModelUsingMarkingNet reach = new ReachabilityGraphModelUsingMarkingNet(editor);
    IMarkingNet net = reach.getMarkingNet();
    ReachabilityJGraph graph = reach.getGraph();
    return AbstractReachabilityGraphModel.edgeCount(graph)-AbstractReachabilityGraphModel.verticeCount(graph)+calculateStrongReaches(net);
  }
View Full Code Here
TOP

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

  • org.jgraph.graph.DefaultGraphModel
  • org.jgraph.graph.GraphModel
  • org.woped.metrics.metricsCalculation.MetricsCalculator
  • org.woped.qualanalysis.reachabilitygraph.data.AbstractReachabilityGraphModel
  • org.woped.qualanalysis.reachabilitygraph.data.ReachabilityPlaceModel
  • java.awt.geom.Rectangle2D
  • javax.swing.JScrollBar
    • 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.