Skip to content
Permalink
Browse files

new release 2.5.7

  • Loading branch information...
mernst committed Nov 5, 2018
1 parent 9d639f4 commit 666dd402a4a63ee2dff1a0517790b4edfe5d51c5
@@ -33,8 +33,8 @@ <h1>The Checker Framework</h1>

<ul>
<li>
Download: <a href="checker-framework-2.5.6.zip"><!-- checker-framework-zip-version -->checker-framework-2.5.6.zip<!-- /checker-framework-zip-version --></a>
(<!-- checker-framework-date -->3 Oct 2018<!-- /checker-framework-date -->);
Download: <a href="checker-framework-2.5.7.zip"><!-- checker-framework-zip-version -->checker-framework-2.5.7.zip<!-- /checker-framework-zip-version --></a>
(<!-- checker-framework-date -->4 Nov 2018<!-- /checker-framework-date -->);
includes source, platform-independent binary, tests, and documentation.<br/>
Then, see the <a
href="manual/#installation"><b>installation
@@ -96,7 +96,7 @@ <h1>The Checker Framework</h1>
the <code>.class</code> file. The tools support both Java 5
declaration annotations and Java 8 type annotations.
<ul>
<li><a href="annotation-file-utilities/annotation-tools-3.8.1.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.8.1.zip<!-- /annotation-tools-zip-version --></a> (<!-- afu-date -->03 Oct 2018<!-- /afu-date -->)
<li><a href="annotation-file-utilities/annotation-tools-3.8.2.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.8.2.zip<!-- /annotation-tools-zip-version --></a> (<!-- afu-date -->04 Nov 2018<!-- /afu-date -->)
</li>
<li><a href="https://github.com/typetools/annotation-tools/">source code repository</a>
</li>
@@ -226,7 +226,7 @@ <h3 id="mailing-lists">Mailing lists</h3>
<hr />

<p>
Last updated: <!-- checker-framework-date -->3 Oct 2018<!-- /checker-framework-date -->
Last updated: <!-- checker-framework-date -->4 Nov 2018<!-- /checker-framework-date -->
</p>

</body>
@@ -14,7 +14,7 @@
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
<!-- These properties will be set by the Maven Dependency plugin -->
<annotatedJdk>${org.checkerframework:jdk8:jar}</annotatedJdk>
<checkerFrameworkVersion><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></checkerFrameworkVersion>
<checkerFrameworkVersion><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></checkerFrameworkVersion>
</properties>

