Lines Matching refs:jsr308
108 section ``Class File Format Extensions'' of the JSR 308 design document~\cite{JSR308-webpage-201310},
325 \qquad \bnfcmt the type parameter bound~\cite{JSR308-webpage-201310}. \\
601 \qquad \bnfcmt fields of the annotations on this variable~\cite{JSR308-webpage-201310}. \\
617 \qquad \bnfcmt second integer is the type index of an intersection type~\cite{JSR308-webpage-201310}. \\
622 \qquad \bnfcmt intersection type~\cite{JSR308-webpage-201310}. The type index defaults to zero if not specified. \\
630 \qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201310}. \\
641 \qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201310}. \\
652 \qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201310}. \\
663 \qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201310}. \\
666 \qquad \bnfcmt reference~\cite{JSR308-webpage-201310}. \\
675 \qquad \bnfcmt Bytecode offset: the integer is the offset field of the annotation~\cite{JSR308-webpage-201310}. \\
678 \qquad \bnfcmt expression~\cite{JSR308-webpage-201310}. \\
1090 specification~\cite{JSR308-webpage-201310}.
1173 \urldef\cftp\url|https://checkerframework.org/jsr308/specification/java-annotation-design.html#class-file:ext:type_path|
