Package 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.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
CFValue(CFAbstractAnalysis<CFValue,?,?> analysis, AnnotationMirrorSet annotations, TypeMirror underlyingType)	Creates a new CFValue.

Method Summary

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

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

Methods inherited from class java.lang.Object

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

Constructor Details

CFValue

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

Creates a new CFValue.

Parameters:

analysis - the analysis

annotations - the annotations

underlyingType - the underlying type