- /*
- * PURPOSE: Construct a new Elevator object
- *
- * REQUIRE: Nothing
- *
- * PROMISE: A new Elevator will be constructed
- */
- Elevator ();
-
- /*
- * PURPOSE: Tell the elevator to stop at the given floor,
- * PURPOSE: going in the given direction.
- *
- * REQUIRE: floor is a valid floor
- * REQUIRE: direction is a valid direction
- *
- * PROMISE: The elevator will stop at the floor when it gets there
- */
- void stop_at (int floor, enum direction _direction);
-
- /*
- * PURPOSE: The elevator will move 1/10th of a floor in the current
- * PURPOSE: direction.
- *
- * REQUIRE: Nothing
- *
- * PROMISE: The elevator will move if it has floors to stop at, otherwise
- * PROMISE: it will sit idle at its current place.
- */
- void move ();
+ Elevator (int elevator_number);
+ Elevator (int starting_floor, int elevator_number);