Syntax

May 4, 2011 at 9:24 PM

Can anyone please tell what will be the new vcc syntax for 

set_closed_owner(l, l')? 

Does set_owns(l,l') refer to _(ghost l->\owns += l->l';)?

 

Thanks.

Coordinator
May 5, 2011 at 7:25 AM

In the new syntax, set_closed_owner(obj, owner) is expressed by _(ghost owner->\owns += obj), similarly for giveup_closed_owner (with -=).

Stephan