accrue.analysis.pointer.analyses

## Class StickFirstPrimitive

- java.lang.Object
- - accrue.analysis.pointer.analyses.HeapAbstractionFactory
  - - accrue.analysis.pointer.analyses.StickFirstMatches
    - - accrue.analysis.pointer.analyses.StickFirstPrimitive

-     public class StickFirstPrimitive
      extends StickFirstMatches

  Precisely track the first calls into the one of the 8 Java primitive wrappers. Nested calls up to the sensitivity will "stick" in the context, further calls will be dropped.

  This should be used together with a more precise analysis context using `CrossProductAnalysis`

- - ### Field Summary

    - ### Fields inherited from class accrue.analysis.pointer.analyses.StickFirstMatches

      `EMPTY_CONTEXT`

  - ### Constructor Summary

    Constructors
    Constructor and Description
    `StickFirstPrimitive()` Create an analysis that tracks methods called on Primitive wrapper classes with default sensitivity.
    `StickFirstPrimitive(int sensitivity)` Create an analysis that tracks methods called on Primitive wrapper classes.

  - ### Method Summary

    Methods
    Modifier and Type | Method and Description
    --- | ---
    `java.lang.String` | `toString()`

    - ### Methods inherited from class accrue.analysis.pointer.analyses.StickFirstMatches

      `init, initialContextImpl, mergeImpl, recordImpl`

    - ### Methods inherited from class accrue.analysis.pointer.analyses.HeapAbstractionFactory

      `clearMemoization, fixContextForReferenceVariable, initialContext, memoize, memoize, merge, record`

    - ### Methods inherited from class java.lang.Object

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

- - ### Constructor Detail

    - #### StickFirstPrimitive

          public StickFirstPrimitive(int sensitivity)

      Create an analysis that tracks methods called on Primitive wrapper classes.
      Parameters:
        `sensitivity` - depth of the call stack to keep track of

    - #### StickFirstPrimitive

          public StickFirstPrimitive()

      Create an analysis that tracks methods called on Primitive wrapper classes with default sensitivity.

  - ### Method Detail

    - #### toString

          public java.lang.String toString()

      Specified by:
        `toString` in class `StickFirstMatches`