comparing old and new values in __success macro

Hi there,
How do I express the condition that a parameter passed by reference remains unchanged after the function returns?

something like this?

__success(__oldvalue(parameter) == __newvalue(parameter))

[255 byte] By [yecril] at [2008-2-15]
# 1
Hi Christopher,
You cannot have something like this:
__success(__oldvalue(parameter) == __newvalue(parameter))

Instead you can try doing this:- make the parameter a "const" so that it remains unchanged after the function returns.

Hope this helps,
Sarita

SaritaBafna at 2007-9-9 > top of Msdn Tech,Visual Studio Team System,Visual Studio Performance Tools (Profiler)...
# 2
But I do not want to make the parameter a constant reference because I want to change it when the function fails. And I want to express the property that the function suceeds if the parameter remains unchanged.
yecril at 2007-9-9 > top of Msdn Tech,Visual Studio Team System,Visual Studio Performance Tools (Profiler)...

Visual Studio Team System

Site Classified