framework.src.org.checkerframework.framework.flow.package-info Maven / Gradle / Ivy
/**
* 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;