-
Key: QVT11-4
-
Legacy Issue Number: 10939
-
Status: closed
-
Source: Model Driven Solutions ( Dr. Edward Willink)
-
Summary:
GuardPatterns and BottomPatterns with Variables but without Constraints must end with a '|'.
This is inelegant. Better to only require '|' as prefix to constraints (or to require it always).Suggest:
GuardPattern ::= Variable ("," Variable)* ["|" (Constraint ";")+]
similarly BottomPattern
-
Reported: QVT 1.0 — Sun, 25 Mar 2007 04:00 GMT
-
Disposition: Resolved — QVT 1.1
-
Disposition Summary:
Simple change.
-
Updated: Fri, 6 Mar 2015 20:58 GMT