From b1949047b2077ec09e05cb1838e68df56328f2ee Mon Sep 17 00:00:00 2001 From: Suzanne Millstein Date: Mon, 2 Nov 2020 13:51:12 -0800 Subject: [PATCH] new release 3.7.1 --- docs/checker-framework-webpage.html | 8 +++---- docs/examples/MavenExample/pom.xml | 2 +- docs/manual/external-tools.tex | 24 +++++++++---------- docs/manual/introduction.tex | 2 +- docs/manual/manual.tex | 4 ++-- .../tests/testdemo/check-tainting.0.expected | 2 +- .../tutorial/webpages/security-error-cmd.html | 6 ++--- 7 files changed, 24 insertions(+), 24 deletions(-) diff --git a/docs/checker-framework-webpage.html b/docs/checker-framework-webpage.html index a512dde70ef..d4a27042a56 100644 --- a/docs/checker-framework-webpage.html +++ b/docs/checker-framework-webpage.html @@ -30,8 +30,8 @@

The Checker Framework

Installation instructions and tutorial.
  • - Download: checker-framework-3.7.0.zip - (1 Oct 2020); + Download: checker-framework-3.7.1.zip + (2 Nov 2020); includes source, platform-independent binary, tests, and documentation.
    Then, see the installation @@ -93,7 +93,7 @@

    The Checker Framework

    the .class file. The tools support both Java 5 declaration annotations and Java 8 type annotations.
      -
    • annotation-tools-3.9.13.zip (01 Oct 2020) +
    • annotation-tools-3.9.14.zip (02 Nov 2020)
    • source code repository
    • @@ -223,7 +223,7 @@

      Mailing lists


      -Last updated: 1 Oct 2020 +Last updated: 2 Nov 2020

      diff --git a/docs/examples/MavenExample/pom.xml b/docs/examples/MavenExample/pom.xml index ba15e816b70..7646a92e458 100644 --- a/docs/examples/MavenExample/pom.xml +++ b/docs/examples/MavenExample/pom.xml @@ -14,7 +14,7 @@ UTF-8 ${com.google.errorprone:javac:jar} - 3.7.0 + 3.7.1 diff --git a/docs/manual/external-tools.tex b/docs/manual/external-tools.tex index b3c66f86bf8..9b67423f6a0 100644 --- a/docs/manual/external-tools.tex +++ b/docs/manual/external-tools.tex @@ -117,7 +117,7 @@ \begin{Verbatim} dependencies { ... existing dependencies... - ext.checkerFrameworkVersion = '3.7.0' + ext.checkerFrameworkVersion = '3.7.1' implementation "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}" // or if you use no annotations in source code the above line could be // compileOnly "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}" @@ -190,7 +190,7 @@ \begin{Verbatim} dependencies { ... existing dependencies... - ext.checkerFrameworkVersion = '3.7.0' + ext.checkerFrameworkVersion = '3.7.1' implementation "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}" // or if you use no annotations in source code the above line could be // compileOnly "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}" @@ -338,13 +338,13 @@ \begin{Verbatim} prebuilt_jar( name = 'checker-framework', - binary_jar = 'checker-3.7.0.jar', + binary_jar = 'checker-3.7.1.jar', visibility = [ 'PUBLIC' ] ) prebuilt_jar( name = 'checker-qual', - binary_jar = 'checker-qual-3.7.0.jar', + binary_jar = 'checker-qual-3.7.1.jar', visibility = [ 'PUBLIC' ] ) @@ -376,21 +376,21 @@ use the last one. % Is the last one required for Cygwin, as well as for the Windows command shell? Adjust the pathnames if you have installed the Checker Framework somewhere -other than \<\${HOME}/checker-framework-3.7.0/>. +other than \<\${HOME}/checker-framework-3.7.1/>. \begin{itemize} \item Option 1: Add directory - \code{.../checker-framework-3.7.0/checker/bin} to your path, \emph{before} any other + \code{.../checker-framework-3.7.1/checker/bin} to your path, \emph{before} any other directory that contains a \ 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-3.7.0 + export CHECKERFRAMEWORK=${HOME}/checker-framework-3.7.1 export PATH=${CHECKERFRAMEWORK}/checker/bin:${PATH} \end{Verbatim} @@ -411,7 +411,7 @@ file: % No Windows example because this doesn't work under Windows. \begin{Verbatim} - export CHECKERFRAMEWORK=${HOME}/checker-framework-3.7.0 + export CHECKERFRAMEWORK=${HOME}/checker-framework-3.7.1 alias javacheck='$CHECKERFRAMEWORK/checker/bin/javac' \end{Verbatim} @@ -433,11 +433,11 @@ \begin{Verbatim} # Unix - export CHECKERFRAMEWORK=${HOME}/checker-framework-3.7.0 + export CHECKERFRAMEWORK=${HOME}/checker-framework-3.7.1 alias javacheck='java -jar "$CHECKERFRAMEWORK/checker/dist/checker.jar"' # Windows - set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.7.0\ + set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.7.1\ doskey javacheck=java -jar "%CHECKERFRAMEWORK%\checker\dist\checker.jar" $* \end{Verbatim} @@ -516,8 +516,8 @@ \begin{itemize} \item \: \url{https://search.maven.org/artifact/com.google.errorprone/javac/9%2B181-r4173-1/jar} -\item \: \url{https://search.maven.org/artifact/org.checkerframework/checker-qual/3.7.0/jar} -\item \: \url{https://search.maven.org/artifact/org.checkerframework/checker/3.7.0/jar} +\item \: \url{https://search.maven.org/artifact/org.checkerframework/checker-qual/3.7.1/jar} +\item \: \url{https://search.maven.org/artifact/org.checkerframework/checker/3.7.1/jar} \end{itemize} Different arguments to \ are required for JDK 8 diff --git a/docs/manual/introduction.tex b/docs/manual/introduction.tex index 4af6210ca0a..aff58111ad6 100644 --- a/docs/manual/introduction.tex +++ b/docs/manual/introduction.tex @@ -192,7 +192,7 @@ %BEGIN LATEX \\ %END LATEX - \url{https://checkerframework.org/checker-framework-3.7.0.zip} + \url{https://checkerframework.org/checker-framework-3.7.1.zip} \item Unzip it to create a \code{checker-framework-\ReleaseVersion{}} directory. diff --git a/docs/manual/manual.tex b/docs/manual/manual.tex index dfdb74700cc..50fef6d1013 100644 --- a/docs/manual/manual.tex +++ b/docs/manual/manual.tex @@ -4,8 +4,8 @@ \title{The Checker Framework Manual: \\ Custom pluggable types for Java} \author{\url{https://checkerframework.org/}} -\newcommand{\ReleaseVersion}{3.7.0} -\newcommand{\ReleaseInfo}{3.7.0 (1 Oct 2020)} +\newcommand{\ReleaseVersion}{3.7.1} +\newcommand{\ReleaseInfo}{3.7.1 (2 Nov 2020)} \date{Version \ReleaseInfo{}} \begin{document} diff --git a/docs/tutorial/tests/testdemo/check-tainting.0.expected b/docs/tutorial/tests/testdemo/check-tainting.0.expected index 72648599af2..c08b1044f11 100644 --- a/docs/tutorial/tests/testdemo/check-tainting.0.expected +++ b/docs/tutorial/tests/testdemo/check-tainting.0.expected @@ -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-3.7.0 +javac 1.8.0-jsr308-3.7.1 /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"); ^ diff --git a/docs/tutorial/webpages/security-error-cmd.html b/docs/tutorial/webpages/security-error-cmd.html index fa0c1d1c744..3c6a8af6294 100644 --- a/docs/tutorial/webpages/security-error-cmd.html +++ b/docs/tutorial/webpages/security-error-cmd.html @@ -104,7 +104,7 @@

      1. Run the Tainting Checker — 1 error found

      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-3.7.0 +[jsr308.javac] javac 1.8.0-jsr308-3.7.1 [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 @@

      3. Re-run the Tainting Checker — a new error is found

      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-3.7.0 +[jsr308.javac] javac 1.8.0-jsr308-3.7.1 [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 @@

      5. Re-run the Tainting Checker — no errors

      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-3.7.0 +[jsr308.javac] javac 1.8.0-jsr308-3.7.1 BUILD SUCCESSFUL Total time: 2 seconds