Package org.checkerframework.framework.util.typeinference8.util

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>

public class Theta
extends LinkedHashMap<TypeVariable,Variable>

A mapping from type variables to inference variables.

See Also:

• Serialized Form

Nested Class Summary

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

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

Constructor Summary

Constructors

Constructor	Description
Theta()	Creates Theta.

Method Summary

Modifier and Type	Method	Description
boolean	containsKey(Object key)
Variable	get(Object key)
Collection<? extends TypeVariable>	getNotInstantiated()	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, values

Methods inherited from class java.util.HashMap

clone, compute, computeIfAbsent, computeIfPresent, isEmpty, merge, newHashMap, put, putAll, putIfAbsent, remove, remove, replace, replace, size

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

compute, computeIfAbsent, computeIfPresent, equals, hashCode, isEmpty, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, size

Methods inherited from interface java.util.SequencedMap

firstEntry, lastEntry, pollFirstEntry, pollLastEntry

Constructor Details

Theta

public Theta()

Creates Theta.

Method Details

containsKey

public boolean containsKey(Object key)

Specified by:

containsKey in interface Map<TypeVariable,Variable>

Overrides:

containsKey in class HashMap<TypeVariable,Variable>

get

public Variable get(Object key)

Specified by:

get in interface Map<TypeVariable,Variable>

Overrides:

get in class LinkedHashMap<TypeVariable,Variable>

getNotInstantiated

public Collection<? extends TypeVariable> 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