Next:1.8
Активности, поведение и взаимодействие
Up:1
Язык программирования Zonnon
Previous:1.6
Объявления процедур и формальные параметры
Название Тип(ы) аргумента(ов) Тип результата Предназначение
abs(x) integer,
cardinal or real
type of x
абсолютная величина x
assert(b) b: boolean
none
если ~b завершить
assert(b, n) b: boolean;
none
если ~b завершить, сообщить n среде
n: integer or cardinal
box(v) value
object
type of v
ссылка на значение объекта v
cap(x) x: char
char
соответствующая прописная буква
предусловие : x является буквой
copy(x, v) x: string; v:character array
none
v := x
copy(v, x) x: string; v:character array
none
x := v
dec(v) v: integer,
cardinal or
none
v:= v - 1
enumeration type
dec(v, n) v: integer, cardinal or
none
v := v - n
enumeration type;
n: integer or cardinal type
excl(v, x) v: set;
none
v := v - {x}
x: integer or cardinal type
halt(n) n: integer
or cardinal const none
завершить исполнение программы
inc(v) v: integer,
cardinal or
none
v := v + 1
enumeration
inc(v, n) v: integer, cardinal or
none
v := v + n
enumeration;
n: integer or cardinal type
incl(v, x) v: set;
none
v := v + {x}
x: integer or cardinal type
len(v, n) v:array;
integer
длина v по измерению n
n: integer or cardinal const
(первое измерение = 0)
len(v) v:array
integer
эквивалентно len(v, 0)
low(x) x:char
char
соответствующая строчная буква
предусловие: x является буквой
max(T) integer
integer
максимальное значение типа integer{w}
max(T) cardinal
cardinal
максимальное значение типа cardinal{w}
max(T) enumeration
enumeration
максимальное значение перечисления
max(T) char{w}
integer
максимальная character
max(T) real{w}
real
максимальное значение типа real{w}
max(T) set{w}
integer
максимальный элемент set{w}
min(T) integer
integer
минимальное значение типа integer{w}
min(T) enumeration
enumeration
минимальное значение перечисления
min(T) char{w}
integer
минимальная литера
min(T) real{w}
real
минимальное значение типа real{w}
min(T) set{w}
integer
0
odd(x) x: integer
boolean
x mod 2 = 1
pred(x) x: integer
integer
x – 1, предусловие: x # min(integer)
pred(x) x: enumeration
type of x
предыдущее значение перечисления,
предусловие: x # min(enumeration)
pred(x) x: char
char
предыдущая литера,
предусловие: x # min(char)
size(T) any type
integer
число байтов, требуемых для T
succ(x) x: integer
or cardinal
integer
x + 1, предусловие: x # max(integer)
succ(x) x: enumeration
type of x
следующее значение перечисления,
предусловие: x # max(enumeration)
succ(x) x: char
char
следующая литера,
предусловие: x # max(char)
unbox(v) v: ref object
type of v
объект значение из ссылочного объекта v
В assert(x, n) и halt(n) интерпретация n зависит от реализации.
О предопределенных процедурах ввода-вывода см. раздел 1.8.3.
Next:1.8
Активности, поведение и взаимодействие
Up:1
Язык программирования Zonnon
Previous:1.6
Объявления процедур и формальные параметры