Skip to content

Commit f3f48a0

Browse files
smillstsmillst
committed
new release 3.49.3
1 parent 359bd61 commit f3f48a0

File tree

7 files changed

+76
-30
lines changed

7 files changed

+76
-30
lines changed

‎docs/checker-framework-webpage.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,8 @@ <h1>The Checker Framework</h1>
3030
<a href="manual/#installation"><b>Installation instructions and tutorial</b></a>.
3131
</li>
3232
<li>
33-
Download: <a href="checker-framework-3.49.2.zip"><!-- checker-framework-zip-version -->checker-framework-3.49.2.zip<!-- /checker-framework-zip-version --></a>
34-
(<!-- checker-framework-date -->1 Apr 2025<!-- /checker-framework-date -->);
33+
Download: <a href="checker-framework-3.49.3.zip"><!-- checker-framework-zip-version -->checker-framework-3.49.3.zip<!-- /checker-framework-zip-version --></a>
34+
(<!-- checker-framework-date -->2 May 2025<!-- /checker-framework-date -->);
3535
includes source, platform-independent binary, tests, and documentation.<br/>
3636
Then, see the <a
3737
href="manual/#installation"><b>installation
@@ -93,7 +93,7 @@ <h1>The Checker Framework</h1>
9393
the <code>.class</code> file. The tools support both Java 5
9494
declaration annotations and Java 8 type annotations.
9595
<ul>
96-
<li><a href="annotation-file-utilities/annotation-tools-3.49.2.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.49.2.zip<!-- /annotation-tools-zip-version --></a> (<!-- afu-date -->01 Apr 2025<!-- /afu-date -->)
96+
<li><a href="annotation-file-utilities/annotation-tools-3.49.3.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.49.3.zip<!-- /annotation-tools-zip-version --></a> (<!-- afu-date -->02 May 2025<!-- /afu-date -->)
9797
</li>
9898
<li><a href="https://github.com/typetools/annotation-tools/">source code repository</a>
9999
</li>
@@ -229,7 +229,7 @@ <h3 id="mailing-lists">Mailing lists</h3>
229229
<hr />
230230

231231
<p>
232-
Last updated: <!-- checker-framework-date -->1 Apr 2025<!-- /checker-framework-date -->
232+
Last updated: <!-- checker-framework-date -->2 May 2025<!-- /checker-framework-date -->
233233
</p>
234234

235235
</body>

‎docs/examples/MavenExample/pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@
1414
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
1515
<maven.compiler.source>8</maven.compiler.source>
1616
<maven.compiler.target>8</maven.compiler.target>
17-
<checkerFrameworkVersion><!-- checker-framework-version -->3.49.2<!-- /checker-framework-version --></checkerFrameworkVersion>
17+
<checkerFrameworkVersion><!-- checker-framework-version -->3.49.3<!-- /checker-framework-version --></checkerFrameworkVersion>
1818
</properties>
1919

2020
<dependencies>

‎docs/manual/external-tools.tex

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -119,7 +119,7 @@
119119
\begin{Verbatim}
120120
dependencies {
121121
... existing dependencies...
122-
ext.checkerFrameworkVersion = '3.49.2'
122+
ext.checkerFrameworkVersion = '3.49.3'
123123
implementation "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
124124
// or if you use no annotations in source code the above line could be
125125
// compileOnly "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
@@ -192,7 +192,7 @@
192192
\begin{Verbatim}
193193
dependencies {
194194
... existing dependencies...
195-
ext.checkerFrameworkVersion = '3.49.2'
195+
ext.checkerFrameworkVersion = '3.49.3'
196196
implementation "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
197197
// or if you use no annotations in source code the above line could be
198198
// compileOnly "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
@@ -350,13 +350,13 @@
350350
\begin{Verbatim}
351351
prebuilt_jar(
352352
name = 'checker-framework',
353-
binary_jar = 'checker-3.49.2.jar',
353+
binary_jar = 'checker-3.49.3.jar',
354354
visibility = [ 'PUBLIC' ]
355355
)
356356
357357
prebuilt_jar(
358358
name = 'checker-qual',
359-
binary_jar = 'checker-qual-3.49.2.jar',
359+
binary_jar = 'checker-qual-3.49.3.jar',
360360
visibility = [ 'PUBLIC' ]
361361
)
362362
@@ -420,21 +420,21 @@
420420
use the last one.
421421
% Is the last one required for Cygwin, as well as for the Windows command shell?
422422
Adjust the pathnames if you have installed the Checker Framework somewhere
423-
other than \<\${HOME}/checker-framework-3.49.2/>.
423+
other than \<\${HOME}/checker-framework-3.49.3/>.
424424

425425

426426
\begin{itemize}
427427
\item
428428
Option 1:
429429
Add directory
430-
\code{.../checker-framework-3.49.2/checker/bin} to your path, \emph{before} any other
430+
\code{.../checker-framework-3.49.3/checker/bin} to your path, \emph{before} any other
431431
directory that contains a \<javac> executable.
432432

433433
If you are
434434
using the bash shell, a way to do this is to add the following to your
435435
\verb|~/.profile| (or alternately \verb|~/.bash_profile| or \verb|~/.bashrc|) file:
436436
\begin{Verbatim}
437-
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.49.2
437+
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.49.3
438438
export PATH=${CHECKERFRAMEWORK}/checker/bin:${PATH}
439439
\end{Verbatim}
440440

@@ -455,7 +455,7 @@
455455
file:
456456
% No Windows example because this doesn't work under Windows.
457457
\begin{Verbatim}
458-
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.49.2
458+
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.49.3
459459
alias javacheck='$CHECKERFRAMEWORK/checker/bin/javac'
460460
\end{Verbatim}
461461

@@ -477,11 +477,11 @@
477477

478478
\begin{Verbatim}
479479
# Unix
480-
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.49.2
480+
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.49.3
481481
alias javacheck='java -jar "$CHECKERFRAMEWORK/checker/dist/checker.jar"'
482482
483483
# Windows
484-
set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.49.2\
484+
set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.49.3\
485485
doskey javacheck=java -jar "%CHECKERFRAMEWORK%\checker\dist\checker.jar" $*
486486
\end{Verbatim}
487487

@@ -560,9 +560,9 @@
560560

561561
\begin{itemize}
562562
\item \<javac.jar>: \url{https://search.maven.org/artifact/com.google.errorprone/javac/9%2B181-r4173-1/jar}
563-
\item \<checker-qual.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-qual/3.49.2/checker-qual-3.49.2.jar}
564-
\item \<checker-util.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-util/3.49.2/checker-util-3.49.2.jar}
565-
\item \<checker.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker/3.49.2/checker-3.49.2-all.jar}
563+
\item \<checker-qual.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-qual/3.49.3/checker-qual-3.49.3.jar}
564+
\item \<checker-util.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-util/3.49.3/checker-util-3.49.3.jar}
565+
\item \<checker.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker/3.49.3/checker-3.49.3-all.jar}
566566
\end{itemize}
567567

