Class 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.
  • Constructor Details