Subject: LRM examples for replicated properties
From: Yum, Sunny (Sunny_Yum@mentorg.com)
Date: Tue Aug 19 2003 - 13:15:37 PDT
I have come up with two issues that regard the examples for replicated
properties provided by the PSL LRM (v1.01) in section 6.2.3.
Issue #1: The LRM's examples appear to suggest that parameterized named
properties can specify array/vector typed formals. To my knowledge, the PSL
LRM does not specify support for parameterized named properties with
array/vector typed formals.
Example "forall i[0:1] in boolean : f(i)" suggests that the parameterized
named property "f" has a single formal parameter that is a two-element
array/vector of type boolean.
Example "forall i[0:2] in {4,5} : f(i)" suggests that the parameterized
named property "f" has a single formal parameter that is a three-element
array/vector of type integer.
Issue #2: Despite the fact that the LRM states that "The Name defined by a
replicator represents a non-static variable", the following examples
illustrate the use of a replicator name (of integer type) that is being used
to instantiate a parameterized named property, in contradiction to the
statement in section 6.2.4.2 (Property Instantiation) that states "For a
const parameter, the actual parameter shall be a statically evaluable
integer expression".
Example "forall I in {j:k} : f(i)" (assuming that j and k are integer
literals) suggests that the replicator name "I" is being used as an actual
parameter (const) to instantiate the parameterized named property "f".
Example "forall I in {j,l} : f(i)" (assuming that j and l are integer
literals) suggests that the replicator name "I" is being used as an actual
parameter (const) to instantiate the parameterized named property "f".
Can anyone shed some light on either of these issues for me? Thanks.
-Sunny
This archive was generated by hypermail 2b28 : Tue Aug 19 2003 - 13:16:28 PDT