Package pascal.taie.analysis.pta.pts

Class PointsToSetFactory

java.lang.Object

pascal.taie.analysis.pta.pts.PointsToSetFactory

public class PointsToSetFactory
extends Object

Provides static factory methods for PointsToSet.

Constructor Summary

Constructors

Constructor	Description
PointsToSetFactory(Indexer<CSObj> objIndexer)

Method Summary

Modifier and Type	Method	Description
PointsToSet	make()
PointsToSet	make(CSObj obj)	Convenient method for making one-element points-to set.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PointsToSetFactory

public PointsToSetFactory(Indexer<CSObj> objIndexer)

Method Details

make

public PointsToSet make()

make

public PointsToSet make(CSObj obj)

Convenient method for making one-element points-to set.