Class ArgumentSpecialization.ArgumentCountIRFactory

java.lang.Object

com.ibm.wala.ssa.DefaultIRFactory

com.ibm.wala.cast.ir.ssa.AstIRFactory.AstDefaultIRFactory<IMethod>

com.ibm.wala.cast.js.ipa.callgraph.ArgumentSpecialization.ArgumentCountIRFactory

All Implemented Interfaces:

IRFactory<IMethod>

Enclosing class:

ArgumentSpecialization

public static class ArgumentSpecialization.ArgumentCountIRFactory
extends AstIRFactory.AstDefaultIRFactory<IMethod>

Constructor Summary

Constructors

Constructor	Description
ArgumentCountIRFactory(SSAOptions defaultOptions)

Method Summary

Modifier and Type	Method	Description
boolean	contextIsIrrelevant(IMethod method)	Is the Context irrelevant as to structure of the IR for a particular IMethod?
ControlFlowGraph<SSAInstruction, ISSABasicBlock>	makeCFG(IMethod method, Context context)
IR	makeIR(IMethod method, Context context, SSAOptions options)	Build an SSA IR for a method in a particular context

Methods inherited from class Object

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

Constructor Details

ArgumentCountIRFactory

public ArgumentCountIRFactory(SSAOptions defaultOptions)

Method Details

contextIsIrrelevant

public boolean contextIsIrrelevant(IMethod method)

Description copied from class: DefaultIRFactory

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

Specified by:

contextIsIrrelevant in interface IRFactory<IMethod>

Overrides:

contextIsIrrelevant in class DefaultIRFactory

makeIR

public IR makeIR(IMethod method,
 Context context,
 SSAOptions options)

Description copied from interface: IRFactory

Build an SSA IR for a method in a particular context

Specified by:

makeIR in interface IRFactory<IMethod>

Overrides:

makeIR in class AstIRFactory.AstDefaultIRFactory<IMethod>

makeCFG

public ControlFlowGraph<SSAInstruction, ISSABasicBlock> makeCFG(IMethod method,
 Context context)

Overrides:

makeCFG in class AstIRFactory.AstDefaultIRFactory<IMethod>