I am looking to understand what mse entities are created for associations (except inheritance i.e. invocations, access, refs) in code and how to exactly treat the duplicates. I have seen a reference of it in a bug reported for VerveineJ but I am not sure if this issue has been discussed elsewhere.<div>


<br></div><div><span class="Apple-style-span" style="font-family: arial, sans-serif; ">For example, </span></div><div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse"><br>
</span></div><div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse">A a;</span></div><div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse">M()</span></div>

<div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse">{</span></div>
<div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse">   a = new A();</span></div><div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse">   a = new A();</span></div>

<div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse">   a.CallAMethod();</span></div><div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse">   a.CallAMethod();</span></div>

<div><font face="arial, sans-serif"><span style="border-collapse:collapse"><br></span></font></div>
<div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse">}</span></div><div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse"><br>
</span></div><div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse">The above code creates these associations (with Verveinesharp) .. </span></div><div><font face="arial, sans-serif"><span style="border-collapse:collapse">1. An invocations to A&#39;s constructor (duplicate constructor invocation is ignored).</span></font></div>

<div><font face="arial, sans-serif"><span style="border-collapse:collapse">2. A field access to the field a (only one instance is recorded, the others are just ignored).</span></font></div>
<div><font face="arial, sans-serif"><span style="border-collapse:collapse">3. An invocation to CallAMethod (field access is already recorded so this one is not considered).</span></font></div>
<div><font face="arial, sans-serif"><span style="border-collapse:collapse">4. A reference from method M() to type A (Duplicate reference is ignored).</span></font></div>
<div><font class="Apple-style-span" face="arial, sans-serif"><span class="Apple-style-span" style="border-collapse: collapse;"><br></span></font></div><div><font face="arial, sans-serif"><span style="border-collapse:collapse">Please let me know if there an anomaly.</span></font></div>

<div><font face="arial, sans-serif"><span style="border-collapse:collapse"><br></span></font></div><div><font face="arial, sans-serif"><span style="border-collapse:collapse">thanx,</span></font></div>
<div><font face="arial, sans-serif"><span style="border-collapse:collapse"><br></span></font></div><div><font face="arial, sans-serif"><span style="border-collapse:collapse">Usman</span></font></div>