|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
HasInvariant
, PaddleSpecification
JUnit_Paddle.testDefaultConstructor()
, which guarantees that the Paddle is
constructed in a safe state as specified by Paddle.invariant()
.
JUnit_Paddle.testNonDefaultConstructor()
, which guarantees that the Paddle is
constructed in a safe state as specified by Paddle.invariant()
.
RandomTest_Paddle
, which guarantees that the Paddle is
constructed in a safe state as specified by Paddle.invariant()
.
PaddleControllerAbstraction
KeyListener
RunnableViewablePaddle
View is PaddleView
Controller is PaddleController
NOTE: This is not intended as a good example of UI development in Java, it is intended only as
a good introduction to the MVC design patternPaddleMVC
and starts its execution PaddleViewSpecification
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |