|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttests.JUnit_FloorButtonsInElevator
public class JUnit_FloorButtonsInElevator
Unit tests for FloorButtonsInElevator
Constructor Summary | |
---|---|
JUnit_FloorButtonsInElevator()
|
Method Summary | |||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
void |
setUp()
JUnit_FloorButtonsInElevatorpublic JUnit_FloorButtonsInElevator()
setUp
tearDown
test_invariantFloorButtonsInElevator.invariant()
test_noMoreRequestsAboveFloorButtonsInElevator.noMoreRequestsAbove(int )
test_noMoreRequestsBelowFloorButtonsInElevator.noMoreRequestsBelow(int )
test_presses_cancels
test_toStringFloorButtonsInElevator.toString()
|