ntifier">public_function</span><span class="special">(</span><a class="link" href="virtual_.html" title="Class virtual_">virtual_</a> <span class="special">*</span> v<span class="special">,</span> <span class="identifier">Class</span> <span class="special">*</span> obj<span class="special">)</span><span class="special">;</span></pre></div>
<div class="refsect1">
<a name="idm45397958804768"></a><h2>Description</h2>
<p>This is used to specify preconditions, postconditions, exception guarantees, old value copi