HTML-Hypertext
Ada 9X Reference Manual

User's Guide

This hypertext document is a transmogrified version of the Ada 95 Reference Manual. All cross-references (to clauses, paragraphs, etc.) in the text and index have become links which will take you to the appropriate parts when followed.

This guide provides information on the following topics:

  1. Navigation
  2. Format of the Hyper-RM95
  3. Table of Contents
  4. Index
  5. Structured Navigation
  6. Search

  7. Credits
  8. Copyright
  9. Author

Navigation

Whenever you see a sequence of words like this example, you are in presence of a link which you may follow (what these words look like and how to follow a link is specific to your WWW browser). Normally, the links are named in such a way that you know where they go. (The example link in this paragraph takes you to the list of topics above.) Your WWW broser should let you backtrack through the "pages" you came from, so that links are not one-way tracks only.

Format of the Hyper-RM95

The text of the reference manual is formatted and all paragraphs are numbered in order to reflect the structure of the paper version. The presentation will of course slightly differ from that of the paper version, first because some formatting information has been lost in the process of going from Scribe to ASCII to HTML, and second because your WWW browser provides you with a particular, possibly quite limited, view of this document.

The reference manual has been subdivided into hypertext "pages," one page for each section, annex, clause, and subclause. This guarantees that when you access a new page you will not wait forever to download and display it.

A few icons are used in this document: ICON is an icon of Lady Ada Lovelace, which stands for a link to the Ada WWW Server (Home of the Brave Ada Programmers, URL http://lglwww.epfl.ch/Ada/) . If you are accessing this document offline (i.e. without Internet connection) you will not be able to follow this link. The other icons are used for structured navigation.

Table of Contents

There are three versions of the table of contents (TOC) of the reference manual. They differ in how much they "zoom" in the TOC: when you access the first page of the hyper-RM95, you will see the list of section and annex headers only, while zoom one (clauses) will show the TOC down to one level with all clause headers, and zoom two (subclauses) will show the TOC down to two levels with all subclause headers. The link names to the three TOC levels are systematically abbreviated with patterns reflecting the numbering of sections (TOC --), clauses (--.--), and subclauses (--.--.--).

To navigate within a section or annex, the corresponding table of contents is included (with links to clauses and subclauses, if any) at the end of the page. Similarly, within each clause, a table of contents includes links to its subclauses, if any. Good examples are section 1, "General" and clause 1.1, "Scope of the Standard."

In addition, whenever a section or clause needs a local TOC, there is an associated TOC page which simply contains the title of the section or clause and its local TOC (see for instance section 1, "General" and the associated TOC of section 1, "General"). Thus the titles of sections and clauses listed in each TOC are links to the corresponding text, and these titles are followed by an additional link to their corresponding local TOC, if any. This should prove quite helpful for those who have little screen estate and do not wish to scroll pages in order to reach local TOCs. Good examples are the TOC of section 4, "Names and Expressions" and TOC of clause 4.1, "Names."

If you are familiar with the Ada 83 RM, you might have noticed a change of terminology in this description. ISO requires that the first-level subdivisions of a standard be called "sections," the second-level subdivisions "clauses," and the third-level "subclauses." (In LRM 83. those were respectively called "chapters," "sections," and "subsections.")

Index

The index of the reference manual has been subdivided into sections by alphabetical order. All entries are links to the corresponding paragraphs of the document.

Structured Navigation

On all pages of this document (sections, annexes, clauses, and subclauses), you will find some links at the top and bottom, separated by bars. They provide a structure for systematic navigation in the reference manual:
Prev | Up | Next | Back | Forward
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help

If you are using a graphical browser, you will see the following equivalent menu:
arrow left | arrow up | arrow right | arrow back | arrow forward
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help

The five links on the first line are "directional" links. The first three ("Prev," "Up," and "Next") will only appear when appropriate, and the next two ("Back" and "Forward") are always available. They are described in detail below.

The others, on the second line, have the following functions:

Prev is a link to the previous section, annex, clause, or subclause, depending on where you are and if there is a previous one.

For instance, Prev in section 3, "Declarations and Types," is a link to section 2, "Lexical Elements," and in subclause 12.5.2, "Formal Scalar Types," it is a link to subclause 12.5.1, "Formal Private and Derived Types."

If there is no previous section, clause, or subclause, the link is inactive and looks like this: ____.

Next is a link to the next section, annex, clause, or subclause, depending on where you are and if there is a next one.

For instance, Next in section 3, "Declarations and Types," is a link to section 4, "Names and Expression," and in subclause 12.5.2, "Formal Scalar Types," it is a link to subclause 12.5.3, "Formal Array Types."

If there is no next section, clause, or subclause, the link is inactive and looks like this: ____.

Up is a link to the enclosing section, annex, or clause, depending on where you are. In sections and annexes, it is a link to the global table of contents.

For instance, Up in section 3, "Declarations and Types," is a link to the TOC -- but in subclause 12.5.2, "Formal Scalar Types," it is a link to clause 12.5, "Formal Types," where it is a link to section 12, "Generic Units."

Back is a back link to the previous page, as if browsing some sort of paper version of the reference manual.

For instance, Back in section 3, "Declarations and Types," is a link to clause 2.9, "Reserved Words," and in subclause 12.5.2, "Formal Scalar Types," it is a link to subclause 12.5.1, "Formal Private and Derived Types," where it is a link to clause 12.5, "Formal Types," where it is a link to clause 12.4, "Formal Objects."

Forward is a forward link to the next page, achieving the inverse "paper version" effect of back links.

For instance, Forward in section 3, "Declarations and Types," is a link to clause 3.1, "Declarations," and in subclause 12.5.3, "Formal Array Types," it is a link to subclause 12.5.4, "Formal Access Types," where it is a link to clause 12.6, "Formal Subprograms."

Direct Search

On all pages of this document (sections, annexes, clauses, and subclauses), you will find a Search link at the top and bottom. It opens the search page, for direct access to the numbered contents of the reference manual.

To access directly a specific section, clause, or subclause, just type the section, clause, or subclause number that you want in the entry box and then press the Return key on your keyboard. With some browsers, you may have to place the pointer in the box before you can enter any text.

You may even specify a paragraph number in parenthesis, e.g. '1', '1.1' and '1(2)' are valid search keys. If the section, clause, or subclause specified does not exist, you will land in the table of contents. If the paragraph number specified does not exist, you will land at the top or bottom (depending on your browser) of the section, clause, or subclause you requested.

For direct composition of URL references into the reference manual, note that the filenames are constructed as follows:


Ada WWW Home -- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last modified: 95-03-12