Package | Description |
---|---|
models | |
specifications | |
tools | |
views |
Modifier and Type | Method and Description |
---|---|
void |
Domino.randomize() |
void |
ObservableDomino.randomize(java.util.Random rng) |
void |
Domino.randomize(java.util.Random rng) |
void |
Domino.switchSides() |
Constructor and Description |
---|
Domino(int l,
int r)
Construct a domino from the given left and right values
Tested by JUnit_Domino.test_Constructor() and
JUnit_Domino.test_ConstructorException() |
Domino(java.util.Random rng)
Construct a valid random domino.
Tested by JUnit_Domino.test_RandomConstructor() . |
Modifier and Type | Method and Description |
---|---|
boolean |
DominoSpecification.invariant()
Should check that the left and right values are in allowed range
DominoSpecification.MIN .. |
void |
DominoSpecification.switchSides()
Swap the left and right values - to model flipping/switching the domino around.
|
Modifier and Type | Method and Description |
---|---|
void |
Randomizable.randomize()
update the state of the object in a random (safe) manner.
|
void |
Randomizable.randomize(java.util.Random rng)
update the state of the object in a random (safe) manner
|
Constructor and Description |
---|
DominoImages() |