Package com.ibm.wala.ipa.summaries
Class SyntheticIRFactory
- java.lang.Object
-
- com.ibm.wala.ipa.summaries.SyntheticIRFactory
-
- All Implemented Interfaces:
IRFactory<SyntheticMethod>
public class SyntheticIRFactory extends Object implements IRFactory<SyntheticMethod>
-
-
Constructor Summary
Constructors Constructor Description SyntheticIRFactory()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
contextIsIrrelevant(SyntheticMethod method)
Does this factory always return the same IR for a method, regardless of context?ControlFlowGraph
makeCFG(SyntheticMethod method, Context C)
IR
makeIR(SyntheticMethod method, Context C, SSAOptions options)
Build an SSAIR
for a method in a particular context
-
-
-
Method Detail
-
makeCFG
public ControlFlowGraph makeCFG(SyntheticMethod method, Context C)
-
makeIR
public IR makeIR(SyntheticMethod method, Context C, SSAOptions options)
Description copied from interface:IRFactory
Build an SSAIR
for a method in a particular context- Specified by:
makeIR
in interfaceIRFactory<SyntheticMethod>
-
contextIsIrrelevant
public boolean contextIsIrrelevant(SyntheticMethod method)
Description copied from interface:IRFactory
Does this factory always return the same IR for a method, regardless of context?- Specified by:
contextIsIrrelevant
in interfaceIRFactory<SyntheticMethod>
-
-