joeq.Compiler.Quad
Class MethodInline.InlineSelectedCalls

java.lang.Object
  joeq.Compiler.Quad.MethodInline.InlineSelectedCalls

All Implemented Interfaces:

MethodInline.Oracle

Enclosing class:

MethodInline

public static class MethodInline.InlineSelectedCalls
extends Object
implements MethodInline.Oracle

Inline methods whose munged names are read from file methodNameFile (methods.txt).

Field Summary

protected CallGraph	cg
protected HashMap	knownMethods
static String	methodNameFile

Constructor Summary

MethodInline.InlineSelectedCalls(CallGraph cg)

Method Summary

MethodInline.InliningDecision

shouldInline(ControlFlowGraph caller, BasicBlock bb, Quad callSite)

Methods inherited from class java.lang.Object

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

Field Detail

cg

protected CallGraph cg

knownMethods

protected HashMap knownMethods

methodNameFile

public static final String methodNameFile

See Also:

Constant Field Values

Constructor Detail

MethodInline.InlineSelectedCalls

public MethodInline.InlineSelectedCalls(CallGraph cg)

Method Detail

shouldInline

public MethodInline.InliningDecision shouldInline(ControlFlowGraph caller,
                                                  BasicBlock bb,
                                                  Quad callSite)

Specified by:

shouldInline in interface MethodInline.Oracle