Package | Description |
---|---|
models | |
specifications | |
tests |
Modifier and Type | Class and Description |
---|---|
class |
Domino
|
class |
ObservableDomino
Wrapper for a
DominoSpecification that makes it Observable .This is a work-around Observable being an abstract class and not an interface
(a problem with the Java API design).It implements and extends the DominoSpecification behaviour with
a randomize method, which is added in order to allow the construction of a new random
DominoSpecification attribute without having to reconstruct the Observable object |
Modifier and Type | Field and Description |
---|---|
(package private) DominoSpecification |
ObservableDomino.domino |
Modifier and Type | Method and Description |
---|---|
DominoSpecification |
ObservableDomino.copy() |
DominoSpecification |
Domino.copy() |
Constructor and Description |
---|
Domino(DominoSpecification domino_to_copy)
A copy constructor - makes a new domino object which is a copy of the given domino
Tested by
JUnit_Domino.test_CopyConstructorOK() and JUnit_Domino.test_CopyConstructorKO() |
Modifier and Type | Method and Description |
---|---|
DominoSpecification |
DominoSpecification.copy()
Constructs a new domino using a copy of the left and right values of
this Tested by JUnit_DominoSpecification.test_copy() |
Modifier and Type | Field and Description |
---|---|
(package private) DominoSpecification |
JUnit_DominoSpecification.dominoUnderTest |
(package private) DominoSpecification |
JUnit_DominoSpecification.doubleMax |