Node:type, Next:type of, Previous:Truncate, Up:Reference
As a type declaration:
type type_indentifier = type_definition;or with initialization:
type type_indentifier = type_definition value constant_expression;
The reserved word type
starts the declaration of a type
identifier which is defined by type_definition. For further
description see Type Declaration, Type Declaration,
Type Definition, Data Types.
type
is defined in ISO 7185 Pascal and supported
by all known Pascal variants. Initializers are an ISO 10206 Extended
Pascal extension.
program TypeDemo; type { This side is the } { That side is the } { type declaration } { type definition } { array type } ArrayType = array [0 .. 9] of Integer; { record type } RecordType = record Bar: Integer end; { subrange type } SubrangeType = -123 .. 456; { enumeration type } EnumeratedType = (Mon, Tue, Wed, Thu, Fri, Sat, Sun); { set type } CharSetType = set of Char; { object type } ObjectType = object constructor Init; procedure Method; destructor Done end; { pointer type to another type identifier } PArrayType = ^ArrayType; { an alias name for another type identifier } IntegerType = Integer; { an integer which is initialized by 123 } InitializedInt = Integer value 123; { a schema with discriminants x and y of type Integer } SchemaType (x, y: Integer) = array [x .. y] of Integer; { Dummy methods of the object type } constructor ObjectType.Init; begin end; procedure ObjectType.Method; begin end; destructor ObjectType.Done; begin end; begin end.