Class: GUI
| Defined in: | web-src/coffee/gui/gui.coffee |
Overview
Central GUI do-it-all class...
Instance Method Summary
- # (void) add_gui(name, guiimp) GUIIMP management. Messages for manage GUIIMP instances. Add the GUIIMP instance as availables GUIs, also make it the current.
- # (void) to_metamodel()
- # (void) to_fol()
- # (void) switch_to_gui(name) Make the nth GUIIMP in the @lst_guis the current GUI.
- # (void) set_previous(name) Make the GUIIMP instance that it is in the @lst_guis as the previous GUI.
- # (void) set_prev_gui(guiimp) Set the previous GUIIMP instance that may not be added to my @lst_guis.
- # (void) switch_to_prev() Switch to the previous GUIIMP.
- # (void) update_metamodel(data)
- # (void) update_fol(data)
- # (void) translate_formal(strategy, syntax) Translate the current model into a formalization.
- # (void) full_reasoning(strategy, reasoner) Full reasoning on the current model and selecting a reasoner.
- # (void) documenting(documenter) Generating documentation for current ontology.
- # (void) update_documenting(data)
- # (void) update_full_reasoning(data) Update traffic light and models after full reasoning Draft version: only update textarea with data
- # (void) translate_owllink() Deprecated Deprecated. Use translate_formal() instead.
- # (void) update_translation(data)
- # (void) set_isa_state(class_id, disjoint, covering)
- # (void) set_association_state(class_id, mult, roles, name, w_class, assoc_t)
- # (void) clear_relationship()
- # (void) hide_toolbar() Deprecated Deprecated.
- # (void) hide_umldiagram_page()
- # (void) show_umldiagram_page()
- # (void) hide_eerdiagram_page()
- # (void) show_eerdiagram_page()
- # (void) set_selection_state()
- # (void) show_insert_owllink() Show the "Insert OWLlink" section.
- # (void) change_to_details_page()
- # (void) change_to_diagram_page()
- # (void) on_cell_clicked(cellview, event, x, y) What to do when a Joint cell is clicked.
- # (void) check_satisfiable() Check if the model is satisfiable sending a POST to the server.
- # (void) update_satisfiable(data) Update the diagram displaying unsatisfiable primitives in red.
Constructor Details
#
(void)
constructor(graph, paper)
Instance Method Details
#
(void)
add_gui(name, guiimp)
GUIIMP management.
Messages for manage GUIIMP instances.
Add the GUIIMP instance as availables GUIs, also make it the current.
#
(void)
to_metamodel()
#
(void)
to_fol()
#
(void)
switch_to_gui(name)
Make the nth GUIIMP in the @lst_guis the current GUI.
Change the current GUI the previous one.
#
(void)
set_previous(name)
Make the GUIIMP instance that it is in the @lst_guis as the previous GUI.
#
(void)
set_prev_gui(guiimp)
Set the previous GUIIMP instance that may not be added to my @lst_guis.
#
(void)
switch_to_prev()
Switch to the previous GUIIMP.
#
(void)
update_metamodel(data)
#
(void)
update_fol(data)
#
(void)
translate_formal(strategy, syntax)
Translate the current model into a formalization.
Show the user a "wait" message while the server process the model.
#
(void)
full_reasoning(strategy, reasoner)
Full reasoning on the current model and selecting a reasoner.
Show the user a "wait" message while the server process the model.
#
(void)
documenting(documenter)
Generating documentation for current ontology.
#
(void)
update_documenting(data)
#
(void)
update_full_reasoning(data)
Update traffic light and models after full reasoning
Draft version: only update textarea with data
#
(void)
translate_owllink()
#
(void)
update_translation(data)
#
(void)
set_isa_state(class_id, disjoint, covering)
#
(void)
set_association_state(class_id, mult, roles, name, w_class, assoc_t)
#
(void)
clear_relationship()
#
(void)
hide_toolbar()
Hide the left side "Tools" toolbar
#
(void)
hide_umldiagram_page()
#
(void)
show_umldiagram_page()
#
(void)
hide_eerdiagram_page()
#
(void)
show_eerdiagram_page()
#
(void)
set_selection_state()
#
(void)
show_insert_owllink()
Show the "Insert OWLlink" section.
#
(void)
change_to_details_page()
#
(void)
change_to_diagram_page()
#
(void)
on_cell_clicked(cellview, event, x, y)
What to do when a Joint cell is clicked.
Follows the responsability to the @current_gui.
@param event The event descripiton object
#
(void)
check_satisfiable()
Check if the model is satisfiable sending a POST to the server.
#
(void)
update_satisfiable(data)
Update the diagram displaying unsatisfiable primitives in red.