framework/src/main/java/org/checkerframework/common/aliasing/AliasingChecker.java

package org.checkerframework.common.aliasing;

import org.checkerframework.common.basetype.BaseTypeChecker;
import org.checkerframework.framework.qual.StubFiles;

/**
 * Aliasing type system -- used to identify expressions that definitely have no aliases.
 *
 * @checker_framework.manual #aliasing-checker Aliasing Checker
 */
@StubFiles({"android.astub"})
public class AliasingChecker extends BaseTypeChecker {}