class Roby::GUI::RelationsView
Plan
display that shows a snapshot of the event/task structure, as well as the events emitted within the last cycle
Attributes
history_widget[R]
scheduler_view[R]
ui[R]
view[R]
Public Class Methods
new(history_widget, parent = nil)
click to toggle source
In remote connections, this is he period between checking if there is data on the socket, in seconds
See connect
Calls superclass method
# File lib/roby/gui/relations_view.rb, line 23 def initialize(history_widget, parent = nil) super(parent) @ui = Ui::RelationsView.new ui.setupUi(self) @scheduler_view = SchedulerView.new(ui.scheduler_view_holder) @scheduler_view_layout = Qt::VBoxLayout.new(ui.scheduler_view_holder) @scheduler_view_layout.add_widget scheduler_view scheduler_view.show @history_widget = history_widget @view = RelationsCanvas.new([history_widget.current_plan]) ui.setupActions(self) ui.graphics.scene = view.scene resize 500, 500 end
Public Instance Methods
apply_options(options)
click to toggle source
# File lib/roby/gui/relations_view.rb, line 68 def apply_options(options) view.apply_options(options) end
save_options()
click to toggle source
# File lib/roby/gui/relations_view.rb, line 64 def save_options view.save_options end
setDisplayTime(time)
click to toggle source
# File lib/roby/gui/relations_view.rb, line 51 def setDisplayTime(time) scheduler_view.display(history_widget.current_plan.consolidated_scheduler_state) view.update(time) end
updateWindowTitle()
click to toggle source
Slot used to make the widget update its title when e.g. the underlying history widget changed its source
# File lib/roby/gui/relations_view.rb, line 42 def updateWindowTitle if parent_title = history_widget.window_title self.window_title = history_widget.window_title + ": Relations" else self.window_title = "roby-display: Relations" end end
update_display_time(time)
click to toggle source
# File lib/roby/gui/relations_view.rb, line 59 def update_display_time(time) scheduler_view.display(history_widget.current_plan.consolidated_scheduler_state) view.update(time) end
update_time_range(start_time, current_time)
click to toggle source
# File lib/roby/gui/relations_view.rb, line 57 def update_time_range(start_time, current_time) end