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 java.lang.Object
implements MethodInline.Oracle

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

Field Summary

static java.lang.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

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

Field Detail

methodNameFile

public static final java.lang.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