soot.jimple.toolkits.pointer
Class MemoryEfficientRasUnion

java.lang.Object
  extended bysoot.jimple.toolkits.pointer.Union
      extended bysoot.jimple.toolkits.pointer.MemoryEfficientRasUnion
All Implemented Interfaces:
PointsToSet

public class MemoryEfficientRasUnion
extends Union


Constructor Summary
MemoryEfficientRasUnion()
           
 
Method Summary
 boolean addAll(PointsToSet s)
          Adds all objects in s into this union of sets, returning true if this union was changed.
 Object clone()
           
 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.
 Set possibleTypes()
          Set of all possible run-time types of objects in the set.
 
Methods inherited from class soot.jimple.toolkits.pointer.Union
hasNonEmptyIntersection, possibleClassConstants, possibleStringConstants
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, 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 Object clone()

possibleTypes

public Set possibleTypes()
Description copied from interface: PointsToSet
Set of all possible run-time types of objects in the set.