framework/src/main/java/org/checkerframework/common/initializedfields/InitializedFieldsChecker.java

package org.checkerframework.common.initializedfields;

import org.checkerframework.common.accumulation.AccumulationChecker;

/**
 * The Initialized Fields Checker.
 *
 * @checker_framework.manual #initialized-fields-checker Initialized Fields Checker
 */
public class InitializedFieldsChecker extends AccumulationChecker {}