tests
Class JUnit_FloorButtonsInElevator

java.lang.Object
  extended by tests.JUnit_FloorButtonsInElevator

public class JUnit_FloorButtonsInElevator
extends java.lang.Object

Unit tests for FloorButtonsInElevator

Version:
1
Author:
J Paul Gibson

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

Constructor Detail

JUnit_FloorButtonsInElevator

public JUnit_FloorButtonsInElevator()
Method Detail

setUp

Throws:
java.lang.Exception

tearDown

Throws:
java.lang.Exception

test_invariant

Unit test for FloorButtonsInElevator.invariant()


test_noMoreRequestsAbove

Unit test for FloorButtonsInElevator.noMoreRequestsAbove(int )


test_noMoreRequestsBelow

Unit test for FloorButtonsInElevator.noMoreRequestsBelow(int )


test_presses_cancels

Test for correct integration of:


test_toString

Unit test for FloorButtonsInElevator.toString()