<dependencies>
@@ -108,7 +108,7 @@ \section{Android Studio 3.0 and the Android Gradle Plugin 3.0\label{android-grad
\begin{Verbatim}
dependencies {
... existing dependencies...
ext.checkerFrameworkVersion = '2.5.6'
ext.checkerFrameworkVersion = '2.5.7'
implementation "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
annotationProcessor "org.checkerframework:checker:${checkerFrameworkVersion}"
checkerFrameworkAnnotatedJDK "org.checkerframework:jdk8:${checkerFrameworkVersion}"
@@ -261,13 +261,13 @@ \section{Buck\label{buck}}
\begin{Verbatim}
prebuilt_jar(
name = 'checker-framework',
binary_jar = 'checker-2.5.6.jar',
binary_jar = 'checker-2.5.7.jar',
visibility = [ 'PUBLIC' ]
)
prebuilt_jar(
name = 'checker-qual',
binary_jar = 'checker-qual-2.5.6.jar',
binary_jar = 'checker-qual-2.5.7.jar',
visibility = [ 'PUBLIC' ]
)
@@ -460,14 +460,14 @@ \section{Javac compiler\label{javac-installation}}
\item
Option 1:
Add directory
\code{.../checker-framework-2.5.6/checker/bin} to your path, \emph{before} any other
\code{.../checker-framework-2.5.7/checker/bin} to your path, \emph{before} any other
directory that contains a \<javac> executable.
If you are
using the bash shell, a way to do this is to add the following to your
\verb|~/.profile| (or alternately \verb|~/.bash_profile| or \verb|~/.bashrc|) file:
\begin{Verbatim}
export CHECKERFRAMEWORK=${HOME}/checker-framework-2.5.6
export CHECKERFRAMEWORK=${HOME}/checker-framework-2.5.7
export PATH=${CHECKERFRAMEWORK}/checker/bin:${PATH}
\end{Verbatim}
then log out and back in to ensure that the environment variable
@@ -491,7 +491,7 @@ \section{Javac compiler\label{javac-installation}}
\verb|~/.bashrc| file:
% No Windows example because this doesn't work under Windows.
\begin{Verbatim}
export CHECKERFRAMEWORK=${HOME}/checker-framework-2.5.6
export CHECKERFRAMEWORK=${HOME}/checker-framework-2.5.7
alias javacheck='$CHECKERFRAMEWORK/checker/bin/javac'
\end{Verbatim}
@@ -510,11 +510,11 @@ \section{Javac compiler\label{javac-installation}}
\begin{Verbatim}
# Unix
export CHECKERFRAMEWORK=${HOME}/checker-framework-2.5.6
export CHECKERFRAMEWORK=${HOME}/checker-framework-2.5.7
alias javacheck='java -jar "$CHECKERFRAMEWORK/checker/dist/checker.jar"'
# Windows
set CHECKERFRAMEWORK = C:\Program Files\checker-framework-2.5.6\
set CHECKERFRAMEWORK = C:\Program Files\checker-framework-2.5.7\
doskey javacheck=java -jar "%CHECKERFRAMEWORK%\checker\dist\checker.jar" $*
\end{Verbatim}
@@ -210,7 +210,7 @@ \section{Installation\label{installation}}
%BEGIN LATEX
\\
%END LATEX
\url{https://checkerframework.org/checker-framework-2.5.6.zip}
\url{https://checkerframework.org/checker-framework-2.5.7.zip}

\item
Unzip it to create a \code{checker-framework} directory.
@@ -4,8 +4,8 @@

\title{The Checker Framework Manual: \\ Custom pluggable types for Java}
\author{\url{https://checkerframework.org/}}
\newcommand{\ReleaseVersion}{2.5.6}
\newcommand{\ReleaseInfo}{2.5.6 (3 Oct 2018)}
\newcommand{\ReleaseVersion}{2.5.7}
\newcommand{\ReleaseInfo}{2.5.7 (4 Nov 2018)}
\date{Version \ReleaseInfo{}}

\begin{document}
@@ -5,7 +5,7 @@ Deleting directory /Users/smillst/src/jsr308/checker-framework/tutorial/eclipse-
check-tainting:
Created dir: /Users/smillst/src/jsr308/checker-framework/tutorial/eclipse-projects/personalblog-demo/bin
Compiling 2 source files to /Users/smillst/src/jsr308/checker-framework/tutorial/eclipse-projects/personalblog-demo/bin
javac 1.8.0-jsr308-2.5.6
javac 1.8.0-jsr308-2.5.7
/home/mernst/research/types/checker-framework/tutorial/eclipse-projects/personalblog-demo/src/net/eyde/personalblog/service/PersonalBlogService.java:174: error: [argument.type.incompatible] incompatible types in argument.
+ "%' order by post.created desc");
^
@@ -104,7 +104,7 @@ <h4>1. Run the Tainting Checker &mdash; 1 error found</h4>
check-tainting:
[mkdir] Created dir: .../personalblog-demo/bin
[jsr308.javac] Compiling 2 source files to .../personalblog-demo/bin
[jsr308.javac] javac 1.8.0-jsr308-2.5.6
[jsr308.javac] javac 1.8.0-jsr308-2.5.7
[jsr308.javac] .../personalblog-demo/src/net/eyde/personalblog/service/PersonalBlogService.java:175: error: incompatible types in argument.
[jsr308.javac] "where post.category like '%", category,
[jsr308.javac] ^
@@ -153,7 +153,7 @@ <h4>3. Re-run the Tainting Checker &mdash; a new error is found</h4>
check-tainting:
[mkdir] Created dir: .../personalblog-demo/bin
[jsr308.javac] Compiling 2 source files to .../personalblog-demo/bin
[jsr308.javac] javac 1.8.0-jsr308-2.5.6
[jsr308.javac] javac 1.8.0-jsr308-2.5.7
[jsr308.javac] .../personalblog-demo/src/net/eyde/personalblog/struts/action/ReadAction.java:58: error: incompatible types in argument.
[jsr308.javac] pblog.getPostsByCategory(reqCategory));
[jsr308.javac] ^
@@ -196,7 +196,7 @@ <h4>5. Re-run the Tainting Checker &mdash; no errors</h4>
check-tainting:
[mkdir] Created dir: .../personalblog-demo/bin
[jsr308.javac] Compiling 2 source files to .../personalblog-demo/bin
[jsr308.javac] javac 1.8.0-jsr308-2.5.6
[jsr308.javac] javac 1.8.0-jsr308-2.5.7

BUILD SUCCESSFUL
Total time: 2 seconds
@@ -9,7 +9,7 @@

<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<distributionManagement>
<repository>
@@ -9,7 +9,7 @@

<!-- Note: It's important that this is the first <version/> element to appear in this document (by line)
Because there is a simple logic in the release script to replace the version number of pom files -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<distributionManagement>
<repository>
@@ -9,7 +9,7 @@

<!-- Note: It's important that this is the first <version/> element to appear in this document (by line)
Because there is a simple logic in the release script to replace the version number of pom files -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<distributionManagement>
<repository>
@@ -9,7 +9,7 @@

<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<distributionManagement>
<repository>
@@ -22,7 +22,7 @@
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>javacutil</artifactId>
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
<type>jar</type>
</dependency>
</dependencies>
@@ -9,7 +9,7 @@

<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<distributionManagement>
<repository>
@@ -22,7 +22,7 @@
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>javacutil</artifactId>
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
<type>jar</type>
</dependency>
<dependency>
@@ -9,7 +9,7 @@

<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<distributionManagement>
<repository>
@@ -9,7 +9,7 @@

<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<distributionManagement>
<repository>
@@ -35,7 +35,7 @@

<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<scm>
<url>https://github.com/typetools/checker-framework.git</url>
@@ -26,7 +26,7 @@

<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<scm>
<url>https://github.com/typetools/checker-framework.git</url>
@@ -28,7 +28,7 @@

<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<scm>
<url>https://github.com/typetools/checker-framework.git</url>
@@ -31,20 +31,20 @@
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual</artifactId>
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
<type>jar</type>
</dependency>
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>javacutil</artifactId>
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
<type>jar</type>
</dependency>
</dependencies>

<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<scm>
<url>https://github.com/typetools/checker-framework.git</url>
@@ -31,7 +31,7 @@
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>javacutil</artifactId>
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
<type>jar</type>
</dependency>
<dependency>
@@ -44,7 +44,7 @@

<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<scm>
<url>https://github.com/typetools/checker-framework.git</url>
@@ -31,14 +31,14 @@
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual</artifactId>
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>
<type>jar</type>
</dependency>
</dependencies>

<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<scm>
<url>https://github.com/typetools/checker-framework.git</url>
@@ -26,7 +26,7 @@

<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->2.5.6<!-- /checker-framework-version --></version>
<version><!-- checker-framework-version -->2.5.7<!-- /checker-framework-version --></version>

<scm>
<url>https://github.com/typetools/checker-framework.git</url>

0 comments on commit 666dd40

Please sign in to comment.
You can’t perform that action at this time.