Issue 10940: 9.18 GuardPattern assignments (qvt-rtf)
Source: Nomos Software (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Uncategorized Issue
Severity: 
Summary: The concrete sysntax allows guard patterns to have assignments. The abstract syntax does not.


Suggest: GuardPattern uses Predicate rather than Constraint

Resolution: 
Revised Text: 
Actions taken:
March 25, 2007: received issue
Discussion: 
Resolution: DEFERRED
End of Annotations:=====
s is issue # 10940	From: "Ed Willink" <ed@willink.me.uk>

9.18 GuardPattern assignments

The concrete sysntax allows guard patterns to have assignments. The abstract syntax does not.

Suggest: GuardPattern uses Predicate rather than Constraint