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

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 com.ibm.wala.ipa.callgraph.propagation.rta.DelegatingRTAContextInterpreter

iterateCallSites, iterateFieldsRead, iterateFieldsWritten, iterateNewSites, toString

Methods inherited from class java.lang.Object

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

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

iterateCallSites

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.rta.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