/** * Contains an extension of the general org.checkerframework.dataflow framework that is specific to * the Checker Framework and can be used by any checker. */ package org.checkerframework.framework.flow;