• Home
Name Date Size #Lines LOC

..--

figures/03-May-2024-353330

lib/03-May-2024-

scripts/03-May-2024-183118

src/annotator/03-May-2024-13,3739,365

tests/03-May-2024-10,1047,407

.classpathD03-May-2024668 1312

.projectD03-May-2024384 1817

README.txtD03-May-20242 KiB6745

annotation-file-format.bblD03-May-2024995 2721

annotation-file-format.bibD03-May-2024262 1210

annotation-file-format.texD03-May-202458.4 KiB1,4681,240

annotation-file-utilities.htmlD03-May-202426.1 KiB643519

build.propertiesD03-May-2024430 1010

build.xmlD03-May-202421.6 KiB576445

changelog.htmlD03-May-202424.9 KiB853808

design.texD03-May-202418.9 KiB465416

README.txt

1Annotation File Utilities README file
2
3For user documentation, see file annotation-file-utilities.html .
4
5===========================================================================
6
7Contents
8
9The contents of this directory are:
10
11annotation-file-utilities.html
12  Annotation File Utilities documentation.
13  Most users should only have to read this file.
14annotation-file-format.{html,pdf}
15  Describes the annotation file format.
16scripts/
17  Contains Unix and Windows programs for transferring annotations among
18  Java, class, and annotation files.
19annotation-file-utilities.jar
20  Java library used by the programs.
21build.xml, src/, lib/, tests/
22  For developers only:  buildfile, source code, libraries, tests.
23
24===========================================================================
25
26Notes
27
28To build annotation-file-format.{html,pdf} your BIBINPUTS environment
29variable must be set like so:
30
31export BIBINPUTS=.:/path/to/plume/bib
32
33plume-bib is available at https://github.com/mernst/plume-bib .
34
35===========================================================================
36
37Making a release
38
39To make a release (a distribution):
40
41Be sure to run these instructions in an account that uses JDK 7, not JDK 8.
42
43Write a description of the most significant changes in:
44    changelog.html
45It may be helpful to examine the changes since the last release:
46  git log v3.5.3..
47  git diff v3.5.3..
48
49Manually update the version number and date in the following places:
50    annotation-file-utilities.html  (in "Installation" section)
51    changelog.html
52    annotations/scene-lib/src/annotations/io/classfile/ClassFileReader.java
53
54Create and post to the web the entire distribution:
55  ant -e web
56
57Run
58  checklink -q -r https://checkerframework.org/annotation-file-utilities/
59and if there are any problems, re-make the distribution.
60
61Tag the release, for example:
62  git tag v3.5.3
63
64Send email to: checker-framework-discuss@googlegroups.com
65
66===========================================================================
67