com.ibm.wala.cast.java.client.impl
Class ZeroOneContainerCFABuilderFactory

java.lang.Object
  com.ibm.wala.cast.java.client.impl.ZeroOneContainerCFABuilderFactory

All Implemented Interfaces:

CallGraphBuilderFactory

public class ZeroOneContainerCFABuilderFactory
extends java.lang.Object
implements CallGraphBuilderFactory

Field Summary

Fields inherited from interface com.ibm.wala.client.CallGraphBuilderFactory

IMPL_PROPERTY, OBJECT_SENSITIVE_CONTAINER_HACK_CFA_BUILDER_FACTORY, RTA_BUILDER_FACTORY, XTA_BUILDER_FACTORY, XTA_CONTAINER_BUILDER_FACTORY, ZERO_CFA_BUILDER_FACTORY, ZERO_CONTAINER_CFA_BUILDER_FACTORY, ZERO_ONE_CFA_BUILDER_FACTORY, ZERO_ONE_CONTAINER_CFA_BUILDER_FACTORY

Constructor Summary

ZeroOneContainerCFABuilderFactory()

Method Summary

CallGraphBuilder

make(AnalysisOptions options, IClassHierarchy cha, AnalysisScope scope, WarningSet warnings, boolean keepPointsTo)

Methods inherited from class java.lang.Object

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

Constructor Detail

ZeroOneContainerCFABuilderFactory

public ZeroOneContainerCFABuilderFactory()

Method Detail

make

public CallGraphBuilder make(AnalysisOptions options,
                             IClassHierarchy cha,
                             AnalysisScope scope,
                             WarningSet warnings,
                             boolean keepPointsTo)

Specified by:

make in interface CallGraphBuilderFactory

Parameters:

options - options that govern call graph construction

cha - governing class hierarchy

scope - representation of the analysis scope

warnings - an object which tracks analysis warnings

keepPointsTo - preserve PointsTo graph for posterity?