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

All Superinterfaces:

RTAContextInterpreter

All Known Implementing Classes:

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

public interface SSAContextInterpreter
extends RTAContextInterpreter

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

Method Summary

ControlFlowGraph	getCFG(CGNode n, WarningSet warnings)
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

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)

Returns:

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

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.

getCFG

ControlFlowGraph getCFG(CGNode n,
                        WarningSet warnings)