forall

Subject: forall
From: Adriana Maggiore (adriana.maggiore@transeda.com)
Date: Thu May 08 2003 - 08:24:28 PDT

Hello,

I think that there is an inconsistency in the PSL 1.0 LRM
with respect to the usage of forall replication variables as
repetition counts.

On page 71 it says:
"An implementation may impose restrictions on the use
of a replication variable Name defined by a Replicator.
However, an implementation shall support at least comparison
(equality, inequality) between the Name and an expression,
and use of the Name as and index or repetition count."
                                    ^^^^^^^^^^^^^^^^^

The note on the same page says:
"The Name defined by a replicator represents
a non-static variable".
  ^^^^^^^^^^

According to the restrictions on the repetition operators,
(pages 35,36,37) the repetition count must be
statically computable.
^^^^^^^^^^^^^^^^^^^^^
                     
This seams inconsistent to me and I think that the
usage of replication variables as repetition counts
should be disallowed.

Best regards,
Adriana
     

-- 
Adriana Maggiore		   TransEDA
Tel: +44 (0)23 80 683523 	   4th floor, Black Horse House
Fax: +44 (0)23 80 650805	   Leigh Road, Eastleigh
adriana.maggiore@transeda.com 	   Hampshire, SO50 9FH, UK

This message is sent in confidence for the addressee only.
It may contain legally privileged information. The contents are not 
to be disclosed to anyone other than the addressee. Unauthorised 
recipients are requested to preserve this confidentiality and 
to advise the sender immediately of any error in transmission.

This archive was generated by hypermail 2b28 : Thu May 08 2003 - 08:34:43 PDT