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
ConstructorDescriptionneither A nor B should be null. -
Method Summary
Modifier and TypeMethodDescriptionint
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
neither A nor B should be null.
-
-
Method Details
-
getIR
- Specified by:
getIR
in interfaceSSAContextInterpreter
- Returns:
- the IR that models the method context, or null if it's an unmodelled native method
-
getIRView
- Specified by:
getIRView
in interfaceSSAContextInterpreter
-
getNumberOfStatements
- Specified by:
getNumberOfStatements
in interfaceSSAContextInterpreter
- Returns:
- the number of the statements in the IR, or -1 if it's an unmodelled native method.
-
understands
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 interfaceCHAContextInterpreter
- Overrides:
understands
in classDelegatingRTAContextInterpreter
-
recordFactoryType
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 interfaceRTAContextInterpreter
- Overrides:
recordFactoryType
in classDelegatingRTAContextInterpreter
- Returns:
- true iff a NEW type was recorded, false if the type was previously recorded.
-
getCFG
- Specified by:
getCFG
in interfaceSSAContextInterpreter
-
getDU
- Specified by:
getDU
in interfaceSSAContextInterpreter
- Returns:
- DefUse for the IR that models the method context, or null if it's an unmodelled native method
-