new release 3.16.0

Author: smillst

docs/checker-framework-webpage.html

@@ -30,8 +30,8 @@ <h1>The Checker Framework</h1>
     <a href="manual/#installation"><b>Installation instructions and tutorial</b></a>.
   </li>
   <li>
-    Download: <a href="checker-framework-3.15.0.zip"><!-- checker-framework-zip-version -->checker-framework-3.15.0.zip<!-- /checker-framework-zip-version --></a>
-    (<!-- checker-framework-date -->18 Jun 2021<!-- /checker-framework-date -->);
+    Download: <a href="checker-framework-3.16.0.zip"><!-- checker-framework-zip-version -->checker-framework-3.16.0.zip<!-- /checker-framework-zip-version --></a>
+    (<!-- checker-framework-date -->13 Jul 2021<!-- /checker-framework-date -->);
     includes source, platform-independent binary, tests, and documentation.<br/>
     Then, see the <a
     href="manual/#installation"><b>installation
@@ -93,7 +93,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.15.0.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.15.0.zip<!-- /annotation-tools-zip-version --></a> (<!-- afu-date -->18 Jun 2021<!-- /afu-date -->)
+          <li><a href="annotation-file-utilities/annotation-tools-3.16.0.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.16.0.zip<!-- /annotation-tools-zip-version --></a> (<!-- afu-date -->13 Jul 2021<!-- /afu-date -->)
           </li>
           <li><a href="https://github.com/typetools/annotation-tools/">source code repository</a>
           </li>
@@ -223,7 +223,7 @@ <h3 id="mailing-lists">Mailing lists</h3>
 <hr />
 
 <p>
-Last updated: <!-- checker-framework-date -->18 Jun 2021<!-- /checker-framework-date -->
+Last updated: <!-- checker-framework-date -->13 Jul 2021<!-- /checker-framework-date -->
 </p>
 
 </body>

docs/examples/MavenExample/pom.xml

@@ -14,7 +14,7 @@
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
     <!-- These properties will be set by the Maven Dependency plugin -->
     <errorProneJavac>${com.google.errorprone:javac:jar}</errorProneJavac>
-    <checkerFrameworkVersion><!-- checker-framework-version -->3.15.0<!-- /checker-framework-version --></checkerFrameworkVersion>
+    <checkerFrameworkVersion><!-- checker-framework-version -->3.16.0<!-- /checker-framework-version --></checkerFrameworkVersion>
   </properties>
 
   <dependencies>

docs/manual/external-tools.tex

@@ -118,7 +118,7 @@
 \begin{Verbatim}
 dependencies {
     ... existing dependencies...
-    ext.checkerFrameworkVersion = '3.15.0'
+    ext.checkerFrameworkVersion = '3.16.0'
     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}"
@@ -191,7 +191,7 @@
 \begin{Verbatim}
 dependencies {
     ... existing dependencies...
-    ext.checkerFrameworkVersion = '3.15.0'
+    ext.checkerFrameworkVersion = '3.16.0'
     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}"
@@ -344,13 +344,13 @@
 \begin{Verbatim}
 prebuilt_jar(
     name = 'checker-framework',
-    binary_jar = 'checker-3.15.0.jar',
+    binary_jar = 'checker-3.16.0.jar',
     visibility = [ 'PUBLIC' ]
 )
 
 prebuilt_jar(
     name = 'checker-qual',
-    binary_jar = 'checker-qual-3.15.0.jar',
+    binary_jar = 'checker-qual-3.16.0.jar',
     visibility = [ 'PUBLIC' ]
 )
 
@@ -385,21 +385,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.15.0/>.
+other than \<\${HOME}/checker-framework-3.16.0/>.
 
 
 \begin{itemize}
   \item
     Option 1:
     Add directory
