public class StickFirstCollections extends StickFirstMatches
This should be used together with a more precise analysis context using
CrossProductAnalysis
EMPTY_CONTEXT
Constructor and Description |
---|
StickFirstCollections()
Create a new
HeapAbstractionFactory with the default sensitivity |
StickFirstCollections(int sensitivity)
Create a new
HeapAbstractionFactory with the given sensitivity |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
init, initialContextImpl, mergeImpl, recordImpl
clearMemoization, fixContextForReferenceVariable, initialContext, memoize, memoize, merge, record
public StickFirstCollections(int sensitivity)
HeapAbstractionFactory
with the given sensitivitysensitivity
- how many call sites into the collections framework
we want to keeppublic StickFirstCollections()
HeapAbstractionFactory
with the default sensitivitypublic java.lang.String toString()
toString
in class StickFirstMatches