This preview shows page 1. Sign up to view the full content.
Unformatted text preview: f type declarations are also given in that section clause7. 4.2 Subtype declarations
A subtype declaration declares a subtype. subtype_declaration ::= subtype identifier is subtype_indication ; subtype_indication ::= [ resolution_function_name ] type_mark [ constraint ] type_mark ::= type_name | subtype_name constraint ::= range_constraint | index_constraint 6. 7. To conform to IEEE rules. To conform to IEEE rules. 56 Copyright 2000, IEEE. All rights reserved. This is an unapproved IEEE Standards Draft, subject to change. Clause 4 LANGUAGE REFERENCE MANUAL IEEE Std P1076a-1999 2000/D3 A type mark denotes a type or a subtype. If a type mark is the name of a type, the type mark denotes this type and also the corresponding unconstrained subtype. The base type of a type mark is, by definition, the base type of the type or subtype denoted by the type mark. A subtype indication defines a subtype of the base type of the type mark. If a subtype indication includes a resolution function name, then any signal declared to be of that subtype will be resolved, if necessary, by the named function (see 2.4); for an overloade...
View Full Document
- Fall '01