Examples of ReachabilityEdgeModel

Examples of org.woped.qualanalysis.reachabilitygraph.data.ReachabilityEdgeModel

93
94
95
96
97
98
99
100
101
102
103
104
                graph.getGraphLayoutCache().reload();
            }
        } else
            if (cell != null && cell instanceof ReachabilityEdgeModel) {
                deHighlightModel(false);
                ReachabilityEdgeModel edge = (ReachabilityEdgeModel) cell;
                ReachabilityPlaceModel place = (ReachabilityPlaceModel) ((ReachabilityPortModel) edge.getTarget())
                        .getParent();
                deHighlightEdges();
                highlightEdges(place);
                // set the virtual tokens for the current place(marking)
                setTokens(place);
View Full Code Here

Examples of org.woped.qualanalysis.reachabilitygraph.data.ReachabilityEdgeModel

178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
        if (lastHighlighted != null) {
            ReachabilityPortModel port = (ReachabilityPortModel) this.lastHighlighted.getChildAt(0);
       Set<ReachabilityEdgeModel> edges = port.getEdges();
            Iterator<ReachabilityEdgeModel> iterEdges = edges.iterator();
            while (iterEdges.hasNext()) {
                ReachabilityEdgeModel edge = iterEdges.next();
                if (edge.getSource().equals(port) || edge.getTarget().equals(port)) {
                    edge.setIngoing(false);
                    edge.setOutgoing(false);
                    editMap.put(edge, edge.getAttributes());
                }
            }
        }

        if (editMap.size() > 0) {
View Full Code Here

Examples of org.woped.qualanalysis.reachabilitygraph.data.ReachabilityEdgeModel

207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
        ReachabilityPortModel port = (ReachabilityPortModel) place.getChildAt(0);
     Set<ReachabilityEdgeModel> edges = port.getEdges();
        Iterator<ReachabilityEdgeModel> iterEdges = edges.iterator();
        Map<ReachabilityEdgeModel, AttributeMap> editMap = new HashMap<ReachabilityEdgeModel, AttributeMap>();
        while (iterEdges.hasNext()) {
            ReachabilityEdgeModel edge = iterEdges.next();
            edge.setOutgoing(false);
            edge.setIngoing(false);
            if (edge.getSource().equals(port)) {
                edge.setOutgoing(true);
                editMap.put(edge, edge.getAttributes());
            } else
                if (edge.getTarget().equals(port)) {
                    edge.setIngoing(true);
                    editMap.put(edge, edge.getAttributes());
                }
        }
        this.lastHighlighted = place;
        if (editMap.size() > 0) {
            graph.getGraphLayoutCache().edit(editMap, null, null, null);
View Full Code Here

Examples of org.woped.qualanalysis.reachabilitygraph.data.ReachabilityEdgeModel

26
27
28
29
30
31
32
33
34
35
36
37
38
    this.renderer = new ReachabilityEdgeRenderer();
    setLineColor(cell); 
  }
 
  public void setLineColor(Object cell){
    ReachabilityEdgeModel edge = (ReachabilityEdgeModel) cell;
    if (edge.getOutgoing())
      GraphConstants.setLineColor(edge.getAttributes(), OutgoiningColor);
    else if (edge.getIngoing()) 
      GraphConstants.setLineColor(edge.getAttributes(), IngoingColor);
    else
      GraphConstants.setLineColor(edge.getAttributes(), NormalColor);           
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.