junit.quilt.cover.state
Class SimpleStateMachine

java.lang.Object
  |
  +--junit.quilt.framework.QuiltCollectorImpl
        |
        +--junit.quilt.cover.state.SimpleStateMachine

All Implemented Interfaces:

QuiltCollector, StateMachineCollector

public class SimpleStateMachine

extends QuiltCollectorImpl

implements StateMachineCollector

Fields inherited from interface junit.quilt.framework.QuiltCollector

BRANCH_COVERAGE, LOOP_COVERAGE, PATH_COVERAGE, RELATIONAL_COVERAGE, STATEMENT_COVERAGE

Constructor Summary

SimpleStateMachine(java.lang.String sourcefile, int numStates)

Method Summary

void	addState(int state, BlockVertex bv)
void	addTransition(int start, int end)
void	reset() reset This method is called when the coverage should be reset.
void	start()
void	visit(int state)

Methods inherited from class junit.quilt.framework.QuiltCollectorImpl

addSegment, findCovered, findUncovered, getAll, getCapabilities, getCovered, getSummary, getUncovered, removeSegment

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SimpleStateMachine

public SimpleStateMachine(java.lang.String sourcefile,
                          int numStates)

Method Detail

visit

public void visit(int state)

Specified by:

visit in interface StateMachineCollector

addState

public void addState(int state,
                     BlockVertex bv)

addTransition

public void addTransition(int start,
                          int end)

start

public void start()

Specified by:

start in interface StateMachineCollector

reset

public void reset()

Description copied from interface: QuiltCollector

reset This method is called when the coverage should be reset.