com.ibm.wala.ssa

Class DefaultIRFactory

java.lang.Object

com.ibm.wala.ssa.DefaultIRFactory

All Implemented Interfaces:

IRFactory<IMethod>

public class DefaultIRFactory
extends Object
implements IRFactory<IMethod>

Default implementation of IRFactory. This creates IR objects from Shrike methods, and directly from synthetic methods.

Constructor Summary

Constructors

Constructor and Description
DefaultIRFactory()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	contextIsIrrelevant(IMethod method) Is the Context irrelevant as to structure of the IR for a particular IMethod?
ControlFlowGraph	makeCFG(IMethod method, Context c)
IR	makeIR(IMethod 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

DefaultIRFactory

public DefaultIRFactory()

Method Detail

makeCFG

public ControlFlowGraph makeCFG(IMethod method,
                       Context c)
                         throws IllegalArgumentException

Throws:

IllegalArgumentException

makeIR

public IR makeIR(IMethod method,
        Context c,
        SSAOptions options)
          throws IllegalArgumentException

Description copied from interface: IRFactory

Build an SSA IR for a method in a particular context

Specified by:

makeIR in interface IRFactory<IMethod>

Throws:

IllegalArgumentException

contextIsIrrelevant

public boolean contextIsIrrelevant(IMethod method)

Is the Context irrelevant as to structure of the IR for a particular IMethod?

Specified by:

contextIsIrrelevant in interface IRFactory<IMethod>