I think this may be leftover text from an earlier version where we were considering allowing checkers in tasks and functions. Dmitry, do you have further comments? ________________________________ From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Surya Pratik Saha Sent: Sunday, January 04, 2009 8:22 PM To: sv-ac@eda.org Subject: [sv-ac] Restriction inside checker construct Hi, I have already sent the mail some days back, but did not get any reply, maybe because of holiday. So I am resending it. It is mentioned in the SV 2009 draft LRM: The following elements from the scope enclosing the checker declaration shall not be referenced in a checker: - Automatic variables and members or elements of dynamic variables. This includes dynamically sized variables and data in automatic tasks, functions, or blocks. - Elements of fork...join, fork...join_any, or fork...join_none blocks. The text is little bit confusing. The checker declaration is not possible inside a task/function scope. So referring a variable from a task/function requires hierarchical reference. But any variable can not be hierarchically referred from an automatic task/function. So why it is mentioned separately here. Or does it signify something else. It will better to understand if some proper example is shown with that text. -- Regards Surya -- This message has been scanned for viruses and dangerous content by MailScanner<http://www.mailscanner.info/>, and is believed to be clean. -- This email was Anti Virus checked by Astaro Security Gateway. http://www.astaro.com -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Jan 5 10:32:29 2009
This archive was generated by hypermail 2.1.8 : Mon Jan 05 2009 - 10:33:20 PST