soot.jimple.toolkits.pointer

Class MemoryEfficientRasUnion

java.lang.Object

soot.jimple.toolkits.pointer.Union

soot.jimple.toolkits.pointer.MemoryEfficientRasUnion

All Implemented Interfaces:

PointsToSet

public class MemoryEfficientRasUnion
extends Union

Constructor Summary

Constructors

Constructor and Description
MemoryEfficientRasUnion()

Method Summary

Modifier and Type	Method and Description
boolean	addAll(PointsToSet s) Adds all objects in s into this union of sets, returning true if this union was changed.
java.lang.Object	clone()
boolean	equals(java.lang.Object obj)
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.
java.util.Set	possibleTypes() Set of all possible run-time types of objects in the set.
java.lang.String	toString()

Methods inherited from class soot.jimple.toolkits.pointer.Union

hasNonEmptyIntersection, possibleClassConstants, possibleStringConstants

Methods inherited from class java.lang.Object

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

Constructor Detail

MemoryEfficientRasUnion

public MemoryEfficientRasUnion()

Method Detail

isEmpty

public boolean isEmpty()

Description copied from interface: PointsToSet

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

hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(PointsToSet other)

Description copied from interface: PointsToSet

Returns true if this set shares some objects with other.

addAll

public boolean addAll(PointsToSet s)

Description copied from class: Union

Adds all objects in s into this union of sets, returning true if this union was changed.

Specified by:

addAll in class Union

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

possibleTypes

public java.util.Set possibleTypes()

Description copied from interface: PointsToSet

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

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object