basic-annotations

A couple of "core" annotations that cover null safety (via JSR-305), collection mutability (via Kotlin), and a few other concepts.

License	Apache-2.0
GroupId	pl.tlinkowski.annotation
ArtifactId	basic-annotations
Last Version	0.1.0
Release Date	Aug 17, 2019
Type	jar
Description	basic-annotations A couple of "core" annotations that cover null safety (via JSR-305), collection mutability (via Kotlin), and a few other concepts.
Project URL	https://github.com/tlinkowski/basic-annotations
Source Code Management	https://github.com/tlinkowski/basic-annotations.git

Download basic-annotations

Filename	Size
basic-annotations-0.1.0.pom
basic-annotations-0.1.0.jar	7 KB
basic-annotations-0.1.0-sources.jar	4 KB
basic-annotations-0.1.0-javadoc.jar	404 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/pl.tlinkowski.annotation/basic-annotations/ -->
<dependency>
    <groupId>pl.tlinkowski.annotation</groupId>
    <artifactId>basic-annotations</artifactId>
    <version>0.1.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/pl.tlinkowski.annotation/basic-annotations/
implementation 'pl.tlinkowski.annotation:basic-annotations:0.1.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/pl.tlinkowski.annotation/basic-annotations/
implementation ("pl.tlinkowski.annotation:basic-annotations:0.1.0")

Apache Buildr

'pl.tlinkowski.annotation:basic-annotations:jar:0.1.0'

Apache Ivy

<dependency org="pl.tlinkowski.annotation" name="basic-annotations" rev="0.1.0">
  <artifact name="basic-annotations" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='pl.tlinkowski.annotation', module='basic-annotations', version='0.1.0')
)

Scala SBT

libraryDependencies += "pl.tlinkowski.annotation" % "basic-annotations" % "0.1.0"

Leiningen

[pl.tlinkowski.annotation/basic-annotations "0.1.0"]

Dependencies

compile (1)

Group / Artifact	Type	Version
org.jetbrains.kotlin : kotlin-annotations-jvm	jar	1.3.31

runtime (1)

Group / Artifact	Type	Version
com.google.code.findbugs : jsr305	jar	3.0.2

Project Modules

There are no modules declared in this project.

Basic Java Annotations

Usage

Gradle (Kotlin DSL)

compileOnly(group = "pl.tlinkowski.annotation", name = "pl.tlinkowski.annotation.basic", version = "x.y.z")

Gradle (Groovy DSL)

compileOnly group: 'pl.tlinkowski.annotation', name: 'pl.tlinkowski.annotation.basic', version: 'x.y.z'

Maven

<dependency>
  <groupId>pl.tlinkowski.annotation</groupId>
  <artifactId>pl.tlinkowski.annotation.basic</artifactId>
  <version>x.y.z</version>
  <scope>provided</scope>
</dependency>

JPMS (module-info.java)

requires static pl.tlinkowski.annotation.basic;

Purpose

The purpose of this library is to provide a couple of basic annotations related to the following concepts:

1. Nullability

2. Mutability of Collections / Iterators

3. Miscellaneous

Nullability

The approach to nullability taken by this library is:

Everything is non-null by default, unless explicitly annotated as nullable.

This approach is directly in line with Kotlin's approach (although Kotlin enforces it through its type system):

• String (Kotlin) / String (Java) → non-null String
• String? (Kotlin) / @NullOr String (Java) → null or String

For this purpose, the library provides two annotations in the pl.tlinkowski.annotation.basic package:

1. @NonNullPackage:

   • target: packages

   • affects: all type uses (e.g. fields, method return types, method parameters, type parameters, local variables) and type parameters within the annotated package

   • analogous to (except for the scope of affected entities): @NonNullApi + @NonNullFields in Spring; @ParametersAreNonnullByDefault in JSR 305

   • example usage

2. @NullOr:

   • target: type uses (e.g. fields, method return types, method parameters, type parameters, local variables) and type parameters

   • affects: annotated type use

   • analogous to (except for the scope of allowed targets): @Nullable in Spring; @CheckForNull in JSR-305

   • example usage

The annotations in this library are based on the dormant Java Specification Request JSR 305. JSR 305 has been chosen for this library after analyzing the following pros & cons.

To sum up, even though I'd rather not rely on JSR 305, it seems too well supported right now to discard it.

However, should the state of JSR 305 change in favor of dropping its usage, this library will do just that. The purpose of this library is to provide @NonNullPackage and @NullOr annotations that work in the best currently possible way.

Mutability

The approach to mutability of Collections (but also Iterators) taken by this library is:

Every use of Collection or Iterator should be annotated with either @ReadOnly or @Mutable.

This approach is in line with Kotlin's approach (although Kotlin enforces it through its type system):

• List<T> (Kotlin) / @ReadOnly List<T> (Java) → read-only list of T

• MutableList<T> (Kotlin) / @Mutable List<T> (Java) → mutable list of T

For this purpose, this library includes two annotations in the kotlin.annotations.jvm package (as a transitive dependency on kotlin-annotations-jvm):

1. @ReadOnly:

   • target: fields, methods, parameters, or local variables

   • affects: annotated type use

   • example usage

2. @Mutable:

   • target: fields, methods, parameters, or local variables

   • affects: annotated type use

   • example usage

There are three main problems with these annotations, though:

1. According to Denis Zharkov, these annotations will probably be renamed once KT-23812 is done.

2. These annotations are JDK6-compatible, and hence they cannot target type uses or type parameters (introduced in JDK 8). There's an issue about improving this (KT-28982), but it seems idle now.

3. These annotations are not retained at runtime (@Retention(RetentionPolicy.CLASS)), which could be useful (at least theoretically).

To sum up, the main reason this library does not introduce its own annotations is that Kotlin wouldn't recognize them, and they are very useful for Kotlin interop. However, once KT-23812 is done, this library will probably migrate to some new annotations that can be understood by Kotlin.

Miscellaneous

• @VisibleForTesting: Corresponds to Guava's @VisibleForTesting annotation.

Sample Projects

Sample projects for this library can be found in sample subdirectory:

• pl.tlinkowski.annotation.sample.api: sample Java API annotated with @NonNullPackage and @ReadOnly

• pl.tlinkowski.annotation.sample.usage.java: usage of the above API (both correct and incorrect, the latter resulting in warnings from IntelliJ IDEA)

• pl.tlinkowski.annotation.sample.usage.kotlin: usage of the above API (both correct and incorrect, the latter resulting in errors from Kotlin compiler)

Requirements

Usage: JDK 8+.

Building: Gradle 5+, JDK 11+.

About the Author

See my webpage (tlinkowski.pl) or find me on Twitter (@t_linkowski).

Versions

Version
0.1.0 Aug 17, 2019