Package org.checkerframework.common.wholeprograminference

Class WholeProgramInferenceScenesStorage.AnnotationsInContexts

java.lang.Object

java.util.AbstractMap<ATypeElement,Set<String>>

java.util.IdentityHashMap<ATypeElement,Set<String>>

org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage.AnnotationsInContexts

All Implemented Interfaces:

Serializable, Cloneable, Map<ATypeElement,Set<String>>

Enclosing class:

WholeProgramInferenceScenesStorage

public static class WholeProgramInferenceScenesStorage.AnnotationsInContexts
extends IdentityHashMap<ATypeElement,Set<String>>

Maps an ATypeElement of a scene to the names of the annotation definitions of the annotations that should not be written out for it.

The keys are compared by identity, not by equals(). Two distinct ATypeElements can be equals() to one another (and their hashCode() changes as annotations are inferred for them), so a hash map keyed by ATypeElements would conflate elements that need to be distinguished.

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K,V>

Constructor Summary

Constructors

Constructor	Description
AnnotationsInContexts()	Creates a new, empty AnnotationsInContexts.

Method Summary

Methods inherited from class java.util.IdentityHashMap

clear, clone, containsKey, containsValue, entrySet, equals, forEach, get, hashCode, isEmpty, keySet, put, putAll, remove, remove, replace, replaceAll, size, values

Methods inherited from class java.util.AbstractMap

toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

compute, computeIfAbsent, computeIfPresent, getOrDefault, merge, putIfAbsent, replace

Constructor Details

AnnotationsInContexts

public AnnotationsInContexts()

Creates a new, empty AnnotationsInContexts.