framework.src.org.checkerframework.framework.util.PurityChecker Maven / Gradle / Ivy

package org.checkerframework.framework.util;

import org.checkerframework.common.basetype.BaseTypeChecker;

/**
 * Perform purity checking only.
 *
 * @checker_framework.manual #type-refinement-purity Side effects, determinism, purity, and flow-sensitive analysis
 */
public class PurityChecker extends BaseTypeChecker {
}