org.checkerframework.checker.nullness

Class NullnessValue

java.lang.Object

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

org.checkerframework.checker.nullness.NullnessValue

All Implemented Interfaces:

AbstractValue<NullnessValue>

public class NullnessValue
extends CFAbstractValue<NullnessValue>

Behaves just like CFValue, but additionally tracks whether at this point PolyNull is known to be Nullable.

Author:

Stefan Heule

Nested Class Summary

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

CFAbstractValue.AnnotationSetAndTypeMirrorVisitor

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	isPolyNullNull

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

analysis, annotations, underlyingType

Constructor Summary

Constructors

Constructor and Description
NullnessValue(CFAbstractAnalysis<NullnessValue,?,?> analysis, java.util.Set<javax.lang.model.element.AnnotationMirror> annotations, javax.lang.model.type.TypeMirror underlyingType)

Method Summary

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

canBeMissingAnnotations, equals, getAnnotations, getUnderlyingType, hashCode, leastUpperBound, mostSpecific, toString, validateSet, widenUpperBound

Methods inherited from class java.lang.Object

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

Field Detail

isPolyNullNull

protected boolean isPolyNullNull

Constructor Detail

NullnessValue

public NullnessValue(CFAbstractAnalysis<NullnessValue,?,?> analysis,
                     java.util.Set<javax.lang.model.element.AnnotationMirror> annotations,
                     javax.lang.model.type.TypeMirror underlyingType)