Skip to main content

Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.

Jump to: navigation, search

VIATRA/Query/DeveloperDocumentation/FeatureSetAndTesting/Validationframework

< VIATRA‎ | Query‎ | DeveloperDocumentation/FeatureSetAndTesting
Revision as of 20:00, 25 March 2015 by Bator92.gmail.com (Talk | contribs) (Created page with "=== Validation framework === ---- * generator ** EMF-IncQuery Validation -> Initialize EMF-IncQuery Validators on Editor center After defini...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Validation framework


  • generator
    • EMF-IncQuery Validation -> Initialize EMF-IncQuery Validators on Editor
Generator.png


After defining a pattern with constraint, a .validation project is generated.

  • runtime
  • start validation (launching .incquery and .incquery.validation projects as an Eclipse application)
    • marker management
      • live synchronization with the EMF instance model (if the model changes, the message appears in the „Problem view”)
      • navigate to source (element of the instance model) (Right clikk -> „Go to”)
      • displayed information: description, resource, path, location, type
  • @Constraint annotation has influence on behaviour


Problems.png

Back to the top