Class: GUIIMPL

Defined in: web-src/coffee/gui/guiimpl.coffee

Overview

Central GUI do-it-all class...

Instance Method Summary

Constructor Details

# (void) constructor(graph = null, paper = null)

Instance Method Details

# (void) disable()

# (void) enable()

# (void) set_graph(graph)

Parameters:

  • graph ( JointJS.Graph ) — The JointJS Graph used for drawing models.

# (void) set_paper(paper)

Parameters:

  • paper ( JointJS.Paper ) — The JointJS Paper used for drawing views.

# (void) set_urlprefix(str)

# (void) to_metamodel()

# (void) switch_to_erd()

# (void) to_erd()

# (void) update_translation(data)

# (void) update_metamodel(data)

# (void) on_cell_clicked(cellview, event, x, y)

What to do when the user clicked on a cellView.

# (void) clear_relationship()

Clear inputs from relationships form.

# (void) update_satisfiable(data)

Update the interface with satisfiable information.

Parameters:

  • data ( string ) — is a JSON string with the server response.

# (void) update_full_reasoning(data)

Update traffic light and models after full reasoning

Draft version: only update textarea with data

Parameters:

  • data ( string ) — OWLlink string

# (void) set_trafficlight(obj)

Set the traffic-light according to the JSON object recived by the server.

Parameters:

  • obj ( JSON ) — The JSON object parsed from the recieved data.

# (void) check_satisfiable()

Send a POST to the server for checking if the diagram is satisfiable.

# (void) update_translation(data)

Update the translation information on the GUI and show it to the user.

Depending on the format selected by the user show it as HTML or inside a textarea tag.

string.

Parameters:

  • data ( string ) — The HTML, OWLlink or the translation

See also:

# (void) translate_formal(strategy, syntax)

Translate the current model into a formalization.

Parameters:

  • strategy ( String ) — The strategy name to use for formalize the model.
  • syntax ( String ) — The output sintax format.

# (void) full_reasoning(strategy, reasoner)

Full reasoning on the current model and selecting a reasoner.

Parameters:

  • strategy ( String ) — model encoding required for reasoning on.
  • syntax ( String ) — reasoning system.
Deprecated. Use translate_formal() instead.

# Event handler for translate diagram to OWLlink using Ajax and the api/translate/berardi.php translator URL.

# (void) change_to_details_page()

# (void) change_to_diagram_page()

# (void) hide_toolbar()

# (void) hide_umldiagram_page()

# (void) show_umldiagram_page()

# (void) hide_eerdiagram_page()

# (void) show_eerdiagram_page()

# (void) set_association_state(class_id, mult, roles, name, w_class, assoc_t)

Change the interface into a "new association" state.

Parameters:

  • class_id ( string ) — The id of the class that triggered it and thus, the starting class of the association.
  • mult ( array ) — An array of two strings representing the cardinality from and to.

# (void) set_isa_state(class_id, disjoint = false, covering = false)

Change to the IsA GUI State so the user can select the child for the parent.

Parameters:

  • class_id ( String ) — The JointJS::Cell id for the parent class.
  • disjoint ( Boolean ) — optional. If the relation has the disjoint constraint.
  • covering ( Boolean ) — optional. If the relation has the disjoint constraint.

# (void) set_selection_state()

Change the interface into a "selection" state.

# Show the "Insert OWLlink" section.

    Quickly fuzzy find classes, mixins, methods, file:

    Control the navigation frame:

    You can focus and blur the search input: