soot.jimple.spark.geom.ptinsE
Class PtInsNodeGenerator

java.lang.Object
  soot.jimple.spark.geom.geomPA.IEncodingBroker
      soot.jimple.spark.geom.ptinsE.PtInsNodeGenerator

public class PtInsNodeGenerator
extends IEncodingBroker

Field Summary

Fields inherited from class soot.jimple.spark.geom.geomPA.IEncodingBroker

n_added_flowedge, n_added_pts

Constructor Summary

PtInsNodeGenerator()

Method Summary

IVarAbstraction	generateNode(Node vNode) Generate a node of proper kind.
int	getEncodingType()
void	initFlowGraph(GeomPointsTo ptAnalyzer) Build the initial encoding of the pointer assignments and points-to facts.

Methods inherited from class java.lang.Object

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

Constructor Detail

PtInsNodeGenerator

public PtInsNodeGenerator()

Method Detail

generateNode

public IVarAbstraction generateNode(Node vNode)

Description copied from class: IEncodingBroker

Generate a node of proper kind.

Specified by:

generateNode in class IEncodingBroker

Returns:

getEncodingType

public int getEncodingType()

Specified by:

getEncodingType in class IEncodingBroker

See Also:

SparkOptions.geom_encoding_Geom, SparkOptions.geom_encoding_HeapIns, SparkOptions.geom_encoding_PtIns

initFlowGraph

public void initFlowGraph(GeomPointsTo ptAnalyzer)

Description copied from class: IEncodingBroker

Build the initial encoding of the pointer assignments and points-to facts.

Specified by:

initFlowGraph in class IEncodingBroker