-    \code{.../checker-framework-3.15.0/checker/bin} to your path, \emph{before} any other
+    \code{.../checker-framework-3.16.0/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-3.15.0
+  export CHECKERFRAMEWORK=${HOME}/checker-framework-3.16.0
   export PATH=${CHECKERFRAMEWORK}/checker/bin:${PATH}
 \end{Verbatim}
 
@@ -420,7 +420,7 @@
     file:
 % No Windows example because this doesn't work under Windows.
 \begin{Verbatim}
-  export CHECKERFRAMEWORK=${HOME}/checker-framework-3.15.0
+  export CHECKERFRAMEWORK=${HOME}/checker-framework-3.16.0
   alias javacheck='$CHECKERFRAMEWORK/checker/bin/javac'
 \end{Verbatim}
 
@@ -442,11 +442,11 @@
 
 \begin{Verbatim}
   # Unix
-  export CHECKERFRAMEWORK=${HOME}/checker-framework-3.15.0
+  export CHECKERFRAMEWORK=${HOME}/checker-framework-3.16.0
   alias javacheck='java -jar "$CHECKERFRAMEWORK/checker/dist/checker.jar"'
 
   # Windows
-  set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.15.0\
+  set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.16.0\
   doskey javacheck=java -jar "%CHECKERFRAMEWORK%\checker\dist\checker.jar" $*
 \end{Verbatim}
 
@@ -525,9 +525,9 @@
 
 \begin{itemize}
 \item \<javac.jar>: \url{https://search.maven.org/artifact/com.google.errorprone/javac/9%2B181-r4173-1/jar}
-\item \<checker-qual.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-qual/3.15.0/checker-qual-3.15.0.jar}
-\item \<checker-util.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-util/3.15.0/checker-util-3.15.0.jar}
-\item \<checker.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker/3.15.0/checker-3.15.0-all.jar}
+\item \<checker-qual.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-qual/3.16.0/checker-qual-3.16.0.jar}
+\item \<checker-util.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-util/3.16.0/checker-util-3.16.0.jar}
+\item \<checker.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker/3.16.0/checker-3.16.0-all.jar}
 \end{itemize}
 
 Different arguments to \<javac> are required for JDK 8

docs/manual/introduction.tex

@@ -209,7 +209,7 @@
   %BEGIN LATEX
   \\
   %END LATEX
