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 java.lang.Object
implements IRFactory<SyntheticMethod>

Constructor Summary

Constructors

Constructor and Description
SyntheticIRFactory()

Method Summary

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

SyntheticIRFactory

public SyntheticIRFactory()

Method Detail

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>