Module dev.civl.abc

Package dev.civl.abc.analysis.pointsTo.IF

Class SimplePointsToAnalysis

java.lang.Object

dev.civl.abc.analysis.pointsTo.IF.SimplePointsToAnalysis

public class SimplePointsToAnalysis
extends Object

The implementation that instantiates classes for SimplePointsToAnalysisIF

Constructor Summary

Constructors

Constructor	Description
SimplePointsToAnalysis()

Method Summary

Modifier and Type	Method	Description
static FlowInsensePointsToAnalyzer	flowInsensePointsToAnalyzer(AST program, TypeFactory typeFactory)

Methods inherited from class java.lang.Object

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

Constructor Details

SimplePointsToAnalysis

public SimplePointsToAnalysis()

Method Details

flowInsensePointsToAnalyzer

public static FlowInsensePointsToAnalyzer flowInsensePointsToAnalyzer(AST program,
 TypeFactory typeFactory)