|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttests.JUnit_DirectionRequestButtonsOnFloors
public class JUnit_DirectionRequestButtonsOnFloors
Unit tests for DirectionRequestButtonsOnFloors
Constructor Summary | |
---|---|
JUnit_DirectionRequestButtonsOnFloors()
|
Method Summary | |||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
void |
setUp()
JUnit_DirectionRequestButtonsOnFloorspublic JUnit_DirectionRequestButtonsOnFloors()
setUp
tearDown
test_Down_presses_cancels
test_invariantDirectionRequestButtonsOnFloors.invariant() Tests that the constructor initialises the buttons in a safe state
test_noMoreRequestsAboveDirectionRequestButtonsOnFloors.noMoreRequestsAbove(int )
test_noMoreRequestsBelowDirectionRequestButtonsOnFloors.noMoreRequestsBelow(int )
test_toStringDirectionRequestButtonsOnFloors.toString()
test_Up_presses_cancels
|