Union (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.jimple.toolkits.pointer.Union

All Implemented Interfaces:

PointsToSet

Direct Known Subclasses:

FullObjectSet, MemoryEfficientRasUnion
```
public abstract class Union
extends Object
implements PointsToSet
```
A generic interface to some set of runtime objects computed by a pointer analysis.

Constructor Summary

Constructors
Constructor Description

Union()

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`abstract boolean`	`addAll(PointsToSet s)`	Adds all objects in s into this union of sets, returning true if this union was changed.
`static boolean`	`hasNonEmptyIntersection(PointsToSet s1, PointsToSet s2)`
`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.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface soot.PointsToSet
hasNonEmptyIntersection, isEmpty, possibleTypes

- Constructor Detail
  - Union
```
public Union()
```
- Method Detail
  - addAll
```
public abstract boolean addAll(PointsToSet s)
```
    Adds all objects in s into this union of sets, returning true if this union was changed.
  - hasNonEmptyIntersection
```
public static boolean hasNonEmptyIntersection(PointsToSet s1,
                                              PointsToSet s2)
```
  - 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