accrue.analysis.pointer.analyses

## Class StickFirstCollections

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

-     public class StickFirstCollections
      extends StickFirstMatches

  Precisely track the first calls into the Java collections framework. 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
    `StickFirstCollections()` Create a new `HeapAbstractionFactory` with the default sensitivity
    `StickFirstCollections(int sensitivity)` Create a new `HeapAbstractionFactory` with the given sensitivity

  - ### 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

    - #### StickFirstCollections

          public StickFirstCollections(int sensitivity)

      Create a new `HeapAbstractionFactory` with the given sensitivity
      Parameters:
        `sensitivity` - how many call sites into the collections framework we want to keep

    - #### StickFirstCollections

          public StickFirstCollections()

      Create a new `HeapAbstractionFactory` with the default sensitivity

  - ### Method Detail

    - #### toString

          public java.lang.String toString()

      Specified by:
        `toString` in class `StickFirstMatches`