This page is related to the Semantic Verification and Metrics Computation sub-project of jUCMNav.
The 3 seg.jucmnav sub-packages affected by updates to the default static semantic rules and/or metrics are:
Updating or Adding a New Default Rule (or Metric) in a Group
Edit the appropriate .xml file in the staticSemantic (or metrics) directory. Simply edit it in a text editor.
Test your modification using the "Restore Defaults" button in the Preference page of your plug-in under test.
Simply edit the file library.ocl. Update in the code base and also the file on the Semantic Verification page (since this also serves as user documentation).
Do not hesitate to add more functions to this library (and minimize the number of helper functions local to rules).
Make sure the definition is added to the right package and the right context. Packages/contexts can be declared many times in this file.
Beware: an OCL function in this library can invoke another one only if it was defined earlier in the file.