diff options
author | Michael Ernst <mernst@cs.washington.edu> | 2017-06-09 15:34:29 -0700 |
---|---|---|
committer | Michael Ernst <mernst@cs.washington.edu> | 2017-06-09 15:34:29 -0700 |
commit | 02694558b428e24d62f2f5498391329bddb63972 (patch) | |
tree | 8c0827681a36dd6c6fc56e14f2a082e972b85d9c | |
parent | 5e19ffd6247fc089a322dd4b0438159cbde73e54 (diff) | |
download | annotation-tools-02694558b428e24d62f2f5498391329bddb63972.tar.gz |
Update URL
-rw-r--r-- | annotation-file-utilities/annotation-file-format.bbl | 4 | ||||
-rw-r--r-- | annotation-file-utilities/annotation-file-format.tex | 26 |
2 files changed, 15 insertions, 15 deletions
diff --git a/annotation-file-utilities/annotation-file-format.bbl b/annotation-file-utilities/annotation-file-format.bbl index 9700ebf..6589adc 100644 --- a/annotation-file-utilities/annotation-file-format.bbl +++ b/annotation-file-utilities/annotation-file-format.bbl @@ -12,10 +12,10 @@ Werner Dietl, Stephanie Dietzel, Michael~D. Ernst, K{\i}van{\c{c}} Mu{\c{s}}lu, \newblock In {\em ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering}, pages 681--690, Waikiki, Hawaii, USA, May 2011. -\bibitem[Ern11]{JSR308-webpage-201110} +\bibitem[Ern13]{JSR308-webpage-201310} Michael~D. Ernst. \newblock {Type Annotations} specification ({JSR} 308). -\newblock \url{https://types.cs.washington.edu/jsr308/}, October 2011. +\newblock \url{https://checkerframework.org/jsr308/}, October 2013. \bibitem[LBR06]{LeavensBR2006:JML} Gary~T. Leavens, Albert~L. Baker, and Clyde Ruby. diff --git a/annotation-file-utilities/annotation-file-format.tex b/annotation-file-utilities/annotation-file-format.tex index 1a2668b..5825722 100644 --- a/annotation-file-utilities/annotation-file-format.tex +++ b/annotation-file-utilities/annotation-file-format.tex @@ -105,7 +105,7 @@ declaration annotations and also the type annotations that are introduced by Jav The file format provides a simple syntax to represent the structure of a Java program. For annotations in method bodies of \code{.class} files the annotation file closely follows -section ``Class File Format Extensions'' of the JSR 308 design document~\cite{JSR308-webpage-201110}, +section ``Class File Format Extensions'' of the JSR 308 design document~\cite{JSR308-webpage-201310}, which explains how the annotations are stored in the \code{.class} file. In that sense, the current design is extremely low-level, and users @@ -322,7 +322,7 @@ public class Class<K extends Number> { \bnfnt{typeparam-bound} ::= \\ % The bound should really be a sub-element of the typeparam! \qquad \bnfcmt The integers are respectively the parameter and bound indexes of \\ -\qquad \bnfcmt the type parameter bound~\cite{JSR308-webpage-201110}. \\ +\qquad \bnfcmt the type parameter bound~\cite{JSR308-webpage-201310}. \\ \qquad \bnflit{bound} \bnfnt{integer} \bnflit{\&} \bnfnt{integer} \bnflit{:} \bnfnt{type-annotation}* \lineend \\ \qquad \bnfnt{compound-type}* \end{tabbing} @@ -598,7 +598,7 @@ The grammar uses \bnflit{\#} for bytecode offsets and \bnflit{*} for source code \qquad \= \kill \bnfnt{variable-location} ::= \\ \qquad \bnfcmt Bytecode offset: the integers are respectively the index, start, and length \\ -\qquad \bnfcmt fields of the annotations on this variable~\cite{JSR308-webpage-201110}. \\ +\qquad \bnfcmt fields of the annotations on this variable~\cite{JSR308-webpage-201310}. \\ \qquad (\bnfnt{integer} \bnflit{\#} \bnfnt{integer} \bnflit{+} \bnfnt{integer}) \\ \qquad \bnfcmt Source code index: the \bnfnt{name} is the identifier of the local variable. \\ \qquad \bnfcmt The \bnfnt{integer} is the optional zero-based index of the intended local \\ @@ -614,12 +614,12 @@ The grammar uses \bnflit{\#} for bytecode offsets and \bnflit{*} for source code \\ \bnfnt{typecast-location} ::= \\ \qquad \bnfcmt Bytecode offset: the first integer is the offset field and the optional \\ -\qquad \bnfcmt second integer is the type index of an intersection type~\cite{JSR308-webpage-201110}. \\ +\qquad \bnfcmt second integer is the type index of an intersection type~\cite{JSR308-webpage-201310}. \\ \qquad \bnfcmt The type index defaults to zero if not specified. \\ \qquad (\bnflit{\#} \bnfnt{integer} [ \bnflit{,} \bnfnt{integer} ]) \\ \qquad \bnfcmt Source code index: the first integer is the zero-based index of the typecast \\ \qquad \bnfcmt within the method and the optional second integer is the type index of an \\ -\qquad \bnfcmt intersection type~\cite{JSR308-webpage-201110}. The type index defaults to zero if not specified. \\ +\qquad \bnfcmt intersection type~\cite{JSR308-webpage-201310}. The type index defaults to zero if not specified. \\ \qquad \bnfor{} (\bnflit{*} \bnfnt{integer} [ \bnflit{,} \bnfnt{integer} ]) \\ \\ \bnfnt{typecast} ::= \\ @@ -627,7 +627,7 @@ The grammar uses \bnflit{\#} for bytecode offsets and \bnflit{*} for source code \qquad \bnfnt{compound-type}* \\ \\ \bnfnt{instanceof-location} ::= \\ -\qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201110}. \\ +\qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201310}. \\ \qquad (\bnflit{\#} \bnfnt{integer}) \\ \qquad \bnfcmt Source code index: the integer is the zero-based index of the \code{instanceof} \\ \qquad \bnfcmt within the method. \\ @@ -638,7 +638,7 @@ The grammar uses \bnflit{\#} for bytecode offsets and \bnflit{*} for source code \qquad \bnfnt{compound-type}* \\ \\ \bnfnt{new-location} ::= \\ -\qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201110}. \\ +\qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201310}. \\ \qquad (\bnflit{\#} \bnfnt{integer}) \\ \qquad \bnfcmt Source code index: the integer is the zero-based index of the object or array \\ \qquad \bnfcmt creation within the method. \\ @@ -649,7 +649,7 @@ The grammar uses \bnflit{\#} for bytecode offsets and \bnflit{*} for source code \qquad \bnfnt{compound-type}* \\ \bnfnt{call-location} ::= \\ -\qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201110}. \\ +\qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201310}. \\ \qquad (\bnflit{\#} \bnfnt{integer}) \\ \qquad \bnfcmt Source code index: the integer is the zero-based index of the method call \\ \qquad \bnfcmt within the field or method definition. \\ @@ -660,10 +660,10 @@ The grammar uses \bnflit{\#} for bytecode offsets and \bnflit{*} for source code \qquad \bnfnt{typearg-definition}* \\ \\ \bnfnt{reference-location} ::= \\ -\qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201110}. \\ +\qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201310}. \\ \qquad (\bnflit{\#} \bnfnt{integer}) \\ \qquad \bnfcmt Source code index: the integer is the zero-based index of the member \\ -\qquad \bnfcmt reference~\cite{JSR308-webpage-201110}. \\ +\qquad \bnfcmt reference~\cite{JSR308-webpage-201310}. \\ \qquad \bnfor{} (\bnflit{*} \bnfnt{integer}) \\ \\ \bnfnt{reference} ::= \\ @@ -672,10 +672,10 @@ The grammar uses \bnflit{\#} for bytecode offsets and \bnflit{*} for source code \qquad \bnfnt{typearg-definition}* \\ \\ \bnfnt{lambda-location} ::= \\ -\qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201110}. \\ +\qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201310}. \\ \qquad (\bnflit{\#} \bnfnt{integer}) \\ \qquad \bnfcmt Source code index: the integer is the zero-based index of the lambda \\ -\qquad \bnfcmt expression~\cite{JSR308-webpage-201110}. \\ +\qquad \bnfcmt expression~\cite{JSR308-webpage-201310}. \\ \qquad \bnfor{} (\bnflit{*} \bnfnt{integer}) \\ \\ \bnfnt{lambda} ::= \\ @@ -1087,7 +1087,7 @@ variables. Type annotations can be written on any use of a type, and on type parameter declarations. Type annotations must be meta-annotated with \code{ElementType.TYPE\_USE} and/or \code{ElementType.TYPE\_PARAMETER}. These meta-annotations are described in more detail in the JSR 308 -specification~\cite{JSR308-webpage-201110}. +specification~\cite{JSR308-webpage-201310}. The previous rules have used two productions for annotation uses in an annotation file: \bnfnt{decl-annotation} and \bnfnt{type-annotation}. |