Skip to main content

Notice: This Wiki is now read only and edits are no longer 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 Unnamed Poltroon (Talk) (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