This page identifies a possible issue, inconsistency, concern, error, or bug!
One of the ways Webel IT Australia helps promote tools, technologies, and languages is by donating a lot of time identifying, tracking, and reporting potential issues, in order to help vendors and developers improve the tools and technologies. In some cases, we also offer workarounds and advice for users. All issues tracked on our public site are offered most constructively and with sincerest gratitude to the tool vendors and technology developers.
DISCLAIMER: Vendors do not officially endorse issue analysis by Webel IT Australia.
The lack of a parameters compartment on constraint usages is particularly annoying for modelling cases like this one with long feature value expressions on the parameters:
Note that the limitation only seems to afflict an «assert constraint» or «assert» constraint reference, not a constraint usage symbol itself as shown here: