[sv-ac] Mantis 2093

Hi,

I am reviewing Mantis 2093.

I think I found a mistake.

The proposal quotes 17.2 as saying,

"All checker formal arguments are inputs and are processed similarly to property formal arguments. The legal data types for checker formal arguments are those legal for a property (see 16.13). Unlike modules, interfaces, and programs, checker formal arguments may not be connected to interfaces. Checker formal arguments shall not be modified by a checker."

and replaces the second sentence with

"The legal data types for checker formal arguments are those legal for a property (see 16.13). The type of an output argument shall not be of untyped, sequence, or property."

However, the actual text in 1800-2009 is,

"All checker formal arguments are inputs and they are processed in a similar way as property formal arguments, but the data types of checker formal arguments besides those legal for a property (see 16.13), may also be string and non-integer types (shortreal, real, and realtime)."

Mantis 3033, which this is built on, only adds the last sentence to the paragraph, "Checker formal arguments shall not be modified by a checker."

Besides the difference in the description of checker argument data types, the sentence about not connecting arguments to interfaces also seems to have been dropped.

Regards,
Shalom

Shalom Bresticker
Intel LAD DA, Jerusalem, Israel
+972 2 589 6582 (office)
+972 54 721 1033 (cell)
http://www.linkedin.com/in/shalombresticker

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.