Package org.checkerframework.checker.nullness

Class KeyForValue

java.lang.Object

org.checkerframework.framework.flow.CFAbstractValue<KeyForValue>

org.checkerframework.checker.nullness.KeyForValue

All Implemented Interfaces:

AbstractValue<KeyForValue>

public class KeyForValue
extends CFAbstractValue<KeyForValue>

KeyForValue holds additional information about which maps this value is a key for. This extra information is required when adding the @KeyFor qualifier to the type is not a refinement of the type. For example,

     @NonNull Object o = map.get(param);
 

 Map<T, Object> map = ...;
 <T> T method(T param) {
   if (map.contains(param)) {
     @NonNull Object o = map.get(param);
     return param;
   }
 }
 

Inside the if statement, param is a key for "map". This would normally be represented as @KeyFor("map") T, but this is not a subtype of T, so the type cannot be refined. Instead, the value for param includes "map" in the list of keyForMaps. This information is used in KeyForAnnotatedTypeFactory.isKeyForMap(String, ExpressionTree).

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.flow.CFAbstractValue

CFAbstractValue.AnnotationSetCombiner, CFAbstractValue.ValueGlb, CFAbstractValue.ValueLub

Field Summary

Fields inherited from class org.checkerframework.framework.flow.CFAbstractValue

analysis, annotations, atypeFactory, qualHierarchy, underlyingType

Constructor Summary

Constructors

Constructor	Description
KeyForValue(CFAbstractAnalysis<KeyForValue,?,?> analysis, AnnotationMirrorSet annotations, TypeMirror underlyingType)	Create a KeyForValue.

Method Summary

Modifier and Type	Method	Description
@Nullable Set<String>	getKeyForMaps()	If the underlying type is a type variable or a wildcard, then this is a set of maps for which this value is a key.
KeyForValue	leastUpperBound(@Nullable KeyForValue other)	Compute the least upper bound of two values.
@Nullable KeyForValue	mostSpecific(@Nullable KeyForValue other, @Nullable KeyForValue backup)	Returns the more specific of two values this and other.

Methods inherited from class org.checkerframework.framework.flow.CFAbstractValue

canBeMissingAnnotations, equals, getAnnotations, getUnderlyingType, greatestLowerBound, hashCode, toString, toStringFullyQualified, toStringSimple, validateSet, widenUpperBound

Methods inherited from class java.lang.Object

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

Constructor Details

KeyForValue

public KeyForValue(CFAbstractAnalysis<KeyForValue,?,?> analysis,
 AnnotationMirrorSet annotations,
 TypeMirror underlyingType)

Create a KeyForValue.

Parameters:

analysis - the analysis

annotations - the annotations

underlyingType - the underlying type

Method Details

getKeyForMaps

public @Nullable Set<String> getKeyForMaps()

If the underlying type is a type variable or a wildcard, then this is a set of maps for which this value is a key. Otherwise, it's null.

leastUpperBound

public KeyForValue leastUpperBound(@Nullable KeyForValue other)

Description copied from interface: AbstractValue

Compute the least upper bound of two values.

Important: This method must fulfill the following contract:

• Does not change this.
• Does not change other.
• Returns a fresh object which is not aliased yet.
• Returns an object of the same (dynamic) type as this, even if the signature is more permissive.
• Is commutative.

Specified by:

leastUpperBound in interface AbstractValue<KeyForValue>

Overrides:

leastUpperBound in class CFAbstractValue<KeyForValue>

mostSpecific

public @Nullable KeyForValue mostSpecific(@Nullable KeyForValue other,
 @Nullable KeyForValue backup)

Description copied from class: CFAbstractValue

Returns the more specific of two values this and other. If they do not contain information for all hierarchies, then it is possible that information from both this and other are taken.

If neither of the two is more specific for one of the hierarchies (i.e., if the two are incomparable as determined by QualifierHierarchy.isSubtypeShallow(AnnotationMirror, TypeMirror, AnnotationMirror, TypeMirror), then the respective value from backup is used.

Overrides:

mostSpecific in class CFAbstractValue<KeyForValue>

Parameters:

other - the other value to obtain information from

backup - the value to use if this and other are incomparable

Returns:

the more specific of two values this and other