[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

Index: Q -- R

Jump to:   !   "   $   %   &   '   (   )   *   +   ,   -   .   /   0   1   2   3   4   5   6   7   8   9   :   ;   <   =   >   ?   @   [   \   ]   ^   _   {   |   }   ~  
A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  

Index Entry Section

Q
quantified addition, see \sum11.4.24.2 Generalized Quantifiers
quantified maximum, see \max11.4.24.2 Generalized Quantifiers
quantified minimum, see \min11.4.24.2 Generalized Quantifiers
quantified multiplication, see \product11.4.24.2 Generalized Quantifiers
quantified-var-declarator, defined11.4.24 Quantified Expressions
quantified-var-declarator, used9.9.1.1 Forall Variable Declarations
quantified-var-declarator, used11.4.24 Quantified Expressions
quantified-var-declarator, used11.5 Set Comprehensions
quantified-var-decls, defined11.4.24 Quantified Expressions
quantified-var-decls, used11.4.24 Quantified Expressions
quantifier1.2 A First Example
quantifier body1.2 A First Example
quantifier, body11.4.24.2 Generalized Quantifiers
quantifier, body of11.4.24 Quantified Expressions
quantifier, defined11.4.24 Quantified Expressions
quantifier, executability of11.4.24.4 Executability of Quantified Expressions
quantifier, generalized11.4.24.2 Generalized Quantifiers
quantifier, range predicate in11.4.24 Quantified Expressions
quantifier, used11.4.24 Quantified Expressions

R
Raghavan6.1.1 Subtyping for Type Definitions
range predicate1.2 A First Example
range predicate, and executability of quantifiers11.4.24.4 Executability of Quantified Expressions
range predicate, in quantifier11.4.24 Quantified Expressions
range predicate, not satisfiable11.4.24.1 Universal and Existential Quantifiers
range predicate, not satisfiable11.4.24.2 Generalized Quantifiers
Ravelo1.6 Acknowledgments
reach-expression, defined11.4.10 \reach
reach-expression, used11.4 JML Primary Expressions
reachable objects11.4.10 \reach
readable4.6 Tokens
readable8.7 Readable If Clauses
readable-if-clause, defined8.7 Readable If Clauses
readable-if-clause, used8. Type Specifications
readonly4.6 Tokens
readonly18. Universe Type System
readonly18.3 Readonly
reasons, for formal documentation1.3 What is JML Good For?
recursion, and pure methods7.1.1.3 Pure Methods and Constructors
redundant clause13.1 Redundant Implications and Redundantly Clauses
redundant implication13.1 Redundant Implications and Redundantly Clauses
redundant-spec, defined13. Redundancy
redundant-spec, used9.2 Organization of Method Specifications
redundantly13.1 Redundant Implications and Redundantly Clauses
reference semantics11.4.2 \old and \pre
reference type2.1 Types can be Classes and Interfaces
reference-type, defined7.1.2.2 Type-Specs
reference-type, used7.1.2.2 Type-Specs
reference-type, used7.1.2.2 Type-Specs
reference-type, used8.3 Constraints
reference-type, used9.9.4 Signals Clauses
reference-type, used9.9.5 Signals-Only Clauses
reference-type, used11.3 Expressions
reference-type, used11.4.21 \is_initialized
refine4.6 Tokens
refine16. Refinement
refine-keyword, defined16. Refinement
refine-keyword, used16. Refinement
refine-prefix, defined16. Refinement
refine-prefix, example of16.2 Using Separate Files
refine-prefix, example of16.2 Using Separate Files
refine-prefix, used5. Compilation Units
RefineDemo.java16.5.1 Default Constructor Refinement
RefineDemo.jml16.5.1 Default Constructor Refinement
RefineDemo.jml-refined16.5.1 Default Constructor Refinement
RefineDemo2.java16.5.1 Default Constructor Refinement
RefineDemo2.jml16.5.1 Default Constructor Refinement
RefineDemo2.jml-refined16.5.1 Default Constructor Refinement
refinement calculus1.5 Historical Precedents
refinement calculus14. Model Programs
refinement of field declarations16.4 Type Checking Refinements
refinement of methods16.4 Type Checking Refinements
refinement, of model program specification14.1 Ideas Behind Model Programs
refines4.6 Tokens
refines16. Refinement
`refines-java' filename suffix16.1 File Name Suffixes
`refines-jml' filename suffix16.1 File Name Suffixes
`refines-spec' filename suffix16.1 File Name Suffixes
refining4.6 Tokens
refining12.4.3 Refining Statements
refining method declaration16.4 Type Checking Refinements
refining statement12.4.3 Refining Statements
refining statement14.1 Ideas Behind Model Programs
refining-statement, defined12.4.3 Refining Statements
refining-statement, used12.4 JML Annotation Statements
reflection in assertions11.4.18 \type
relational abstraction8.4 Represents Clauses
relational-expr, defined11.3 Expressions
relational-expr, used11.3 Expressions
rep4.6 Tokens
rep18. Universe Type System
rep18.2 Rep and Peer
rep18.2 Rep and Peer
repeated elements in syntax3. Syntax Notation
replaced syntax20. Deprecated and Replaced Syntax
represents4.6 Tokens
represents8.4 Represents Clauses
represents-clause, defined8.4 Represents Clauses
represents-clause, used8. Type Specifications
represents-keyword, defined8.4 Represents Clauses
represents-keyword, used8.4 Represents Clauses
represents_redundantly4.6 Tokens
represents_redundantly8.4 Represents Clauses
requires1.2 A First Example
requires2.7 Expression Evaluation and Undefinedness
requires4.6 Tokens
requires9.6.2 Non-helper methods
requires9.6.2 Non-helper methods
requires9.9.2 Requires Clauses
requires clause1.2 A First Example
requires clause, omitted9.9.2 Requires Clauses
requires-clause, defined9.9.2 Requires Clauses
requires-clause, usedSyntax
requires-keyword, defined9.9.2 Requires Clauses
requires-keyword, used9.9.2 Requires Clauses
requires_redundantly4.6 Tokens
requires_redundantly9.9.2 Requires Clauses
resend4.6 Tokens
reserved words4.6 Tokens
reserved-ownership-modifier, defined18. Universe Type System
reserved-ownership-modifier, used18. Universe Type System
resources, specification of11.4.11 \duration
resources, specification of11.4.12 \space
resources, specification of11.4.13 \working_space
result-expression, defined11.4.1 \result
result-expression, used11.4 JML Primary Expressions
return4.6 Tokens
return12. Statements and Annotation Statements
return, carriage4.3 Comments
returns4.6 Tokens
returns14.6.3 Returns Clause
returns-clause, defined14.6.3 Returns Clause
returns-clause, used14.6 Specification Statements
returns-keyword, defined14.6.3 Returns Clause
returns-keyword, used14.6.3 Returns Clause
returns_redundantly4.6 Tokens
returns_redundantly14.6.3 Returns Clause
reverse implication, see <==11.6.3 Forward and Reverse Implication Operators
Rinard7.1.1.3 Pure Methods and Constructors
Rioux2.7 Expression Evaluation and Undefinedness
Rioux2.7 Expression Evaluation and Undefinedness
Rockwell International Corporation1.6 Acknowledgments
Rodriguez9.6.2 Non-helper methods
root ownership context18.1 Basic Concepts of Universes
Rosenblum1.1 Behavioral Interface Specifications
Ruby1. Introduction
Ruby1.2 A First Example
Ruby1.3 What is JML Good For?
Ruby1.3 What is JML Good For?
Ruby2.4 Privacy Modifiers and Visibility
Ruby2.4 Privacy Modifiers and Visibility
Ruby2.7 Expression Evaluation and Undefinedness
Ruby7.1.1.3 Pure Methods and Constructors
Ruby13.2 Redundant Examples
Ruby15. Specification for Subtypes
Ruby15. Specification for Subtypes
RuntimeException, and default signals clause9.9.5 Signals-Only Clauses

Jump to:   !   "   $   %   &   '   (   )   *   +   ,   -   .   /   0   1   2   3   4   5   6   7   8   9   :   ;   <   =   >   ?   @   [   \   ]   ^   _   {   |   }   ~  
A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by Gary Leavens on March, 16 2009 using texi2html