View concept

Description

Views are windows on another view, container or expression.

A view is an expression if the underlying data are read-only.

Refinement of

Collection.

Associated types

In addition to those those of Collection.
Underlying collection type X::source_type Is a Collection type

Notation

X Type that is a model of View a Object of type X c Object of type X::source_type

Definitions

Valid expressions

In addition to those of Collection.

Expression semantics

In addition to those those of Collection.
Name Expression Type requirements Return type
Constructor X a(c,argument2,arg3,...,argn) X
Source a.source() X::source_type

Complexity guarantees

Invariants

Models

Notes

Name Expression Precondition Semantics Postcondition
Constructor X a(c,arg2,arg3,...,argn) Number of arguments depends on the view: n≥1
Source a.source()