6. rafcontpp.view package

6.1. Submodules

6.2. rafcontpp.view.confirm_dialog module

class rafcontpp.view.confirm_dialog.ConfirmDialog(parent, content)

Bases: object

Just a little confirm dialog.

Parameters:

• parent – The parent window of the dialog.
• content – The text to display in the dialog.

destroy()

Destroys the dialog.

Returns:void

hide()

Hides the dialog.

Returns:void

show()

Displays the dialog on screen.

Returns:void

6.3. rafcontpp.view.pddl_action_tab module

class rafcontpp.view.pddl_action_tab.PddlActionTab(state)

Bases: object

PddlActionTabController PddlActionTabController, controlles the gui elements of the pddl action tab for each state. it handles the dataflow between this tab, and the semantic section of the state, where the data of this tab is stored in. It also provides some auto fill wizzard for its elements.

Parameters:state – the state, it belongs to.

_PddlActionTab__add_requirements_boxes(gtk_viewport)

Adds dynamically boxes for all requirements, specified in requ_list (above) to the gui.

Parameters:gtk_viewport – the base element, where to store the boxes in. Returns:{String: Gtk.CheckButton}: A dictionary, containing the information, which button box belongs to which requirement

_PddlActionTab__call_controller_auto_complete(button, pred_buf, types_buf, req_dict)

_PddlActionTab__copy_and_clear_old_dict(state)

This function migrates the old into the new dict format. :param state: The state of the tab. :return: void

_PddlActionTab__filter_input(input)

filters an input string, exactly: if it receives the string {} it makes it an empty string. Else it returns the original input.

Parameters:input – a string Returns:String: the filtered string

_PddlActionTab__get_pddl_action()

Takes the string of the pddl action tab action source view, and returns it as pddl action representation.

Returns:PddlActionRepresentation: The action, parsed as PddlActionRepresentation.

_PddlActionTab__load_from_semantic_section(is_library_state)

Loads the pddl data from the semantic section of the state and writes it into the action tab gui elements.

Parameters:is_library_state – true, if state is a library state. Returns:void

auto_save_check_buttons = []

auto_save_enabled = True

auto_save_semaphore = 0

init_tab()

Loads the data into the action tab and subscribes on signals of some gui elements.

Returns:Gtk.Box: The initiated action tab.

6.4. rafcontpp.view.planning_button module

rafcontpp.view.planning_button.__get_progress_text()

This method just decides between plural and singular.

Returns:String: The progress test.

rafcontpp.view.planning_button.__on_button_clicked(button)

Opens the planning setup form.

Returns:void

rafcontpp.view.planning_button.__on_show_menu(button)

Opens the drop-down menu, with all currently running tasks.

Returns:void

rafcontpp.view.planning_button.decrement_button()

The Plan Task button can be decremented, and then looks like: Plan Task (n) or just Plan Task, if n == 0 this method decrements the ‘n’, synchronized and also redraws the button thread save.

Returns:void

rafcontpp.view.planning_button.increment_button()

The Plan Task button can be incremented, and then looks like: Plan Task (n) this method increments the ‘n’, synchronized and also redraws the button thread save.

Returns:void

rafcontpp.view.planning_button.initialize()

6.5. rafcontpp.view.planning_setup_form module

class rafcontpp.view.planning_setup_form.PlanningSetupForm(datastore)

Bases: object

_PlanningSetupForm__call_controller_on_apply(button)

This function is needed, to get the data when method is called, and not old data from declaration time.

Parameters:button – Unused. Returns:void

_PlanningSetupForm__call_controller_on_destroy(button)

This function is needed, to get the data when method is called, and not old data from declaration time.

Parameters:button – Unused Returns:void

_PlanningSetupForm__call_controller_on_show_state_pool_info(button)

This function is needed, to get the data when method is called, and not old data from declaration time.

Parameters:button – Unused Returns:void

_PlanningSetupForm__get_entered_data()

Reads entered data from the planning setup form, and returns the raw values.

Returns:(String, String, String, String, String, String, Boolean, String, String, Boolean, String, String, Boolean): The raw values.

_PlanningSetupForm__init_drop_down(drop_down, script_path_chooser)

Initializes the planner drop down menu.

_PlanningSetupForm__string_array_to_string(list)

initialize()

initialize initiates the components with data present in the datastore, also it adds listeners for each part e.g. a file chooser.

Returns:void

6.6. rafcontpp.view.state_pool_info_window module

class rafcontpp.view.state_pool_info_window.StatePoolInfoWindow(parent)

Bases: object

The State Pool Infow Window is a info window displaying detailed information about the configured state pool(s) It for example shows the actions contained in the pools, the types used and the predicates available.

initializes the State Pool Info window.

Parameters:parent – the parent window. e.g. a Gtk.Dialog Returns:void

_StatePoolInfoWindow__list_to_multi_line_string(list)

Parameters:list – a list of elements Returns:String: A string with each element in a new line.

destroy()

destroys the dialog.

Returns:void

set_action_state_mapping(action_state_map)

Sets the action state mapping into the info window.

Parameters:action_state_map – a map, containing action names as key and state names as values. Returns:void

set_predicates(predicates)

Sets the predicates list as string into the info window.

Parameters:predicates – A list of predicate Strings. Returns:void

set_state_pools(state_pools)

Sets the statepools in the info window.

Parameters:statepools – a list containing all selected state pools. Returns:void

set_types(type_tree)

Sets the type tree into the info window.

Parameters:types – A type_tree. Returns:void

show()

shows the dialog.

Returns:void

6.7. Module contents