|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ClockSpecification
A clock used to count time increments
Tested by JUnit_ClockSpecification
Method Summary | |
---|---|
int |
getTime()
Tested by JUnit_ClockSpecification.test_getTime() |
boolean |
invariant()
Tested by JUnit_ClockSpecification.test_invariant() |
void |
resetClock()
Set the clock timer to 0 Tested by JUnit_ClockSpecification.test_resetClock() |
void |
setClock(int x)
Set the clock to a specific value Tested by tests.JUnit_ClockSpecification#test_setClock(int) |
void |
tick()
Increment the clock by 1 unit Tested by JUnit_ClockSpecification.test_tick() |
void |
tick(int x)
Increment the clock Tested by JUnit_ClockSpecification.test_tick_int() |
Method Detail |
---|
int getTime()
JUnit_ClockSpecification.test_getTime()
boolean invariant()
JUnit_ClockSpecification.test_invariant()
invariant
in interface HasInvariant
void resetClock()
JUnit_ClockSpecification.test_resetClock()
void setClock(int x) throws java.lang.IllegalArgumentException
tests.JUnit_ClockSpecification#test_setClock(int)
x
-
java.lang.IllegalArgumentException
- when x is negativevoid tick()
JUnit_ClockSpecification.test_tick()
void tick(int x) throws java.lang.IllegalArgumentException
JUnit_ClockSpecification.test_tick_int()
x
- is the number of time units by which the clock should be incremented
java.lang.IllegalArgumentException
- when x is negative
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |