True, but the name is still misleading. Shalom ________________________________ From: Havlicek John-R8AAAU [mailto:john.havlicek@freescale.com] Sent: Tuesday, April 14, 2009 5:31 PM To: Bresticker, Shalom; Korchemny, Dmitry; sv-ac@server.eda.org Cc: Havlicek John-R8AAAU Subject: RE: [sv-ac] RE: feedback to P1800 WG on ballot issues Hi Shalom: There is semantic meaning to sequence_actual_arg. This semantic meaning is the right meaning both for a sequence actual argument and a sequence default argument. Our point of view has been that a default argument is a particular kind of actual argument -- it is the actual argument that is bound to the formal argument in case no actual argument is written in the sequence instantiation. The same rules apply whether or not the sequence actual argument is a default, with the exception that name resolution for a default is from the scope of the declaration of the sequence rather than the scope of the instantiation of the sequence. J.H. ________________________________ From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Bresticker, Shalom Sent: Tuesday, April 14, 2009 1:20 AM To: Korchemny, Dmitry; sv-ac@server.eda.org Subject: [sv-ac] RE: feedback to P1800 WG on ballot issues The point is that they don't use "actual_function_argument". The use of "actual" is confusing. By your argument, sequence_actual_arg is also inconsistent with tasks and functions, which use simply 'expression'. Note for example that there are many types of 'identifier' that all reduce to 'identifier'. For example, array_identifier ::= identifier block_identifier ::= identifier Each is used where the semantics match the name, even though they are syntactically identical. array_identifier is not used for blocks, and block_identifier is not used for arrays. On the other hand, 'identifier' and 'expression' are generic names with no semantic information about where they are used. They could be used anywhere they are syntactially correct. But if you use a name that has some semantic meaning, then you should not use it where the meaning does not match its use. Regards, Shalom ________________________________ From: Korchemny, Dmitry Sent: Tuesday, April 14, 2009 9:13 AM To: Bresticker, Shalom; sv-ac@server.eda.org Subject: RE: feedback to P1800 WG on ballot issues Hi Shalom, But the tasks and functions do not use default_function_argument, do they? Dmitry From: Bresticker, Shalom Sent: Tuesday, April 14, 2009 7:57 AM To: Korchemny, Dmitry; sv-ac@server.eda.org Subject: RE: feedback to P1800 WG on ballot issues Hi, 87 - Mantis 2649: sequence_actual_arg is used to represent the default argument SV-AC believes that there is no added value in introducing a new non-terminal identical to sequence_actual_arg. It would also introduce an inconsistency between the BNF of sequences on the one hand, and the BNF of properties, functions, and tasks on the other hand. Therefore SV-AC recommends to leave the text unchanged. [SB] Why would this be inconsistent with tasks and functions? Tasks and function BNFs use simply "expression" for default values. Module port defaults use "constant_expression". Neither uses "actual" for "default". As for properties, yes, the same problem exists in the property BNF. I personally agree with the comment, though I did not submit it. Shalom --------------------------------------------------------------------- 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<http://www.mailscanner.info/>, and is believed to be clean. --------------------------------------------------------------------- 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.Received on Thu Apr 16 04:39:24 2009
This archive was generated by hypermail 2.1.8 : Thu Apr 16 2009 - 04:40:30 PDT