RE: [sv-ac] RE: [sv-ec] 1900 mantis (checkers): checker in package ?

From: Brad Pierce <Brad.Pierce_at_.....>
Date: Wed Apr 09 2008 - 07:54:33 PDT
Regarding checkers and

 

      "Packages must not contain any processes."

 

According to the "Scheduling semantics" clause, one example of a process
is a procedural assignment statement.

 

A procedural assignment statement can be contained in a function.

 

I conclude that a procedural assignment statement in a function in a
package is not contained in the package.

 

Hence a process in a checker in a package would not be contained in the
package.

 

n  Brad

 

 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Apr 9 07:55:53 2008

This archive was generated by hypermail 2.1.8 : Wed Apr 09 2008 - 07:56:05 PDT