Difference between revisions of "VIATRA/Query/DeveloperDocumentation/FeatureSetAndTesting"

Revision as of 18:13, 25 March 2015

Features

EMF-IncQuery UI components (use-cases)

Query Editor

Query Explorer

• Context menu items for resources

Here, you can add your .eiq file to the pattern registry.

• Magic Green Button (depends on context)
  • Load ResourceSet

You can load the whole ResourceSet which is being edited by the editor (this is the default when pressing the green button)

• Load Resource

You can load the Resource of the selected element within the editor which can be done with the appropriate element from the view menu of the green button.

After you opened your instance model with „Sample Reflective Ecore Model Editor”, you can load it with the „Magic Green Button”

• Load pattern(s)

Opening a .eiq file, the magic green button functionality changes. Here we can register our .eiq file.

• Load as model

Or we can load our .eiq file as a model.

• Pattern registry

• • Showing plugin and runtime patterndefinitions
  • Unregister pattern
    • has effect on viewer
    • plugins can not unloaded
  • Show location
    • jump to pattern
  • Checkbox filtering
    • has effect on viewer (checked patterns are in the viewer)

• Result viewer
  • behaviour depends on state of the:
    • patternregistry
    • instance model
    • details/filters

• • Data binding: EMF-IncQuery provides a simple data binding facility that can be used to bind pattern matches to UI elements.
    • @QueryExplorer: the message parameter of the Query explorer annotation defines the label feature of the selected match.
    • @ObservableValue: allows the developer to customize the appearance of a match inside the Details panel.

• • Use-cases:
    • default appearance
    • following changes (modifying the contents of a .eiq file - that was loaded earlier to the Query Explorer - automatically triggers re-loading of the patterns)
    • navigate to source (Show location)
      • to instance model
      • to pattern definition

• Details/Filters

The view of this content is based on the selection inside the tree viewer. If you select a pattern then you can specify filters on the pattern parameters. However, if you select a single match, you can observe the values of the pattern parameters which are data bound to the appropriate model elements thus automatically refreshed upon match changing.

• • choosing a concrete match or matcher

• • input parameter binding (matcher filter) – popup window depends on the type of the parameter (object or not)

• • • has effect on viewer

• View menu

• • You can change the way of the pattern registry’s package presentation (flat or hierarchical) in the view menu of the Query Explorer.
  • You can reset the UI

Preferences

Validation framework

Viewers

Rete Visualizer

Testing framework

IncQuery Debugger View

Test suites