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

Field Summary

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

analysis, type, typeHierarchy

Constructor Summary

Constructors

Constructor and Description
CFValue(CFAbstractAnalysis<CFValue,?,?> analysis, AnnotatedTypeMirror type)

Method Summary

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

equals, getType, hashCode, isSubtypeOf, leastUpperBound, mostSpecific, mostSpecificTypeVariable, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

CFValue

public CFValue(CFAbstractAnalysis<CFValue,?,?> analysis,
               AnnotatedTypeMirror type)