Идентификаторы и типы данных

Идентификаторы- это имена констант и переменных, а также ти­пов, объектов, процедур, функций, модулей, программ и полей в записях, которые объявляются в начале программы и затем в ней используются.

Идентификатор описывается последовательностью латинских букв, цифр и знака подчеркивания, начинающейся с буквы. Он может иметь лю­бую длину, но различимыми являются первые шестьдесят три символа (про­белы и специальные символы в идентификаторы не входят).

Например, идентификаторами будут: x, z0, ALFA, x353, SENT_3_2010.

В качестве идентификаторов в программе нельзя использовать зарезервиро­ванные слова и имена, которыми названы стандартные константы, файлы, функции, процедуры, типы Pascal ABC.

Любые данные в программе (константы, переменные, значения функций или выраже­ний) характеризуются своими типами. Тип определяет множество значений, которые может иметь данное, операции, применимые к нему, а также формат внутреннего представления. Лю­бые данные до их использования должны быть предварительно объявлены с указанием их типа.

Типы в Pascal ABC делятся на простые, структурированные, проце­дурные, указатели и строки. В свою очередь простые типы включают по­рядковые и вещественные данные, а структурированные делятся на массивы, записи, множества и файлы.

Порядковые типы как стандартные, так и нестандартные, введенные разработчиком программы, отличаются тем, что каждый из них содержит конечное число возможных значений. Эти значения можно определенным образом упорядочить или пе­ренумеровать. Для таких типов для каждой пары элементов можно всегда определить, какой из них предшествует другому. В Pascal ABC являются порядковыми типы integer, byte, char, перечислимый и диапазонный. Только значения этих типов могут быть индексами массивов, а также взяты в качестве выражения-переключателя в операторе выбора Case.

К вещественным типам указанные функции применить нельзя, количес­тво возможных значений вещественных типов очень велико, так что сопос­тавить с каждым из них число (его номер) невозможно.

Для порядковых типов оп­ределены три специальные функции:

ORD(X) - возвращает порядковый номер значения выражения X;

PRED(X) - возвращает значение, предшествующее X в его типе, т.е.

ORD( PRED(X) ) = ORD(X) - 1;

SUCC(X) - определяет следующее по порядку за X значение:

ORD( SUCC(X) ) = ORD(X) + 1.