def construct(self):
page = super(StatePropertyPage, self).construct()
subject = self.subject
if not subject:
return page
hbox = create_hbox_label(self, page, _("Entry"))
entry = Gtk.Entry()
if self.item._entry.subject:
entry.set_text(self.item._entry.subject.name)
entry.connect("changed", self._on_text_change, self.item.set_entry)
hbox.pack_start(entry, True, True, 0)
hbox = create_hbox_label(self, page, _("Exit"))
entry = Gtk.Entry()
if self.item._exit.subject:
entry.set_text(self.item._exit.subject.name)
entry.connect("changed", self._on_text_change, self.item.set_exit)
hbox.pack_start(entry, True, True, 0)
hbox = create_hbox_label(self, page, _("Do Activity"))
entry = Gtk.Entry()
if self.item._do_activity.subject:
entry.set_text(self.item._do_activity.subject.name)
entry.connect("changed", self._on_text_change,
self.item.set_do_activity)
hbox.pack_start(entry, True, True, 0)
page.show_all()
return page
def construct(self):
page = super(StatePropertyPage, self).construct()
subject = self.subject
if not subject:
return page
hbox = create_hbox_label(self, page, _('Entry'))
entry = gtk.Entry()
if self.item._entry.subject:
entry.set_text(self.item._entry.subject.name)
entry.connect('changed', self._on_text_change, self.item.set_entry)
hbox.pack_start(entry)
hbox = create_hbox_label(self, page, _('Exit'))
entry = gtk.Entry()
if self.item._exit.subject:
entry.set_text(self.item._exit.subject.name)
entry.connect('changed', self._on_text_change, self.item.set_exit)
hbox.pack_start(entry)
hbox = create_hbox_label(self, page, _('Do Activity'))
entry = gtk.Entry()
if self.item._do_activity.subject:
entry.set_text(self.item._do_activity.subject.name)
entry.connect('changed', self._on_text_change, self.item.set_do_activity)
hbox.pack_start(entry)
page.show_all()
return page
def construct(self):
page = super(TransitionPropertyPage, self).construct()
subject = self.subject
if not subject:
return page
hbox = create_hbox_label(self, page, _("Guard"))
entry = Gtk.Entry()
v = subject.guard.specification
entry.set_text(v if v else "")
entry.connect("changed", self._on_guard_change)
changed_id = entry.connect("changed", self._on_guard_change)
hbox.pack_start(entry, True, True, 0)
def handler(event):
entry.handler_block(changed_id)
v = event.new_value
entry.set_text(v if v else "")
entry.handler_unblock(changed_id)
self.watcher.watch("guard<Constraint>.specification",
handler).register_handlers()
entry.connect("destroy", self.watcher.unregister_handlers)
return page
def construct(self):
page = super(TransitionPropertyPage, self).construct()
subject = self.subject
if not subject:
return page
hbox = create_hbox_label(self, page, _('Guard'))
entry = gtk.Entry()
v = subject.guard.specification.value
entry.set_text(v if v else '')
entry.connect('changed', self._on_guard_change)
changed_id = entry.connect('changed', self._on_guard_change)
hbox.pack_start(entry)
def handler(event):
entry.handler_block(changed_id)
v = event.new_value
entry.set_text(v if v else '')
entry.handler_unblock(changed_id)
self.watcher.watch('guard<Constraint>.specification<LiteralSpecification>.value', handler).register_handlers()
entry.connect('destroy', self.watcher.unregister_handlers)
return page
def construct(self):
page = Gtk.VBox()
subject = self.item.subject
if not subject:
return page
hbox = create_hbox_label(self, page, self.NAME_LABEL)
model = Gtk.ListStore(str)
for c in self.CLASSES:
model.append([c])
cb = Gtk.ComboBox.new_with_model_and_entry(model)
completion = Gtk.EntryCompletion()
completion.set_model(model)
completion.set_minimum_key_length(1)
completion.set_text_column(0)
cb.get_child().set_completion(completion)
entry = cb.get_child()
entry.set_text(subject and subject.name or "")
hbox.pack_start(cb, True, True, 0)
page.default = entry
# monitor subject.name attribute
changed_id = entry.connect("changed", self._on_name_change)
def handler(event):
if event.element is subject and event.new_value is not None:
entry.handler_block(changed_id)
entry.set_text(event.new_value)
entry.handler_unblock(changed_id)
self.watcher.watch("name", handler).register_handlers()
entry.connect("destroy", self.watcher.unregister_handlers)
page.show_all()
return page
def construct(self):
page = gtk.VBox()
subject = self.item.subject
if not subject:
return page
hbox = create_hbox_label(self, page, self.NAME_LABEL)
model = gtk.ListStore(str)
for c in self.CLASSES:
model.append([c])
cb = gtk.ComboBoxEntry(model, 0)
completion = gtk.EntryCompletion()
completion.set_model(model)
completion.set_minimum_key_length(1)
completion.set_text_column(0)
cb.child.set_completion(completion)
entry = cb.child
entry.set_text(subject and subject.name or '')
hbox.pack_start(cb)
page.set_data('default', entry)
# monitor subject.name attribute
changed_id = entry.connect('changed', self._on_name_change)
def handler(event):
if event.element is subject and event.new_value is not None:
entry.handler_block(changed_id)
entry.set_text(event.new_value)
entry.handler_unblock(changed_id)
self.watcher.watch('name', handler) \
.register_handlers()
entry.connect('destroy', self.watcher.unregister_handlers)
page.show_all()
return page
