generate doc of IElevator and ElevatorExample