p1076_chap_04

22 for each element of the object denoted by the name

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: subtype indication denotes a scalar subtype, then the object is viewed as if it were of the subtype specified by the subtype indication; moreover, it is an error if this subtype does not have the same bounds and direction as the subtype denoted by the object name. -- c) d) The same applies to attribute references where the prefix of the attribute name denotes the alias. A reference to an element of an object alias is implicitly a reference to the matching element of the object denoted by the alias. A reference to a slice of an object alias consisting of the elements e1, e2, ..., en is implicitly a reference to a slice of the object denoted by the alias consisting of the matching elements corresponding to each of e1 through en. 4.3.3.2 Nonobject aliases The following rules apply to nonobject aliases: a) b) A subtype indication may must54 not appear in a nonobject alias. A signature is required if the name denotes a subprogram (including an operator) or enumeration literal. In this case, the signature is required to match (see 2.3) the para...
View Full Document

This note was uploaded on 09/09/2009 for the course EECS 318 taught by Professor Saab during the Fall '01 term at Case Western.

Ask a homework question - tutors are online