com.ibm.wala.ipa.callgraph.propagation
Interface SSAContextInterpreter

All Superinterfaces:

CFGProvider, RTAContextInterpreter

All Known Implementing Classes:

AstContextInsensitiveSSAContextInterpreter, CloneInterpreter, CommandInterpreter, ContextInsensitiveRTAInterpreter, ContextInsensitiveSSAInterpreter, DefaultSSAInterpreter, DelegatingSSAContextInterpreter, FactoryBypassInterpreter

public interface SSAContextInterpreter
extends RTAContextInterpreter, CFGProvider

An object that provides an interface to local method information needed for CFA.

Method Summary

DefUse	getDU(CGNode node, WarningSet warnings)
IR	getIR(CGNode node, WarningSet warnings)
int	getNumberOfStatements(CGNode node, WarningSet warnings)

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter

iterateCallSites, iterateFieldsRead, iterateFieldsWritten, iterateNewSites, recordFactoryType, setWarnings, understands

Methods inherited from interface com.ibm.wala.ipa.cfg.CFGProvider

getCFG

Method Detail

getIR

IR getIR(CGNode node,
         WarningSet warnings)

Returns:

the IR that models the method context, or null if it's an unmodelled native method

getDU

DefUse getDU(CGNode node,
             WarningSet warnings)

getNumberOfStatements

int getNumberOfStatements(CGNode node,
                          WarningSet warnings)

Returns:

the number of the statements in the IR, or -1 if it's an unmodelled native method.