Re: How to handle operator of undefined associativity

Chris F Clark <cfc@shell01.TheWorld.com>
Sun, 02 May 2010 15:58:06 -0400

          From comp.compilers

Related articles
How to handle operator of undefined associativity singh.pallav@gmail.com (Pallav singh) (2010-04-29)
Re: How to handle operator of undefined associativity bear@sonic.net (Ray) (2010-05-01)
Re: How to handle operator of undefined associativity bartc@freeuk.com (bart.c) (2010-05-01)
Re: How to handle operator of undefined associativity cr88192@hotmail.com (BGB / cr88192) (2010-05-01)
Re: How to handle operator of undefined associativity cfc@shell01.TheWorld.com (Chris F Clark) (2010-05-02)
Re: How to handle operator of undefined associativity gah@ugcs.caltech.edu (glen herrmannsfeldt) (2010-05-03)
Re: How to handle operator of undefined associativity cr88192@hotmail.com (BGB / cr88192) (2010-05-05)
Re: How to handle operator of undefined associativity gah@ugcs.caltech.edu (glen herrmannsfeldt) (2010-05-05)
Re: How to handle operator of undefined associativity cfc@shell01.TheWorld.com (Chris F Clark) (2010-05-06)
Re: How to handle operator of undefined associativity sh006d3592@blueyonder.co.uk (Stephen Horne) (2010-05-07)
Re: How to handle operator of undefined associativity pat@jantar.org (Patryk Zadarnowski) (2010-05-10)
[2 later articles]
| List of all articles for this month |

From: Chris F Clark <cfc@shell01.TheWorld.com>
Newsgroups: comp.compilers
Date: Sun, 02 May 2010 15:58:06 -0400
Organization: The World Public Access UNIX, Brookline, MA
References: 10-04-073
Keywords: parse
Posted-Date: 02 May 2010 22:35:31 EDT

Pallav singh <singh.pallav@gmail.com> writes:


> we have a unary opeator ( not ) in system verilog assertion.
> the associativity of operator not is undefined.


Associativity is a concept of binary operators, unary operators do not
have (or need) associativity. They always associate inner-most to
outer-most.


> should user be allowed to write multiple not
>
> not not not ( expr );
> not not ( expr );


Yes, the user can legally write such expressions and they mean the
same thing as:


not ( not ( not ( expr ) ) );
not ( not ( expr ) );


Hope this helps,
-Chris


******************************************************************************
Chris Clark email: christopher.f.clark@compiler-resources.com
Compiler Resources, Inc. Web Site: http://world.std.com/~compres
23 Bailey Rd voice: (508) 435-5016
Berlin, MA 01503 USA twitter: @intel_chris
------------------------------------------------------------------------------



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.