Язык программирования Оберон-2

Стандартные процедуры



Стандартные процедуры

Следующая таблица содержит список стандартных процедур. Некоторые процедуры - обобщенные, то есть они применимы к операндам нескольких типов. Буква v обозначает переменную, x и n - выражения, T - тип.

Процедуры-функции



Название Тип аргумента Тип результата Функция
ABS(x) числовой тип совпадает с типом x    абсолютное значение
ASH(x, n) x, n: целый тип LONGINT арифметический сдвиг (x*2n)
CAP(x) CHAR CHAR x - буква: соответствующая заглавная буква
CHR(x) целый тип CHAR символ с порядковым номером x
ENTIER(x) вещественный тип LONGINT наибольшее целое, не превосходящее x
LEN(v, n) v: массив; n: целая константа   LONGINT длина v в измерении n (первое измерение = 0)
LEN(v) v: массив LONGINT равносильно LEN(v, 0)
LONG(x) SHORTINT
INTEGER
REAL
INTEGER
LONGINT
LONGREAL
тождество
MAX(T) T = основной тип
T = SET
T
INTEGER
наибольшее значение типа T
наибольший элемент множества
MIN(T) T = основной тип
T = SET
T
INTEGER
наименьшее значение типа T
0
ODD(x) целый тип BOOLEAN x MOD 2 = 1
ORD(x) CHAR INTEGER порядковый номер x
SHORT(x) LONGINT
INTEGER
LONGREAL
INTEGER
SHORTINT
REAL
тождество
тождество
тождество (возможно усечение)
SIZE(T) любой тип целый тип число байт, занимаемых T

Собственно процедуры

Название Типы аргументов Функция
ASSERT(x) x: логическое выражение прерывает выполнение программы, если не x
ASSERT(x, n) x: логическое выражение; n:целая константа прерывает выполнение программы, если не x
COPY(x, v) x: символьный массив, строка; v: символьный массив v := x
DEC(v) целый тип v := v - 1
DEC(v, n) v, n: целый тип v := v - n
EXCL(v, x) v: SET; x: целый тип v := v - {x}
HALT(n) целая константа прерывает выполнение программы
INC(v) целый тип v := v + 1
INC(v, n) v, n: целый тип v := v + n
INCL(v, x) v: SET; x: целый тип v := v + {x}
NEW(v) указатель на запись или массив фиксированной длины размещает v ^
NEW(v, x0, ..., xn)   v: указатель на открытый массив; xi: целый тип размещает v^ с длинами x0.. xn

COPY разрешает присваивание строки или символьного массива, содержащего ограничитель 0X, другому символьному массиву. В случае необходимости, присвоенное значение усекается до длины получателя минус один. Получатель всегда будет содержать 0X как ограничитель. В ASSERT(x, n) и HALT(n), интерпретация n зависит от реализации основной системы.



Содержание раздела