def __init__(self):
View.__init__(self)
self.inputs_view = LinkageOverviewDataView()
self.outputs_view = LinkageOverviewDataView()
self.scope_view = LinkageOverviewDataView()
self.outcomes_view = LinkageOverviewLogicView()
self['inputs_scroller'].add(self.inputs_view.get_top_widget())
self['outputs_scroller'].add(self.outputs_view.get_top_widget())
self['scoped_scroller'].add(self.scope_view.get_top_widget())
self['outcomes_scroller'].add(self.outcomes_view.get_top_widget())
self.inputs_view.scrollbar_widget = self['inputs_scroller']
self.outputs_view.scrollbar_widget = self['outputs_scroller']
self.scope_view.scrollbar_widget = self['scoped_scroller']
self.outcomes_view.scrollbar_widget = self['outcomes_scroller']
gui_helper_label.set_label_markup(
self['data_linkage_label'],
'DATA LINKAGE',
letter_spacing=constants.LETTER_SPACING_1PT)
gui_helper_label.set_label_markup(
self['logical_linkage_label'],
'LOGICAL LINKAGE',
letter_spacing=constants.LETTER_SPACING_1PT)
def set_menu_item_icon(self, menu_item_name, uni_code=None):
menu_item = self[menu_item_name]
if uni_code is not None:
label = gtk.Label()
set_label_markup(label, '&#x' + uni_code + ';',
font=constants.ICON_FONT, font_size=constants.FONT_SIZE_BIG)
menu_item.set_image(label)
menu_item.set_always_show_image(True)
def __init__(self):
View.__init__(self)
gui_helper_label.set_label_markup(self['transitions_label'], 'TRANSITIONS',
letter_spacing=constants.LETTER_SPACING_1PT)
self.transitions_listView = StateTransitionsListView()
self['transitions_scroller'].add(self.transitions_listView.get_top_widget())
self.transitions_listView.scrollbar_widget = self['transitions_scroller']
self['internal_t_checkbutton'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['connected_to_t_checkbutton'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['add_t_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['remove_t_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
def create_tab_close_button(callback, *additional_parameters):
close_label = Gtk.Label()
set_label_markup(close_label,
constants.BUTTON_CLOSE,
is_icon=True,
size=constants.FONT_SIZE_SMALL)
close_button = Gtk.Button()
close_button.set_size_request(width=constants.GRID_SIZE * 3, height=-1)
close_button.set_relief(Gtk.ReliefStyle.NONE)
Gtk.Widget.set_focus_on_click(close_button, True)
close_button.add(close_label)
close_button.connect('released', callback, *additional_parameters)
return close_button
def create_button(toggle, font_size, icon_code, release_callback=None, *additional_parameters):
if toggle:
button = Gtk.ToggleButton()
else:
button = Gtk.Button()
button.set_relief(Gtk.ReliefStyle.NONE)
Gtk.Widget.set_focus_on_click(button, True)
button.set_size_request(width=constants.GRID_SIZE*3, height=-1)
label = Gtk.Label()
set_label_markup(label, icon_code, is_icon=True, size=font_size)
button.add(label)
if release_callback:
button.connect('released', release_callback, *additional_parameters)
return button
def __init__(self):
View.__init__(self)
gui_helper_label.set_label_markup(
self['data_flows_label'],
'DATA FLOWS',
letter_spacing=constants.LETTER_SPACING_1PT)
self.data_flows_listView = StateDataFlowsListView()
self['dataflows_scroller'].add(
self.data_flows_listView.get_top_widget())
self.data_flows_listView.scrollbar_widget = self['dataflows_scroller']
self['internal_d_checkbutton'].set_border_width(
constants.BUTTON_BORDER_WIDTH)
self['connected_to_d_checkbutton'].set_border_width(
constants.BUTTON_BORDER_WIDTH)
self['add_d_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['remove_d_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
def set_font_description():
set_label_markup(layout, symbol, is_icon=True, size=font_size)
def __init__(self):
View.__init__(self)
self.page_dict = {}
self.notebook_names = ['main_notebook_1', 'main_notebook_2']
gui_helper_label.set_label_markup(self['data_ports_label'], 'DATA PORTS',
letter_spacing=constants.LETTER_SPACING_1PT)
self.properties_view = StateOverviewView()
self.inputs_view = InputPortsListView()
self.outputs_view = OutputPortsListView()
self.scopes_view = ScopedVariablesListView()
self.outcomes_view = StateOutcomesEditorView()
self.source_view = SourceEditorView()
self.transitions_view = StateTransitionsEditorView()
self.data_flows_view = StateDataFlowsEditorView()
self.linkage_overview = LinkageOverviewView()
self.description_view = DescriptionEditorView()
self.semantic_data_view = SemanticDataEditorView()
self['properties_viewport'].add(self.properties_view.get_top_widget())
self['input_ports_scroller'].add(self.inputs_view.get_top_widget())
self['output_ports_scroller'].add(self.outputs_view.get_top_widget())
self['scoped_variables_scroller'].add(self.scopes_view.get_top_widget())
self['outcomes_viewport'].add(self.outcomes_view.get_top_widget())
self['source_viewport'].add(self.source_view.get_top_widget())
self['transitions_viewport'].add(self.transitions_view.get_top_widget())
self['data_flows_viewport'].add(self.data_flows_view.get_top_widget())
self['linkage_overview_viewport'].add(self.linkage_overview.get_top_widget())
self['description_viewport'].add(self.description_view.get_top_widget())
self['semantic_data_viewport'].add(self.semantic_data_view.get_top_widget())
self.inputs_view.scrollbar_widget = self['input_ports_scroller']
self.outputs_view.scrollbar_widget = self['output_ports_scroller']
self.scopes_view.scrollbar_widget = self['scoped_variables_scroller']
self['description_text_view'] = self.description_view.textview
self['description_scroller'] = self.description_view.scrollable
self['main_notebook_1'].set_tab_hborder(constants.TAB_BORDER_WIDTH * 2)
self['main_notebook_1'].set_tab_vborder(constants.TAB_BORDER_WIDTH * 3)
self['main_notebook_2'].set_tab_hborder(constants.TAB_BORDER_WIDTH * 2)
self['main_notebook_2'].set_tab_vborder(constants.TAB_BORDER_WIDTH * 3)
self['ports_notebook'].set_tab_hborder(constants.TAB_BORDER_WIDTH * 2)
self['ports_notebook'].set_tab_vborder(constants.TAB_BORDER_WIDTH * 3)
self.page_dict["Source"] = self['main_notebook_1'].get_nth_page(0)
self.page_dict["Logical Linkage"] = self['main_notebook_1'].get_nth_page(1)
self.page_dict["Data Linkage"] = self['main_notebook_1'].get_nth_page(2)
self.page_dict["Linkage Overview"] = self['main_notebook_2'].get_nth_page(0)
self.page_dict["Description"] = self['main_notebook_2'].get_nth_page(1)
self.page_dict["Semantic Data"] = self['main_notebook_2'].get_nth_page(2)
self['main_notebook_1'].set_current_page(self['main_notebook_1'].page_num(self.page_dict["Source"]))
self['main_notebook_2'].set_current_page(self['main_notebook_2'].page_num(self.page_dict["Description"]))
self['add_input_port_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['remove_input_port_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['add_output_port_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['remove_output_port_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['add_scoped_variable_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['remove_scoped_variable_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self._scoped_tab_page_number = None
self._scoped_var_page = None
self._scoped_var_page_tab_label = None
self._source_tab_page_number = None
self._source_page = None
self._source_page_tab_label = None
self.set_default_paned_positions()
