tests
Class JUnit_DirectionRequestButtonsOnFloors

java.lang.Object
  extended by tests.JUnit_DirectionRequestButtonsOnFloors

public class JUnit_DirectionRequestButtonsOnFloors
extends java.lang.Object

Unit tests for DirectionRequestButtonsOnFloors

Version:
1
Author:
J Paul Gibson

Constructor Summary
JUnit_DirectionRequestButtonsOnFloors()
           
 
Method Summary
 void setUp()
          
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JUnit_DirectionRequestButtonsOnFloors

public JUnit_DirectionRequestButtonsOnFloors()
Method Detail

setUp

Throws:
java.lang.Exception

tearDown

Throws:
java.lang.Exception

test_Down_presses_cancels

Test for correct integration of:


test_invariant

Unit test for DirectionRequestButtonsOnFloors.invariant()
Tests that the constructor initialises the buttons in a safe state


test_noMoreRequestsAbove

Unit test for DirectionRequestButtonsOnFloors.noMoreRequestsAbove(int )


test_noMoreRequestsBelow

Unit test for DirectionRequestButtonsOnFloors.noMoreRequestsBelow(int )


test_toString

Unit test for DirectionRequestButtonsOnFloors.toString()


test_Up_presses_cancels

Test for correct integration of: