Skip to main content
Jump to: navigation, search

VIATRA/Query/DeveloperDocumentation/FeatureSetAndTesting/QueryExplorer

Query Explorer


Context menu items for resources

Register patterns.png

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



"Magic Green Button" (depends on context)

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

  • 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.
Load instance.png


  • 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.
Load eiq.png



Pattern registry

Show location.png
  • 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.
Constraints.png
  • 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

Detailsfilters.png

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
Popupfilters.png

View menu

Viewmenu.png
  • 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

Back to the top