qilin.core.sets

Class UnmodifiablePointsToSet

java.lang.Object

qilin.core.sets.UnmodifiablePointsToSet

All Implemented Interfaces:

PointsToSet

public class UnmodifiablePointsToSet
extends Object
implements PointsToSet

Constructor Summary

Constructors

Constructor and Description
UnmodifiablePointsToSet(PTA pta, PointsToSetInternal pts)

Method Summary

Modifier and Type	Method and Description
void	clear()
boolean	contains(AllocNode n) Returns true iff the set contains n.
boolean	equals(Object o)
int	hashCode()
boolean	hasNonEmptyIntersection(PointsToSet other) Returns true if this set shares some objects with other.
boolean	isEmpty() Returns true if this set contains no run-time objects.
Iterator<AllocNode>	iterator()
boolean	pointsToSetEquals(Object other) Returns true if and only if other holds the same alloc nodes as this.
int	pointsToSetHashCode() Computes a hash code based on the contents of the points-to set.
Set<ClassConstant>	possibleClassConstants() If this points-to set consists entirely of objects of type java.lang.Class of a known class, returns a set of ClassConstant's that are these classes.
Set<String>	possibleStringConstants() If this points-to set consists entirely of string constants, returns a set of these constant strings.
Set<Type>	possibleTypes() Set of all possible run-time types of objects in the set.
int	size() Size of objects in this set.
PointsToSet	toCIPointsToSet()
Collection<AllocNode>	toCollection()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

UnmodifiablePointsToSet

public UnmodifiablePointsToSet(PTA pta,
                               PointsToSetInternal pts)

Method Detail

isEmpty

public boolean isEmpty()

Description copied from interface: PointsToSet

Returns true if this set contains no run-time objects.

Specified by:

isEmpty in interface PointsToSet

contains

public boolean contains(AllocNode n)

Description copied from interface: PointsToSet

Returns true iff the set contains n.

Specified by:

contains in interface PointsToSet

hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(PointsToSet other)

Description copied from interface: PointsToSet

Returns true if this set shares some objects with other.

Specified by:

hasNonEmptyIntersection in interface PointsToSet

possibleTypes

public Set<Type> possibleTypes()

Description copied from interface: PointsToSet

Set of all possible run-time types of objects in the set.

Specified by:

possibleTypes in interface PointsToSet

possibleStringConstants

public Set<String> possibleStringConstants()

Description copied from interface: PointsToSet

If this points-to set consists entirely of string constants, returns a set of these constant strings. If this point-to set may contain something other than constant strings, returns null.

Specified by:

possibleStringConstants in interface PointsToSet

possibleClassConstants

public Set<ClassConstant> possibleClassConstants()

Description copied from interface: PointsToSet

If this points-to set consists entirely of objects of type java.lang.Class of a known class, returns a set of ClassConstant's that are these classes. If this point-to set may contain something else, returns null.

Specified by:

possibleClassConstants in interface PointsToSet

size

public int size()

Description copied from interface: PointsToSet

Size of objects in this set.

Specified by:

size in interface PointsToSet

clear

public void clear()

Specified by:

clear in interface PointsToSet

toString

public String toString()

Overrides:

toString in class Object

pointsToSetHashCode

public int pointsToSetHashCode()

Description copied from interface: PointsToSet

Computes a hash code based on the contents of the points-to set. Note that hashCode() is not overwritten on purpose. This is because Spark relies on comparison by object identity.

Specified by:

pointsToSetHashCode in interface PointsToSet

pointsToSetEquals

public boolean pointsToSetEquals(Object other)

Description copied from interface: PointsToSet

Returns true if and only if other holds the same alloc nodes as this. Note that equals() is not overwritten on purpose. This is because Spark relies on comparison by object identity.

Specified by:

pointsToSetEquals in interface PointsToSet

toCIPointsToSet

public PointsToSet toCIPointsToSet()

Specified by:

toCIPointsToSet in interface PointsToSet

toCollection

public Collection<AllocNode> toCollection()

Specified by:

toCollection in interface PointsToSet

iterator

public Iterator<AllocNode> iterator()

Specified by:

iterator in interface PointsToSet

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object