[Soot-list] mayNotAlias , notMayAlias and mustNotAlias used in the instancekey class ?

[Zell]

Hello,

I find this part of codes from package soot.jimple.toolkits.pointer quite
confusing:

public boolean mayNotAlias(InstanceKey otherKey) {
        if (owner.equals(otherKey.owner) && stmtAfterAssignStmt!=null &&
otherKey.stmtAfterAssignStmt!=null) {
            if(lnma.notMayAlias(assignedLocal, stmtAfterAssignStmt,
otherKey.assignedLocal, otherKey.stmtAfterAssignStmt)) {
                return true;
            }
        }

On the first line, the term  may-not-alias is used

On the thrid line, the term not-may-alias is used.

On the "object representative" paper, the term " must-not-alias" is used.

Although they have suble different meanings in English, I guess that, in
SOOT, they are three terms for the same thing, right? Given (l1,s1) and
(l2,s2) two LocalStmt pairs, is that correct to conclude :

 may-not-alias (l1,s1,l2,s2) holds
<==>
 not-may-alias (l1,s1,l2,s2) holds
<==>
must-not-alias (l1,s1,l2,s2) holds

Thanks.
Zell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120816/5840e914/attachment.html