p1076_chap_04

If no constraint is present and the type mark denotes

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: 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.

Ask a homework question - tutors are online