com.ibm.wala.ipa.callgraph.propagation.rta

Interface RTAContextInterpreter

All Superinterfaces:

CHAContextInterpreter

All Known Subinterfaces:

SSAContextInterpreter

All Known Implementing Classes:

AbstractReflectionInterpreter, ClassFactoryContextInterpreter, ClassNewInstanceContextInterpreter, CloneInterpreter, ContextInsensitiveRTAInterpreter, ContextInsensitiveSSAInterpreter, DefaultRTAInterpreter, DefaultSSAInterpreter, DelegatingRTAContextInterpreter, DelegatingSSAContextInterpreter, FactoryBypassInterpreter, FallbackContextInterpreter, GetClassContextInterpeter, GetMethodContextInterpreter, JavaLangClassContextInterpreter, ReflectiveInvocationInterpreter

public interface RTAContextInterpreter
extends CHAContextInterpreter

This object will analyze a method in a context and return information needed for RTA.

Method Summary

Modifier and Type	Method and Description
java.util.Iterator<FieldReference>	iterateFieldsRead(CGNode node)
java.util.Iterator<FieldReference>	iterateFieldsWritten(CGNode node)
java.util.Iterator<NewSiteReference>	iterateNewSites(CGNode node)
boolean	recordFactoryType(CGNode node, IClass klass) record that the "factory" method of a node should be interpreted to allocate a particular class.

Methods inherited from interface com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter

iterateCallSites, understands

Method Detail

iterateNewSites

java.util.Iterator<NewSiteReference> iterateNewSites(CGNode node)

Specified by:

iterateNewSites in interface CHAContextInterpreter

Returns:

an Iterator of the types that may be allocated by a given method in a given context.

iterateFieldsRead

java.util.Iterator<FieldReference> iterateFieldsRead(CGNode node)

Returns:

iterator of FieldReference

iterateFieldsWritten

java.util.Iterator<FieldReference> iterateFieldsWritten(CGNode node)

Returns:

iterator of FieldReference

recordFactoryType

boolean recordFactoryType(CGNode node,
                          IClass klass)

record that the "factory" method of a node should be interpreted to allocate a particular class.

TODO: this is a little ugly, is there a better place to move this?

Returns:

true iff a NEW type was recorded, false if the type was previously recorded.