Date: Wed Jul 11 2007 - 04:57:59 PDT
Hi, 1800-2005, 17.12.6 (Sequence methods) has a cross-reference to 10.11: The value of method triggered evaluates to true if the given sequence has reached its end point at that particular point in time and false otherwise. The triggered status of the sequence is set in the Observe region and persists through the remainder of the time step. This method shall only be used in wait statements or boolean expressions (see 10.11) outside of sequence context or in the disable iff boolean expression for properties. It shall be considered an error to invoke this method on sequences that treat their formal arguments as local variables. A sequence treats its formal argument as a local variable if the formal argument is used as an lvalue in operator_assignment or inc_or_dec_expression in sequence_match_item. Now in P1800/D3a, the new Sequence methods section, 16.13.6, has the reference to 9.4.4 whereas the section corresponding to the old 10.11 is now 9.4.5. Which is a better xref here, 9.4.4 or 9.4.5? Thanks, Shalom Shalom Bresticker Intel Jerusalem LAD DA +972 2 589-6852 +972 54 721-1033 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
