Definição de Novos Tipos de Dados

Assim como existem os tipos de dados pré-definidos, pode-se também definir novos tipos.

A construção SubType

Podemos definir tipos de dados que herdam as propriedades de tipos anteriormente definidos. Também é possível modificar estar propriedades. Um meio de redefinir um tipo de dado é através da construção subtype. A sintaxe parcial para a construção sybtype é dada por:
Subtype is ;
Onde
::= []
Exemplos:

- Define um tipo composto por um string de comprimento 4
Subtype Chave_de_Pesquisa is String ( 1 .. 4 );

- Integer mas restringe a capacidade de armazenamento pela metade.
Subtype Integer_Pequeno is Integer
range Integer’First/2 .. Integer’Lasta/2;

-Simplesmente renomeia o tipo Integer
SubType Inteiro is Integer;