public class StickFirstCallee extends StickFirstMatches
CrossProductAnalysis
, to gain distinguish calls to particular methods
or packages. For example to calls to the standard library by using
"java.lang" for the prefix.EMPTY_CONTEXT
Constructor and Description |
---|
StickFirstCallee()
Create an analysis with the default sensitivity and default string.
|
StickFirstCallee(int sensitivity,
java.lang.String prefixToTrack)
Create an analysis that tracks methods with a particular prefix with the
given context-call-stack depth, once that depth is reached the context is
"stuck" and no more call sites are added.
|
StickFirstCallee(java.lang.String prefixToTrack)
Create an analysis that tracks methods with a particular prefix with the
given context-call-stack depth, once that depth is reached the context is
"stuck" and no more call sites are added.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
init, initialContextImpl, mergeImpl, recordImpl
clearMemoization, fixContextForReferenceVariable, initialContext, memoize, memoize, merge, record
public StickFirstCallee()
public StickFirstCallee(int sensitivity, java.lang.String prefixToTrack)
sensitivity
- depth of the call stack to keep track ofprefixToTrack
- Methods with this prefix will be tracked up to the sensitivity,
deeper than the sensitivity they will "stick" in the context.public StickFirstCallee(java.lang.String prefixToTrack)
prefixToTrack
- Methods with this prefix will be tracked up to the sensitivity,
deeper than the sensitivity they will "stick" in the context.public java.lang.String toString()
toString
in class StickFirstMatches