Re: How to handle operator of undefined associativity

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

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