-  \url{https://checkerframework.org/checker-framework-3.15.0.zip}
+  \url{https://checkerframework.org/checker-framework-3.16.0.zip}
 
 \item
   Unzip it to create a \code{checker-framework-\ReleaseVersion{}} directory.

docs/manual/manual.bbl

@@ -99,14 +99,14 @@ Werner Dietl, Stephanie Dietzel, Michael~D. Ernst, K{\i}van{\c{c}} Mu{\c{s}}lu,
   and Todd Schiller.
 \newblock Building and using pluggable type-checkers.
 \newblock In {\em ICSE 2011, Proceedings of the 33rd International Conference
-  on Software Engineering}, pages 681--690, Waikiki, Hawaii, USA, May 2011.
+  on Software Engineering\/} \cite{ICSE2011}, pages 681--690.
 
 \bibitem[DDE{\etalchar{+}}12]{DietlDEMWCPP2012}
 Werner Dietl, Stephanie Dietzel, Michael~D. Ernst, Nathaniel Mote, Brian
   Walker, Seth Cooper, Timothy Pavlik, and Zoran Popovi{\'c}.
 \newblock Verification games: Making verification fun.
 \newblock In {\em FTfJP: 14th Workshop on Formal Techniques for Java-like
-  Programs}, pages 42--49, Beijing, China, June 2012.
+  Programs\/} \cite{FTFJP2012}, pages 42--49.
 
 \bibitem[DDM11]{DietlDM2011}
 Werner Dietl, Sophia Drossopoulou, and Peter M{\"u}ller.
@@ -128,6 +128,10 @@ Yao Dong, Ana Milanova, and Julian Dolby.
   Principles and Practice of Programming in Java: Virtual Machines, Languages,
   and Tools}, Lugano, Switzerland, August 2016.
 
+\bibitem[ECO08]{ECOOP2008}
+{\em ECOOP 2008 --- Object-Oriented Programming, 22nd European Conference},
+  Paphos, Cyprus, July 2008.
+
 \bibitem[EJM{\etalchar{+}}14]{ErnstJMDPRKBBHVW2014}
 Michael~D. Ernst, Ren{\'e} Just, Suzanne Millstein, Werner Dietl, Stuart
   Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoraskar,
@@ -156,14 +160,26 @@ Michael~D. Ernst.
 \newblock Building and using pluggable type systems with the {Checker
   Framework}.
 \newblock In {\em ECOOP 2008 --- Object-Oriented Programming, 22nd European
-  Conference}, Paphos, Cyprus, July 2008.
+  Conference\/} \cite{ECOOP2008}.
 \newblock Tool demo.
 
 \bibitem[Ern08b]{JSR308-2008-09-12}
 Michael~D. Ernst.
 \newblock {Type Annotations} specification ({JSR} 308).
 \newblock \url{https://checkerframework.org/jsr308/}, September~12, 2008.
 
+\bibitem[FSE12]{FSE2012}
+{\em FSE 2012: Proceedings of the {ACM} {SIGSOFT} 20th Symposium on the
+  Foundations of Software Engineering}, Cary, NC, USA, November 2012.
+
+\bibitem[FSE16]{FSE2016}
+{\em FSE 2016: Proceedings of the {ACM} {SIGSOFT} 24th Symposium on the
+  Foundations of Software Engineering}, Seattle, WA, USA, November 2016.
+
+\bibitem[FTF12]{FTFJP2012}
+{\em FTfJP: 14th Workshop on Formal Techniques for Java-like Programs},
+  Beijing, China, June 2012.
+
 \bibitem[GBS13]{GerakiosBS2013}
 Prodromos Gerakios, Aggelos Biboudis, and Yannis Smaragdakis.
 \newblock Reified type parameters using java annotations.
@@ -212,8 +228,7 @@ Wei Huang, Werner Dietl, Ana Milanova, and Michael~D. Ernst.
 Wei Huang and Ana Milanova.
 \newblock {ReImInfer}: Method purity inference for {Java}.
 \newblock In {\em FSE 2012: Proceedings of the {ACM} {SIGSOFT} 20th Symposium
-  on the Foundations of Software Engineering}, pages 1--4, Cary, NC, USA,
-  November 2012.
+  on the Foundations of Software Engineering\/} \cite{FSE2012}, pages 1--4.
 
 \bibitem[HMDE12]{HuangMDE2012}
 Wei Huang, Ana Milanova, Werner Dietl, and Michael~D. Ernst.
@@ -236,6 +251,10 @@ David Hovemeyer, Jaime Spacco, and William Pugh.
   for Software Tools and Engineering (PASTE 2005)}, pages 13--19, Lisbon,
   Portugal, September 2005.
 
+\bibitem[ICS11]{ICSE2011}
+{\em ICSE 2011, Proceedings of the 33rd International Conference on Software
+  Engineering}, Waikiki, Hawaii, USA, May 2011.
+
 \bibitem[KDME18]{KelloggDME2018}
 Martin Kellogg, Vlastimil Dort, Suzanne Millstein, and Michael~D. Ernst.
 \newblock Lightweight verification of array indexing.
@@ -256,7 +275,7 @@ Mirko K{\"o}hler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara,
 \newblock Rethinking safe consistency in distributed object-oriented
   programming.
 \newblock In {\em OOPSLA 2020, Object-Oriented Programming Systems, Languages,
-  and Applications}, Chicago, IL, USA, November 2020.
+  and Applications\/} \cite{OOPSLA2020}.
 
 \bibitem[KRS{\etalchar{+}}20]{KelloggRSSE2020}
 Martin Kellogg, Manli Ran, Manu Sridharan, Martin Sch{\"a}f, and Michael~D.
@@ -307,15 +326,14 @@ Jianchu Li.
 Christopher~A. Mackie.
 \newblock Preventing signedness errors in numerical computations in java.
 \newblock In {\em FSE 2016: Proceedings of the {ACM} {SIGSOFT} 24th Symposium
-  on the Foundations of Software Engineering}, pages 1148--1150, Seattle, WA,
-  USA, November 2016.
+  on the Foundations of Software Engineering\/} \cite{FSE2016}, pages
+  1148--1150.
 
 \bibitem[MH12]{MilanovaH2012}
 Ana Milanova and Wei Huang.
 \newblock Inference and checking of context-sensitive pluggable types.
 \newblock In {\em FSE 2012: Proceedings of the {ACM} {SIGSOFT} 20th Symposium
-  on the Foundations of Software Engineering}, pages 1--4, Cary, NC, USA,
-  November 2012.
+  on the Foundations of Software Engineering\/} \cite{FSE2012}, pages 1--4.
 
 \bibitem[Mil18]{Milanova2018}
 Ana Milanova.
