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

Concept 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-decl, used9.9.1.1 Forall Variable Declarations
quantified-var-declarator, defined11.4.24 Quantified Expressions
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, 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.1 Universal and Existential Quantifiers
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.1 Universal and Existential Quantifiers
range predicate, not satisfiable11.4.24.2 Generalized Quantifiers
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-spec, defined13. Redundancy
redundant-spec, used9.2 Organization of Method Specifications
reference type2.1 Types can be Classes and Interfacees
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, used5. Compilation Units
refinement calculus1.5 Historical Precedents
refinement calculus14. Model Programs
refinement of field declarations16.3 Type Checking Refinements
refinement of methods16.3 Type Checking Refinements
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
refining method declaration16.3 Type Checking Refinements
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-decl, defined8.4 Represents Clauses
represents-decl, 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
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.5.3 Returns Clause
returns-clause, defined14.5.3 Returns Clause
returns-clause, used14.5 Specification Statements
returns-keyword, defined14.5.3 Returns Clause
returns-keyword, used14.5.3 Returns Clause
returns_redundantly4.6 Tokens
returns_redundantly14.5.3 Returns Clause
reverse implication, see <==11.6.3 Forward and Reverse Implication Operators
Rinard7.1.1.3 Pure Methods and Constructors
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
Ruby15. Specification for Subtypes
Ruby15. Specification for Subtypes
runtime assertion checker2.7 Expression Evaluation and Undefinedness
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 leavens on January, 11 2006 using texi2html