This preview shows page 1. Sign up to view the full content.
Unformatted text preview: present, and the type mark denotes a subtype, the direction of the subtype indication is the same as that of the denoted subtype. If no constraint is present, and the type mark denotes a type, the direction of the subtype indication is the same as that of the range used to define the denoted type. The direction of a discrete subtype is the same as the direction of its subtype indication. A subtype indication denoting an access type, a file type, or a protected type may must9 not contain a resolution function. Furthermore, the only allowable constraint on a subtype indication denoting an access type is an index constraint (and then only if the designated type is an array type). A subtype indication denoting a subtype of a record type, a file type, or a protected type may must10 not contain a constraint.
NOTE --A subtype declaration does not define a new type. 4.3 Objects
An object is a named entity that contains (has) a value of a given type. An object is one of the following: -- -- -- -- -- -- -- An object declared by an object declaration (see 4.3.1) A loop or generat...
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