@@ -329,6 +347,10 @@ Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, and Michael~D. Ernst.
 \newblock In {\em ICSE 2021, Proceedings of the 43rd International Conference
   on Software Engineering}, Madrid, Spain, May 2021.
 
+\bibitem[OOP20]{OOPSLA2020}
+{\em OOPSLA 2020, Object-Oriented Programming Systems, Languages, and
+  Applications}, Chicago, IL, USA, November 2020.
+
 \bibitem[PAC{\etalchar{+}}08]{PapiACPE2008}
 Matthew~M. Papi, Mahmood Ali, Telmo~Luis {Correa~Jr.}, Jeff~H. Perkins, and
   Michael~D. Ernst.
@@ -347,14 +369,14 @@ Alex Potanin, Johan {\"O}stlund, Yoav Zibin, and Michael~D. Ernst.
 Jaime Quinonez, Matthew~S. Tschantz, and Michael~D. Ernst.
 \newblock Inference of reference immutability.
 \newblock In {\em ECOOP 2008 --- Object-Oriented Programming, 22nd European
-  Conference}, pages 616--641, Paphos, Cyprus, July 2008.
+  Conference\/} \cite{ECOOP2008}, pages 616--641.
 
 \bibitem[San16]{Santino2016}
 Joseph Santino.
 \newblock Enforcing correct array indexes with a type system.
 \newblock In {\em FSE 2016: Proceedings of the {ACM} {SIGSOFT} 24th Symposium
-  on the Foundations of Software Engineering}, pages 1142--1144, Seattle, WA,
-  USA, November 2016.
+  on the Foundations of Software Engineering\/} \cite{FSE2016}, pages
+  1142--1144.
 
 \bibitem[SCSC18]{SteinCSC2018}
 Benno Stein, Lazaro Clapp, Manu Sridharan, and Bor{-}Yuh~Evan Chang.
@@ -367,7 +389,7 @@ Benno Stein, Lazaro Clapp, Manu Sridharan, and Bor{-}Yuh~Evan Chang.
 Eric Spishak, Werner Dietl, and Michael~D. Ernst.
 \newblock A type system for regular expressions.
 \newblock In {\em FTfJP: 14th Workshop on Formal Techniques for Java-like
-  Programs}, pages 20--26, Beijing, China, June 2012.
+  Programs\/} \cite{FTFJP2012}, pages 20--26.
 
 \bibitem[SDF{\etalchar{+}}11]{SampsonDFGCG2011}
 Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze,
@@ -388,7 +410,7 @@ Todd~W. Schiller and Michael~D. Ernst.
 Fausto Spoto and Michael~D. Ernst.
 \newblock Inference of field initialization.
 \newblock In {\em ICSE 2011, Proceedings of the 33rd International Conference
-  on Software Engineering}, pages 231--240, Waikiki, Hawaii, USA, May 2011.
+  on Software Engineering\/} \cite{ICSE2011}, pages 231--240.
 
 \bibitem[She11]{Sherwany2011}
 Amanj Sherwany.
@@ -476,7 +498,7 @@ Weitian Xing.
 Tongtong Xiang, Jeff~Y. Luo, and Werner Dietl.
 \newblock Precise inference of expressive units of measurement types.
 \newblock In {\em OOPSLA 2020, Object-Oriented Programming Systems, Languages,
-  and Applications}, Chicago, IL, USA, November 2020.
+  and Applications\/} \cite{OOPSLA2020}.
 
 \bibitem[ZPA{\etalchar{+}}07]{ZibinPAAKE2007}
 Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kie{\.z}un, and

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.15.0}
-\newcommand{\ReleaseInfo}{3.15.0 (18 Jun 2021)}
+\newcommand{\ReleaseVersion}{3.16.0}
+\newcommand{\ReleaseInfo}{3.16.0 (13 Jul 2021)}
 \date{Version \ReleaseInfo{}}
 
 \begin{document}