Go to the first, previous, next, last section, table of contents.


2.6 Scope Rules

A scope unit is an area of specification text within which declarations may have effect, within which multiple definitions of the same name are prohibited, and outside of which declarations inside the unit do not have effect. The scope units in Larch/C++ are as in C++ (Section 3.2 of [Ellis-Stroustrup90] and Section r.3.3.1 of [Stroustrup94]), with the addition of a scoping unit for function specifications, spec-cases, and quantifiers.

The new scope units in Larch/C++ are as follows.

The scope rules of Larch/C++ are exactly as in C++ (Section 10.4 of [Ellis-Stroustrup90] with the addition of namespaces as in [Stroustrup94]), with the following additions.


Go to the first, previous, next, last section, table of contents.