Issue 1684:  Constraint Language issue                                                                                                                                                                              (notif_service-rtf)
Source:  (, )
Nature:  Revision
Severity: 
Summary: Summary: Because the constraint language is inherited from the Trader specification, we
 have these categories:
 
 <expr_in> := <expr_twiddle> in <Ident> | <expr_twiddle>
 <expr_twiddle> := <expr> ~ <expr> | <expr>
 
 It seems that the point of the "in" operator is to determine whether the LHE
 is in the RHE where the RHE is a sequence. However, there"s no way to access
 the current event since the RHE is only allowed to be an Ident, not "$"
 <Component>. It appears that the RHE could only be an unstructured runtime
 variable in practice. If this is not the case, how is it supposed to work?
 
 In addition, the <preference> syntactic category makes no sense. I assume that
 it is not be supported. This is perhaps a small point, but I can"t find a
 reference to it.
 

Resolution: 
Revised Text: 
Actions taken:
July 15, 1998: received issue
February 23, 1999: closed issue
Discussion: 

End of Annotations:=====
Return-Path: <briggs@dstc.edu.au>
Date: Wed, 15 Jul 1998 14:39:14 +1000
From: briggs <briggs@dstc.edu.au>
Organization: DSTC Pty Ltd
To: issues@omg.org
CC: notification@dstc.edu.au, briggs@dstc.edu.au
Subject: Re: Notification Service Issues
References: <35ABF6D7.475D8510@dstc.edu.au>

Hello again,

I recently raised two issues wrt the Notification Service constraint
language.
There is now another point that I would like to raise.

Because the constraint language is inherited from the Trader
specification, we
have these categories:

<expr_in> := <expr_twiddle> in <Ident> | <expr_twiddle>
<expr_twiddle> := <expr> ~ <expr> | <expr>

It seems that the point of the 'in' operator is to determine whether
the LHE
is in the RHE where the RHE is a sequence. However, there's no way to
access
the current event since the RHE is only allowed to be an Ident, not
'$'
<Component>. It appears that the RHE could only be an unstructured
runtime
variable in practice. If this is not the case, how is it supposed to
work?

In addition, the <preference> syntactic category makes no sense. I
assume that
it is not be supported. This is perhaps a small point, but I can't
find a
reference to it.

Thanks
--
Mark Briggs