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.

Author:

Stefan Heule

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, 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

Constructor Detail

CFValue

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