• Home
• org.checkerframework
• checker
• 1.8.8
• source code
• Readonly.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.

checker.src.org.jmlspecs.annotation.Readonly Maven / Gradle / Ivy

package org.jmlspecs.annotation;

import java.lang.annotation.*;

import org.checkerframework.framework.qual.TypeQualifier;

@Documented
@Retention(RetentionPolicy.RUNTIME)
@TypeQualifier
public @interface Readonly {
}