This preview shows page 1. Sign up to view the full content.
Unformatted text preview: ration of the type definition for a scalar type or a constrained array type creates both a base type and a subtype of the base type. The simple name declared by a type declaration denotes the declared type, unless the type declaration declares both a base type and a subtype of the base type, in which case the simple name denotes the subtype and the base type is anonymous. A type is said to be anonymous if it has no simple name. For explanatory purposes, this standard sometimes refers to an anonymous type by a pseudo-name, written in italics, and uses such pseudo-names at places where the syntax normally requires an identifier. NOTES
1--Two type definitions always define two distinct types, even if they are lexically identical. Thus, the type definitions in the following two integer type declarations define distinct types: type A is range 1 to 10; type B is range 1 to 10;
This applies to type declarations for other classes of types as well. 2--The various forms of type definition are described in Section Clause6 3. Examples o...
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