Class DelegatingSSAContextInterpreter

java.lang.Object

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

com.ibm.wala.ipa.callgraph.propagation.cfa.DelegatingSSAContextInterpreter

All Implemented Interfaces:

CHAContextInterpreter, RTAContextInterpreter, SSAContextInterpreter

public class DelegatingSSAContextInterpreter
extends DelegatingRTAContextInterpreter
implements SSAContextInterpreter

An SSAContextInterpreter that first checks with A, then defaults to B.

Constructor Summary

Constructors

Constructor	Description
DelegatingSSAContextInterpreter(SSAContextInterpreter A, SSAContextInterpreter B)	neither A nor B should be null.

Method Summary

Modifier and Type	Method	Description
ControlFlowGraph<SSAInstruction, ISSABasicBlock>	getCFG(CGNode node)
DefUse	getDU(CGNode node)
IR	getIR(CGNode node)
IRView	getIRView(CGNode node)
int	getNumberOfStatements(CGNode node)
boolean	recordFactoryType(CGNode node, IClass klass)	record that the "factory" method of a node should be interpreted to allocate a particular class.
boolean	understands(CGNode node)	Does this object understand the given method? The caller had better check this before inquiring on other properties.

Methods inherited from class DelegatingRTAContextInterpreter

iterateCallSites, iterateFieldsRead, iterateFieldsWritten, iterateNewSites, toString

Methods inherited from class Object

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

Methods inherited from interface CHAContextInterpreter

iterateCallSites

Methods inherited from interface RTAContextInterpreter

iterateFieldsRead, iterateFieldsWritten, iterateNewSites

Constructor Details

DelegatingSSAContextInterpreter

public DelegatingSSAContextInterpreter(SSAContextInterpreter A,
 SSAContextInterpreter B)

neither A nor B should be null.

Method Details

getIR

public IR getIR(CGNode node)

Specified by:

getIR in interface SSAContextInterpreter

Returns:

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

getIRView

public IRView getIRView(CGNode node)

Specified by:

getIRView in interface SSAContextInterpreter

getNumberOfStatements

public int getNumberOfStatements(CGNode node)

Specified by:

getNumberOfStatements in interface SSAContextInterpreter

Returns:

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

understands

public boolean understands(CGNode node)

Description copied from interface: CHAContextInterpreter

Does this object understand the given method? The caller had better check this before inquiring on other properties.

Specified by:

understands in interface CHAContextInterpreter

Overrides:

understands in class DelegatingRTAContextInterpreter

recordFactoryType

public boolean recordFactoryType(CGNode node,
 IClass klass)

Description copied from interface: RTAContextInterpreter

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?

Specified by:

recordFactoryType in interface RTAContextInterpreter

Overrides:

recordFactoryType in class DelegatingRTAContextInterpreter

Returns:

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

getCFG

public ControlFlowGraph<SSAInstruction, ISSABasicBlock> getCFG(CGNode node)

Specified by:

getCFG in interface SSAContextInterpreter

getDU

public DefUse getDU(CGNode node)

Specified by:

getDU in interface SSAContextInterpreter

Returns:

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