| type | declaration |
| Syntax | A typeDeclaration is one of:
| ||||||||||||||||||
| Description | A type declaration gives a name to a type. This name can be used in place of the type.
| ||||||||||||||||||
| Example |
type nameType : string ( 30 )
type range : 0 .. 150
type entry :
record
name : nameType
age : int
end record
| ||||||||||||||||||
| Details | The keyword pervasive can be inserted just after type. When this is done, the type is visible inside all subconstructs of the type scope. Without pervasive, the type is not visible inside modules, monitors and classes unless explicitly imported. Pervasive types need not be imported. You can abbreviate pervasive as an asterisk (*). A forward type allows pointers to be declared to the type before the type is resolved. To resolve a type, you must follow a forward with a declaration of the same name and in the same scope. This type declaration must include a typeSpec.
| ||||||||||||||||||