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

Modifier and Type	Method	Description
boolean	contextIsIrrelevant(SyntheticMethod method)	Does this factory always return the same IR for a method, regardless of context?
InducedCFG	makeCFG(SyntheticMethod method)
IR	makeIR(SyntheticMethod method, Context C, SSAOptions options)	Build an SSA IR for a method in a particular context

Methods inherited from class java.lang.Object

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

Constructor Details

SyntheticIRFactory

public SyntheticIRFactory()

Method Details

makeCFG

public InducedCFG makeCFG(SyntheticMethod method)

makeIR

public IR makeIR(SyntheticMethod method,
 Context C,
 SSAOptions options)

Description copied from interface: IRFactory

Build an SSA IR for a method in a particular context

Specified by:

makeIR in interface IRFactory<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 interface IRFactory<SyntheticMethod>