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 booleancontextIsIrrelevant(SyntheticMethod method)Does this factory always return the same IR for a method, regardless of context?ControlFlowGraphmakeCFG(SyntheticMethod method, Context C)IRmakeIR(SyntheticMethod method, Context C, SSAOptions options)Build an SSAIRfor 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:IRFactoryBuild an SSAIRfor a method in a particular context- Specified by:
makeIRin interfaceIRFactory<SyntheticMethod>
-
contextIsIrrelevant
public boolean contextIsIrrelevant(SyntheticMethod method)
Description copied from interface:IRFactoryDoes this factory always return the same IR for a method, regardless of context?- Specified by:
contextIsIrrelevantin interfaceIRFactory<SyntheticMethod>
-
-