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 and Description
SyntheticIRFactory()

Method Summary

Methods

Modifier and Type	Method and 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 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 Detail

SyntheticIRFactory

public SyntheticIRFactory()

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 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>