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

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

(Validation framework)
Line 1: Line 1:
 
=== Validation framework ===
 
=== Validation framework ===
  
 +
EMF-IncQuery provides facilities to create validation rules based on the pattern language of the framework. These rules can be evaluated on various EMF instance models and upon violations of constraints, markers are automatically created in the Eclipse Problems View.
 
----
 
----
  

Revision as of 13:24, 29 March 2015

Validation framework

EMF-IncQuery provides facilities to create validation rules based on the pattern language of the framework. These rules can be evaluated on various EMF instance models and upon violations of constraints, markers are automatically created in the Eclipse Problems View.


  • 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