The OCL editor provides a feature for checking whether OCL defines are used in other OCL code.
The feature includes following checks of all OCL defines of a project:
If one of these checks is violated, the corresponding define and OCLLib are marked with a warning. Additionally a new entry is set in the Problems View.
The check can be run by: Right-Click on the OCL project > Definition not-used Check

