joeq.Compiler.Analysis.FlowInsensitive
Class BogusSummaryProvider

java.lang.Object
  joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider

public class BogusSummaryProvider
extends Object

Constructor Summary

BogusSummaryProvider()

Method Summary

jq_Method	getReplacementMethod(jq_Method m)
jq_Method	getReplacementMethod(jq_Method m, jq_Type type) Caching method to return a replacement for @param m.
boolean	hasStaticReplacement(jq_Method replacement)

Methods inherited from class java.lang.Object

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

Constructor Detail

BogusSummaryProvider

public BogusSummaryProvider()

Method Detail

getReplacementMethod

public jq_Method getReplacementMethod(jq_Method m)

getReplacementMethod

public jq_Method getReplacementMethod(jq_Method m,
                                      jq_Type type)

Caching method to return a replacement for @param m.

Parameters:

type -

Returns:

replacement for m.

hasStaticReplacement

public boolean hasStaticReplacement(jq_Method replacement)