Next:
Property 2: grantPoints is
Up:
Example Properties
Previous:
Example Properties
Property 1: there are no calls to both grantPoints and grantLoyaltyPoints for the same applet.
For all loyalty applets
it is the case that a call to
never triggers a call to
.
Lars-Ake Fredlund 2002-09-23
it is the case
that a call to
never triggers a call to
.
