Chapter 5. Domains and Signatures

Table of Contents

5.1. Inj and Prj

5.1. Inj and Prj

Within the body of a domain the two special names inj and prj are directly visible. The former provides a view conversion (or injection) from an object of type % to an object of the domains carrier type, whereas the latter provides a view conversion (or projection) from an object of the domains carrier type to an object of type %.

Inj and Prj
[50]Inj::= inj ( Expression )  
[51]Prj::= prj ( Expression )