|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.cmu.cs.crystal.analysis.alias.SingleObjectAliasOps
public class SingleObjectAliasOps
Lattice operations for AliasLE
.
Method Summary | |
---|---|
boolean |
atLeastAsPrecise(AliasLE info,
AliasLE reference,
ASTNode node)
Compares analysis information for precision; more precisely, determines whether the first argument is at least as precise as the second. |
AliasLE |
bottom()
Responsible for returning a lattice that represents no knowledge. |
AliasLE |
copy(AliasLE original)
Creates a new deep copy of the given analysis information. |
static SingleObjectAliasOps |
getAliasOps()
Returns the singleton instance of this class. |
AliasLE |
join(AliasLE someInfo,
AliasLE otherInfo,
ASTNode node)
Carries out a join on this lattice and another lattice. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static SingleObjectAliasOps getAliasOps()
public boolean atLeastAsPrecise(AliasLE info, AliasLE reference, ASTNode node)
IAbstractLatticeOperations
atLeastAsPrecise
in interface IAbstractLatticeOperations<AliasLE,ASTNode>
atLeastAsPrecise
in interface ILatticeOperations<AliasLE>
info
- Analysis information to be compared against reference
reference
- the other LE to compare info
with.node
- ASTNode where the two paths were originally forked apart (e.g., if,
while, try, switch, etc.) or null
if this comparison occurs on a "dummy" node.
true
if the first argument is at least as precise as the
second; false
otherwise, including if the two arguments are incomparable.public AliasLE bottom()
IAbstractLatticeOperations
bottom
in interface IAbstractLatticeOperations<AliasLE,ASTNode>
bottom
in interface ILatticeOperations<AliasLE>
public AliasLE copy(AliasLE original)
IAbstractLatticeOperations
copy
in interface IAbstractLatticeOperations<AliasLE,ASTNode>
copy
in interface ILatticeOperations<AliasLE>
original
- analysis information to be copied.
public AliasLE join(AliasLE someInfo, AliasLE otherInfo, ASTNode node)
IAbstractLatticeOperations
join
in interface IAbstractLatticeOperations<AliasLE,ASTNode>
join
in interface ILatticeOperations<AliasLE>
someInfo
- LE to join with otherInfo
.otherInfo
- The other LE to join with, do not modify.node
- ASTNode where the two paths were originally forked apart (e.g., if,
while, try, switch, etc.) or null
if this join occurs on a "dummy" node.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |