CompilerMessagesChecker.java

package org.checkerframework.checker.compilermsgs;

import org.checkerframework.checker.propkey.PropertyKeyChecker;

/**
 * A PropertyKeyChecker for the compiler message keys that are used in the Checker framework.
 *
 * @author wmdietl
 */
public class CompilerMessagesChecker extends PropertyKeyChecker {}