java.lang.Object
- com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder
- - com.ibm.wala.ipa.callgraph.propagation.rta.AbstractRTABuilder
  - - com.ibm.wala.ipa.callgraph.propagation.rta.BasicRTABuilder

All Implemented Interfaces:

CallGraphBuilder
```
public class BasicRTABuilder
extends AbstractRTABuilder
```
TODO: refactor to eliminate more redundancy with SSACallGraphBuilder

Nested Class Summary
- Nested classes/interfaces inherited from class com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder
  PropagationCallGraphBuilder.ArrayLoadOperator, PropagationCallGraphBuilder.ArrayStoreOperator, PropagationCallGraphBuilder.FilterOperator, PropagationCallGraphBuilder.GetFieldOperator, PropagationCallGraphBuilder.InstanceArrayStoreOperator, PropagationCallGraphBuilder.InstancePutFieldOperator, PropagationCallGraphBuilder.InverseFilterOperator, PropagationCallGraphBuilder.MutableBoolean, PropagationCallGraphBuilder.PutFieldOperator, PropagationCallGraphBuilder.TypedPointerKey

Field Summary
- Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.rta.AbstractRTABuilder
  allocatedClasses, clinitProcessed, clone2Assign, DEBUG, DEBUG_LEVEL
- Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder
  assignOperator, callGraph, cha, contextSelector, DEBUG_GENERAL, entrypointCallSites, filterOperator, instanceKeyFactory, inverseFilterOperator, options, pointerKeyFactory, system

Constructor Summary

Constructors
Constructor	Description
`BasicRTABuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, ContextSelector contextSelector, SSAContextInterpreter contextInterpreter)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`protected RTASelectorKey`	`getKeyForSelector(Selector selector)`
`protected PointerKey`	`getKeyForSite(CallSiteReference site)`
`protected UnaryOperator<PointsToSetVariable>`	`makeDispatchOperator(CallSiteReference site, CGNode node)`
`protected void`	`updateSetsForNewClass(IClass klass, InstanceKey iKey, CGNode node, NewSiteReference n)`	Perform needed bookkeeping when a new class is discovered.

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.rta.AbstractRTABuilder
addConstraintsFromNode, createEmptyCallGraph, customInit, getAllocatedTypes, getPointerAnalysis, getRTAContextInterpreter, makeContextInterpreter, makeContextSelector, makeSolver, makeSystem, processClassInitializer, unconditionallyAddConstraintsFromNode, visitInvoke, visitNew

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder
addAssignmentsForCatchPointerKey, addConstraintsFromChangedNode, addConstraintsFromNewNodes, assignInstanceToCatch, catches, filterForClass, getAnalysisCache, getCallGraph, getClassHierarchy, getContextInterpreter, getContextSelector, getFilteredPointerKeyForLocal, getFilteredPointerKeyForLocal, getFilteredPointerKeyForLocal, getInstanceKeyForAllocation, getInstanceKeyForConstant, getInstanceKeyForMetadataObject, getInstanceKeyForMultiNewArray, getInstanceKeys, getInstanceKeysForClass, getJavaLangObject, getMutableInstanceKeysForClass, getOptions, getPointerKeyFactory, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForReturnValue, getPointerKeyForStaticField, getPropagationSystem, getSolver, getSystem, getTargetForCall, haveAlreadyVisited, isJavaLangObject, makeCallGraph, makeCallGraph, markAlreadyVisited, markChanged, markDiscovered, representsNullType, setContextInterpreter, setContextSelector, setInstanceKeys, setPointerKeyFactory, wasChanged

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

Constructor Detail

BasicRTABuilder

public BasicRTABuilder(IClassHierarchy cha,
                       AnalysisOptions options,
                       AnalysisCache cache,
                       ContextSelector contextSelector,
                       SSAContextInterpreter contextInterpreter)

Method Detail

updateSetsForNewClass

protected void updateSetsForNewClass(IClass klass,
                                     InstanceKey iKey,
                                     CGNode node,
                                     NewSiteReference n)

Perform needed bookkeeping when a new class is discovered.

Specified by:: updateSetsForNewClass in class AbstractRTABuilder

getKeyForSite

protected PointerKey getKeyForSite(CallSiteReference site)

Specified by:: getKeyForSite in class AbstractRTABuilder

getKeyForSelector

protected RTASelectorKey getKeyForSelector(Selector selector)

makeDispatchOperator

protected UnaryOperator<PointsToSetVariable> makeDispatchOperator(CallSiteReference site,
                                                                  CGNode node)

Specified by:: makeDispatchOperator in class AbstractRTABuilder

Class BasicRTABuilder

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder

Field Summary

Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.rta.AbstractRTABuilder

Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder

Constructor Summary

Method Summary

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.rta.AbstractRTABuilder

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder

Methods inherited from class java.lang.Object

Constructor Detail

BasicRTABuilder

Method Detail

updateSetsForNewClass

getKeyForSite

getKeyForSelector

makeDispatchOperator