RE: [sv-ac] 1549 questions

OK, thanks.

Manisha

 

From: Bustan, Doron [mailto:doron.bustan@intel.com] 
Sent: Monday, September 24, 2007 3:01 PM
To: Kulshrestha, Manisha; Lisa Piper; john.havlicek@freescale.com;
sv-ac@server.eda-stds.org
Subject: RE: [sv-ac] 1549 questions

 

 

Hi Manisha,

 

>> For (2) I think it is not clear in the current document and should be
made clear. I do not see any specific statement about what Lisa is
saying.

 

 

Here are the relevant paragraphs from the proposal:

 

16.7.1

 

If a formal argument of a named sequence is typed, then the type shall
be sequence, event, or one of the types allowed in 16.5.1.  The
following rules apply to typed formal arguments and their corresponding
actual arguments, including default actual arguments declared in a named
sequence:

 

1)      If the formal argument is of type sequence, then the actual
argument shall be a sequence_expr and each reference to the formal
argument shall be in a place where a sequence_expr may be written. 

2)      If the formal argument is of type event, then the actual
argument shall be an event_expression and each reference to the formal
argument shall be in a place where an event_expression may be written.

3)      Otherwise, the self-determined result type of the actual
argument shall be cast compatible (see 6.22.4) with the type of the
formal argument.  The actual argument shall be cast to the type of the
formal argument before being substituted for a reference to the formal
argument in the rewriting algorithm (see [Note to Editor - insert
reference to the new section in F.3.1 titled "Rewriting sequence and
property"]).

 

For example, a boolean expression may be passed as actual argument to a
formal argument of type sequence because a boolean expression is a
sequence_expr.  A formal argument of type sequence may not be referenced
as the expression_or_dist operand of a goto_repetition (see 16.8.2),
regardless of the corresponding actual argument, because a sequence_expr
may not be written in that position.

 

 

 

 

16.12

 

If a formal argument of a named property is typed, then the type shall
be property, sequence, event, or one of the types allowed in 16.5.1.  If
the formal argument is of type property, then the corresponding actual
argument shall be a property_expr or a property_spec and each reference
to the formal argument shall be in a place where a property_expr may be
written.

 

For example, a boolean expression or a sequence_expr may be passed as
actual argument to a formal argument of type property because each is a
property_expr.  A formal argument of type property may not be referenced
as the antecedent of |-> or |=> (see 16.12.2), regardless of the
corresponding actual argument, because a property_expr may not be
written in that position.

 

 

Doron

 

 

2. What are the type matching, compatibility, etc. rules for these new
types?

[Lisa Piper >>>] I thought it was already stated that a property can
accept a property, sequence or boolean and a sequence can accept a
sequence or boolean.  An event should only accept a boolean that is used
a part of an event expression.

 

---------------------------------------------------------------------
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. 


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