Package nz.ac.waikato.jdsl.graph.api

Examples of nz.ac.waikato.jdsl.graph.api.Edge.element()

539
540
541
542
543
544
545
546
547
548
549
    // see if fsmGraph already contains this edge.
    boolean present = false;
    EdgeIterator edges = fsmGraph.connectingEdges(oldVertex, newVertex);
    while (edges.hasNext()) {
      Edge edge = edges.nextEdge();
      if (edge.element().equals(actionName)
          && fsmGraph.origin(edge) == oldVertex
          && fsmGraph.destination(edge) == newVertex) {
        present = true;
        break;
      }
View Full Code Here
640
641
642
643
644
645
646
647
648
649
650
    EdgeIterator edges = fsmGraph.edges();
    while (edges.hasNext()) {
      Edge e = edges.nextEdge();
      Object origin = fsmGraph.origin(e).element();
      Object dest = fsmGraph.destination(e).element();
      String action = (String) e.element();
      output.println("  "+stateName(origin)+" -> "+stateName(dest)
          +"  [label=\""+action+"\"];");
    }
    output.println("}");
    output.close();
View Full Code Here
341
342
343
344
345
346
347
348
349
350
351
      EdgeIterator itr = finder.reportPath();
      while (itr.hasNext()) {
        Edge e = itr.nextEdge();
        Object s = graph.origin(e).element();
        Object d = graph.destination(e).element();
        String action = (String) e.element();
        Transition trans = new Transition(s, action, d);
        path.add(trans);
      }
      return path;
    }
View Full Code Here
219
220
221
222
223
224
225
226
227
228
229
    // TODO: iterate only over the nodes out of this state
    while (edges.hasNext()) {
      Edge e = edges.nextEdge();
      Object origin = fsmGraph.origin(e).element();
      Object dest = fsmGraph.destination(e).element();
      String actionName = (String) e.element();
      int actionNum = model_.getActionNumber(actionName);
      if (origin.equals(state)) {
        Transition tr = new Transition(origin, (String) e.element(), dest);
        Integer takenBefore = transitions_.getDetails().get(tr);
        if (takenBefore == null) {
View Full Code Here
222
223
224
225
226
227
228
229
230
231
232
      Object origin = fsmGraph.origin(e).element();
      Object dest = fsmGraph.destination(e).element();
      String actionName = (String) e.element();
      int actionNum = model_.getActionNumber(actionName);
      if (origin.equals(state)) {
        Transition tr = new Transition(origin, (String) e.element(), dest);
        Integer takenBefore = transitions_.getDetails().get(tr);
        if (takenBefore == null) {
          // This means that the transitions_ coverage is less accurate
          // than the graph_ coverage, probably because they were added
          // at different times.
View Full Code Here
56
57
58
59
60
61
62
63
64
65
    public void setGraph(InspectableGraph model, Map<Object, Vertex> state2vertex) {
        // TODO: this will not be needed once model_ is never null.

        for (EdgeIterator iter = model.edges(); iter.hasNext();) {
            Edge e = iter.nextEdge();
            addItem(e.element()); // get the FSM state object.
        }
        maxCoverage_ = coverage_.size();
    }
}
View Full Code Here
187
188
189
190
191
192
193
194
195
196
197
                dest = (VertexInfo) vertices.get(graph.getGraph().destination(e).element());
            }
            g.addVertex(dest);
            vertices.put(dest.getName(), dest);

            Transition action = new Transition(src.getName(), (String) e.element(), dest.getName());
            EdgeInfo edge = new EdgeInfo(action, src, dest);
            g.addEdge(edge, src, dest);
            edges.put(action, edge);

            edge.getSrcVertex().setOutgoingEdges(edge.getSrcVertex().getOutgoingEdges() + 1);
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
    public void setGraph(InspectableGraph model, Map<Object, Vertex> state2vertex) {
        for (EdgeIterator iter = model.edges(); iter.hasNext();) {
            Edge e = iter.nextEdge();
            Object origin = model.origin(e).element();
            Object dest = model.destination(e).element();
            String action = (String) e.element();
            Transition tr = new Transition(origin, action, dest);
            addItem(tr);
        }
        maxCoverage_ = coverage_.size();
    }
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.