Examples of nz.ac.waikato.modeljunit.TransitionPair

nz.ac.waikato.modeljunit.TransitionPair
A transition pair is a pair of transitions (incoming,outgoing). They have the property that incoming.getEndState().equals(outgoing.getStartState()). (The constructor checks this and will throw an IllegalArgumentException if it is not true). @author marku

                Edge in = incoming.nextEdge();
                Transition inTrans = transition(in, model);
                for (EdgeIterator outgoing = model.incidentEdges(v, EdgeDirection.OUT); outgoing.hasNext();) {
                    Edge out = outgoing.nextEdge();
                    Transition outTrans = transition(out, model);
                    TransitionPair pair = new TransitionPair(inTrans, outTrans);
                    addItem(pair);
                }
            }
        }
        maxCoverage_ = coverage_.size();

View Full Code Here

    }


    @Override
    public void doneTransition(int action, Transition tr) {
        if (lastTransition_ != null && lastTransition_.getEndState().equals(tr.getStartState())) {
            TransitionPair pair = new TransitionPair(lastTransition_, tr);
            incrementItem(pair);
        }
        lastTransition_ = tr;
    }

View Full Code Here

TOP

Related Classes of nz.ac.waikato.modeljunit.TransitionPair

nz.ac.waikato.modeljunit.coverage.TransitionPairCoverage

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.