Hi,
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, and is
believed to be clean.
Received on Wed Dec 31 03:55:32 2008