Package org.checkerframework.common.wholeprograminference

Class WholeProgramInferenceScenesStorage.AnnotationsInContexts

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<org.plumelib.util.IPair<String,TypeUseLocation>,Set<String>>

org.checkerframework.common.wholeprograminference.WholeProgramInferenceScenesStorage.AnnotationsInContexts

All Implemented Interfaces:

Serializable, Cloneable, Map<org.plumelib.util.IPair<String,TypeUseLocation>,Set<String>>

Enclosing class:

WholeProgramInferenceScenesStorage

public static class WholeProgramInferenceScenesStorage.AnnotationsInContexts
extends HashMap<org.plumelib.util.IPair<String,TypeUseLocation>,Set<String>>

Maps the WholeProgramInferenceScenesStorage.aTypeElementToString(org.checkerframework.afu.scenelib.el.ATypeElement) representation of an ATypeElement and its TypeUseLocation to a set of names of annotations.

See Also:

• Serialized Form

Nested Class Summary

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

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

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

Map.Entry<K extends Object,V extends Object>

Constructor Summary

Constructors

Constructor	Description
AnnotationsInContexts()

Method Summary

Methods inherited from class java.util.HashMap

clear, clone, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, forEach, get, getOrDefault, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

Methods inherited from class java.util.AbstractMap

equals, hashCode, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Map

equals, hashCode

Constructor Details

AnnotationsInContexts

public AnnotationsInContexts()