568568
Different arguments to \<javac> are required for JDK 8

‎docs/manual/figures/Makefile

Lines changed: 10 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -15,15 +15,16 @@ svg-copy:
1515
chmod -f a-w ../*.svg
1616

1717
%.pdf : %.svg
18-
ifdef RSVG_CONVERT_VERSION
19-
rsvg-convert -f pdf -o $@ $<
20-
else
21-
ifdef INKSCAPE_VERSION
22-
inkscape $< --export-pdf=$@
23-
else
24-
convert $< $@
25-
endif
26-
endif
18+
svg2pdf.bash $< $@
19+
# ifdef RSVG_CONVERT_VERSION
20+
# rsvg-convert -f pdf -o $@ $<
21+
# else
22+
# ifdef INKSCAPE_VERSION
23+
# inkscape $< --export-pdf=$@
24+
# else
25+
# convert $< $@
26+
# endif
27+
# endif
2728

2829
clean: clean-obsolete-files
2930
@\rm -f ${PDFFILES}

‎docs/manual/figures/svg2pdf.bash

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
#!/bin/bash
2+
#
3+
# Convert an SVG file to a PDF file by using headless Chrome.
4+
#
5+
6+
if [ $# -ne 2 ]; then
7+
echo "Usage: ./svg2pdf.bash input.svg output.pdf" 1>&2
8+
exit 1
9+
fi
10+
11+
INPUT=$1
12+
OUTPUT=$2
13+
14+
HTML="
15+
<html>
16+
<head>
17+
<style>
18+
body {
19+
margin: 0;
20+
}
21+
</style>
22+
<script>
23+
function init() {
24+
const element = document.getElementById('targetsvg');
25+
const positionInfo = element.getBoundingClientRect();
26+
const height = positionInfo.height;
27+
const width = positionInfo.width;
28+
const style = document.createElement('style');
29+
style.innerHTML = \`@page {margin: 0; size: \${width}px \${height}px}\`;
30+
document.head.appendChild(style);
31+
}
32+
window.onload = init;
33+
</script>
34+
</head>
35+
<body>
36+
<img id=\"targetsvg\" src=\"${INPUT}\">
37+
</body>
38+
</html>
39+
"
40+
41+
tmpfile=$(mktemp XXXXXX.html)
42+
trap "rm -f $tmpfile" EXIT
43+
echo $HTML > $tmpfile
44+
45+
google-chrome --headless --disable-gpu --print-to-pdf=$OUTPUT $tmpfile

‎docs/manual/introduction.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -214,7 +214,7 @@
214214
%BEGIN LATEX
215215
\\
216216
%END LATEX
217-
\url{https://checkerframework.org/checker-framework-3.49.2.zip}
217+
\url{https://checkerframework.org/checker-framework-3.49.3.zip}
218218

219219
\item
220220
Unzip it to create a \code{checker-framework-\ReleaseVersion{}} directory.

‎docs/manual/manual.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
44

55
\title{The Checker Framework Manual: \\ Custom pluggable types for Java}
66
\author{\url{https://checkerframework.org}}
7-
\newcommand{\ReleaseVersion}{3.49.2}
8-
\newcommand{\ReleaseInfo}{3.49.2 (1 Apr 2025)}
7+
\newcommand{\ReleaseVersion}{3.49.3}
8+
\newcommand{\ReleaseInfo}{3.49.3 (2 May 2025)}
99
\date{Version \ReleaseInfo{}}
1010

1111
\begin{document}

0 commit comments

Comments
 (0)