org.checkerframework.framework.flow

Class CFValue

java.lang.Object

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

org.checkerframework.framework.flow.CFValue

All Implemented Interfaces:

AbstractValue<CFValue>

public class CFValue
extends CFAbstractValue<CFValue>

The default abstract value used in the Checker Framework: a set of annotations and a TypeMirror.

Nested Class Summary

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

CFAbstractValue.AnnotationSetAndTypeMirrorVisitor

Field Summary

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

analysis, annotations, underlyingType

Constructor Summary

Constructors

Constructor and Description
CFValue(CFAbstractAnalysis<CFValue,?,?> analysis, Set<AnnotationMirror> annotations, TypeMirror underlyingType)

Method Summary

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

CFValue

public CFValue(CFAbstractAnalysis<CFValue,?,?> analysis,
               Set<AnnotationMirror> annotations,
               TypeMirror underlyingType)