org.checkerframework.checker.signature.qual.InternalForm Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of guava Show documentation
Show all versions of guava Show documentation
Guava is a suite of core and expanded libraries that include
utility classes, google's collections, io classes, and much
much more.
package org.checkerframework.checker.signature.qual;
import java.lang.annotation.Documented;
import java.lang.annotation.ElementType;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;
import org.checkerframework.framework.qual.SubtypeOf;
/**
* The syntax for binary names that appears in a class file, as defined in the JVM
* Specification, section 4.2. A {@linkplain BinaryName binary name} is conceptually the name
* for the class or interface in a compiled binary, but the actual representation of that name in
* its class file is slightly different.
*
* Internal form is the same as the binary name, but with periods ({@code .}) replaced by forward
* slashes ({@code /}).
*
*
Programmers more often use the binary name, leaving the internal form as a JVM implementation
* detail.
*
* @see BinaryName
* @checker_framework.manual #signature-checker Signature Checker
*/
@Documented
@Retention(RetentionPolicy.RUNTIME)
@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
@SubtypeOf(SignatureUnknown.class)
public @interface InternalForm {}