|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttests.JUnit_ClockSpecification
public abstract class JUnit_ClockSpecification
Unit tests for ClockSpecification
Constructor Summary | |
---|---|
JUnit_ClockSpecification()
|
Method Summary | |||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
abstract void |
setUp()
JUnit_ClockSpecificationpublic JUnit_ClockSpecification()
setUp
tearDown
test_getTimeClockSpecification.getTime()
test_invariantClockSpecification.invariant()
test_resetClockClockSpecification.resetClock()
test_setClock_exceptionexception case when argument is negative
test_setClockClockSpecification.setClock(int )
test_tick_int_exceptionexception case when argument is negative
test_tick_intClockSpecification.tick(int )
test_tickClockSpecification.tick()
|