Issue 10939: 9.18 Trailing | (qvt-rtf)
Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Uncategorized Issue
Severity: 
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

Resolution: Simple change.
Revised Text: From 9.18 Concrete Syntax change
GuardPattern ::=
[Variable(“,”Variable )* “|” ]
( Constraint “;” )*
BottomPattern ::=
[ (Variable | RealizedVariable)
(“,” ( Variable | RealizedVariable)* “|” ]
( Constraint “;” )*
to
GuardPattern ::=
[Variable(“,”Variable )* ]
[“|” ( Constraint “;” )+]
BottomPattern ::=
[ (Variable | RealizedVariable)
(“,” ( Variable | RealizedVariable)*]
[“|” ( Constraint “;” )+]
Actions taken:
March 25, 2007: received issue
July 15, 2014: closed issue
Discussion: 

End of Annotations:=====
s is issue # 10939	From: "Ed Willink" <ed@willink.me.uk>

9.18 Trailing |

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