void elevator_system_drawer::draw_system(Wt::WPainter& painter, options_t const& options) { // boost::lock_guard< async_system_drawer > guard(*this); size_t Margin = 10; painter.save(); Wt::WPaintDevice* device = painter.device(); Wt::WLength dev_width = device->width(); Wt::WLength dev_height = device->height(); double pix_width = dev_width.toPixels() - 2 * Margin; double pix_height = dev_height.toPixels() - 2 * Margin; auto avail_aspect = pix_width / pix_height; if(avail_aspect > DisplayAspect) { pix_width = pix_height * DisplayAspect; } else { pix_height = pix_width / DisplayAspect; } auto x_margin = (dev_width.toPixels() - pix_width) / 2.0; auto y_margin = (dev_height.toPixels() - pix_height) / 2.0; painter.setViewPort( x_margin, y_margin, pix_width, pix_height ); painter.setWindow( 0.0, 0.0, pix_width, pix_height ); set_pixel_multiplier(pix_height); auto const& st = m_sys.m_state; const auto entry_width = get_entry_width(SizeFormat::Pixels); const auto exit_width = get_exit_width(SizeFormat::Pixels); const auto door_gap = get_door_gap_width(SizeFormat::Pixels); const auto elevator_width = get_elevator_width(SizeFormat::Pixels); // On floor side Wt::WRectF rc_all_on_floors( 0.0, 0.0, entry_width, pix_height ); draw_all_floors(painter, rc_all_on_floors); // Elevator shaft Wt::WRectF rc_shaft(entry_width + door_gap, 0.0, elevator_width, pix_height); draw_elevator(painter, rc_shaft); // Off floor side Wt::WRectF rc_all_off_floors( pix_width - exit_width, 0.0, exit_width, pix_height ); draw_all_floors(painter, rc_all_off_floors); // Queues draw_all_queues(painter, rc_all_on_floors); switch(m_stage) { case AnimationStage::Arrivals: draw_arrivals(painter, rc_all_on_floors); break; case AnimationStage::GettingOn: draw_getting_on(painter, rc_all_on_floors); break; case AnimationStage::GettingOff: draw_getting_off(painter, rc_all_off_floors); break; } ///// Wt::WFont font = painter.font(); font.setSize(30); painter.setFont(font); painter.drawText( Wt::WRectF(0.0, 0.0, 100.0, 30.0), Wt::AlignLeft | Wt::AlignTop, std::to_string((int)m_stage) + " / " + std::to_string(m_stage_step) ); ///// painter.restore(); reset_pixel_multiplier(); }