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.
For example,
A a;
M()
{
a = new A();
a = new A();
a.CallAMethod();
a.CallAMethod();
}
The above code creates these associations (with Verveinesharp) ..
1. An invocations to A's constructor (duplicate constructor invocation is
ignored).
2. A field access to the field a (only one instance is recorded, the others
are just ignored).
3. An invocation to CallAMethod (field access is already recorded so this
one is not considered).
4. A reference from method M() to type A (Duplicate reference is ignored).
Please let me know if there an anomaly.
thanx,
Usman