|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectmodels.Clock
public class Clock
Constructor Summary | |
---|---|
Clock()
|
|
Clock(int numberOfTicks)
|
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() |
java.lang.String |
toString()
Typical string format: Clock ticks = 0 |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Clock()
public Clock(int numberOfTicks) throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException
Method Detail |
---|
public int getTime()
ClockSpecification
JUnit_ClockSpecification.test_getTime()
getTime
in interface ClockSpecification
public boolean invariant()
ClockSpecification
JUnit_ClockSpecification.test_invariant()
invariant
in interface ClockSpecification
invariant
in interface HasInvariant
public void resetClock()
ClockSpecification
JUnit_ClockSpecification.test_resetClock()
resetClock
in interface ClockSpecification
public void setClock(int x) throws java.lang.IllegalArgumentException
ClockSpecification
tests.JUnit_ClockSpecification#test_setClock(int)
setClock
in interface ClockSpecification
java.lang.IllegalArgumentException
- when x is negativepublic void tick()
ClockSpecification
JUnit_ClockSpecification.test_tick()
tick
in interface ClockSpecification
public void tick(int x) throws java.lang.IllegalArgumentException
ClockSpecification
JUnit_ClockSpecification.test_tick_int()
tick
in interface ClockSpecification
x
- is the number of time units by which the clock should be incremented
java.lang.IllegalArgumentException
- when x is negativepublic java.lang.String toString()
Clock ticks = 0
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |