This preview shows page 1. Sign up to view the full content.
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. 184.108.40.206 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.
- Fall '01