• Home
• org.checkerframework
• checker
• 3.48.0
• source code
• AliasingChecker.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.checkerframework.common.aliasing.AliasingChecker Maven / Gradle / Ivy

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 {}