JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes
A
B
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
U
V
W
I
IMAGE_HEIGHT
- Static variable in class views.
DominoImages
IMAGE_WIDTH
- Static variable in class views.
DominoImages
IMAGES_DIRECTORY
- Static variable in class views.
DominoImages
instance()
- Static method in class views.
DominoImages
invariant()
- Method in class models.
Domino
invariant()
- Method in class models.
ObservableDomino
INVARIANT
- Static variable in interface specifications.
DominoSpecification
The class invariant checks that the MAX value is bigger than the MIN value
NOTE:
Should NOT be changed
invariant()
- Method in interface specifications.
DominoSpecification
Should check that the left and right values are in allowed range
DominoSpecification.MIN
..
invariant()
- Method in interface tools.
HasInvariant
invariant()
- Method in class views.
DominoImages
InvariantBrokenException
- Exception in
tools
InvariantBrokenException
is raised when the invariant of a class is not true in the current state of the instance (corresponding to an invalid or unsafe state)
InvariantBrokenException(String)
- Constructor for exception tools.
InvariantBrokenException
Constructor of the exception raised when invariants are broken
A
B
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
U
V
W
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes