Class Theta
java.lang.Object
java.util.AbstractMap<TypeVariable,Variable>
java.util.HashMap<TypeVariable,Variable>
java.util.LinkedHashMap<TypeVariable,Variable>
org.checkerframework.framework.util.typeinference8.util.Theta
- All Implemented Interfaces:
Serializable,Cloneable,Map<TypeVariable,,Variable> SequencedMap<TypeVariable,Variable>
A mapping from type variables to inference variables.
- See Also:
-
Nested Class Summary
Nested classes/interfaces inherited from class java.util.AbstractMap
AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K, V> -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionbooleancontainsKey(Object key) Collection<? extends TypeVariable> Returns a list of type variables that do not yet have a value.Methods inherited from class java.util.LinkedHashMap
clear, containsValue, entrySet, forEach, getOrDefault, keySet, newLinkedHashMap, putFirst, putLast, removeEldestEntry, replaceAll, reversed, sequencedEntrySet, sequencedKeySet, sequencedValues, valuesMethods inherited from class java.util.HashMap
clone, compute, computeIfAbsent, computeIfPresent, isEmpty, merge, newHashMap, put, putAll, putIfAbsent, remove, remove, replace, replace, sizeMethods inherited from class java.util.AbstractMap
equals, hashCode, toStringMethods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, waitMethods inherited from interface java.util.Map
compute, computeIfAbsent, computeIfPresent, equals, hashCode, isEmpty, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, sizeMethods inherited from interface java.util.SequencedMap
firstEntry, lastEntry, pollFirstEntry, pollLastEntry
-
Constructor Details
-
Theta
public Theta()Creates Theta.
-
-
Method Details
-
containsKey
- Specified by:
containsKeyin interfaceMap<TypeVariable,Variable> - Overrides:
containsKeyin classHashMap<TypeVariable,Variable>
-
get
- Specified by:
getin interfaceMap<TypeVariable,Variable> - Overrides:
getin classLinkedHashMap<TypeVariable,Variable>
-
getNotInstantiated
Returns a list of type variables that do not yet have a value.- Returns:
- a list of type variables that do not yet have a value
-