GitHub - markro49/annotation-tools: Tools for type annotations in Java

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2,319 Commits
.github		.github
annotation-file-utilities		annotation-file-utilities
.build-without-test.sh		.build-without-test.sh
.build.sh		.build.sh
.git.pre-commit		.git.pre-commit
.gitignore		.gitignore
.travis-build-without-test.sh		.travis-build-without-test.sh
.travis-build.sh		.travis-build.sh
.travis.yml		.travis.yml
LICENSE.txt		LICENSE.txt
README.txt		README.txt
azure-pipelines.yml		azure-pipelines.yml

Repository files navigation

Annotation Tools README file
----------------------------

This directory contains the Annotation Tools.
When distributed, this is known as the Annotation File Utilities, which is
one of its components; see the annotation-file-utilities subdirectory.

The Annotation File Utilities homepage is:
  https://checkerframework.org/annotation-file-utilities/
and it also appears in this directory as:
  annotation-file-utilities/annotation-file-utilities.html