Interface:Выражение фильтра посылок - Revision history

Anna at 10:45, 27 February 2012

2012-02-27T10:45:10Z

Anna at 10:44, 27 February 2012

2012-02-27T10:44:37Z

Anna at 10:43, 27 February 2012

2012-02-27T10:43:40Z

Anna at 10:42, 27 February 2012

2012-02-27T10:42:40Z

Anna at 10:41, 27 February 2012

2012-02-27T10:41:34Z

Anna at 16:14, 24 February 2012

2012-02-24T16:14:16Z

Anna at 16:00, 24 February 2012

2012-02-24T16:00:29Z

Anna at 15:13, 24 February 2012

2012-02-24T15:13:05Z

Anna at 15:10, 24 February 2012

2012-02-24T15:10:15Z

Show changes

Anna at 12:49, 24 February 2012

2012-02-24T12:49:01Z

@@ Line 32: / Line 32: @@
   type-cast-op = type-name "(" expr ")"
 Здесь <tt>type-name</tt> — имя типа, одно из перечисленных выше <tt>bool, int, string, date_t,
-dur_t, size_t, result_t, hash_t, ip_t</tt>. Не все возможные преобразования типов допустимы. Возможные комбинации исходного типа и целевого типа показаны в таблице 4.1.
+dur_t, size_t, result_t, hash_t, ip_t</tt>. Не все возможные преобразования типов допустимы. Возможные комбинации исходного типа и целевого типа показаны в таблице [[Допустимые комбинации типов в операции преобразования типов]].
 В строках таблицы записан исходный тип, а в столбцах таблицы — целевой тип.

@@ Line 79: / Line 79: @@
 * <tt>'''int'''</tt> к <tt>'''size_t'''</tt>. Поскольку <tt>int</tt> — это 32-битный знаковый тип, а <tt>size_t</tt> — 32-битный беззнаковый тип, неотрицательные значения типа <tt>int</tt> преобразовываются в значения типа <tt>size_t</tt> тривиально. При попытке преобразования отрицательных чисел генерируется ошибка.
 * <tt>'''string'''</tt> к <tt>'''size_t'''</tt>. Строка должна содержать запись беззнакового целого числа в восьмеричной, десятичной или шестнадцатеричной системе (как в языке Си). Число должно быть представимо 32-битным беззнаковым числом. Если эти условия выполняются, происходит преобразование строки в значение типа <tt>size_t</tt>, а в противном случае генерируется ошибка.
-* <tt>'''int'''</tt> к <tt>'''result_t'''</tt>. Целое значение должно быть равным одному из значений статусов, перечисленных в таблице 5.1. В этом случае выполняется преобразование типа, а иначе генерируется ошибка.
+* <tt>'''int'''</tt> к <tt>'''result_t'''</tt>. Целое значение должно быть равным одному из значений статусов, перечисленных в таблице [[Вердикты тестирования|Допустимые статусы посылок]]. В этом случае выполняется преобразование типа, а иначе генерируется ошибка.
 * <tt>'''string'''</tt> к <tt>'''result_t'''</tt>. Строка должна быть равна одной из строк, перечисленных в таблице [[Вердикты тестирования|Допустимые статусы посылок]] в столбце «Выражение фильтра». В этом случае выполняется преобразование, в иначе генерируется ошибка.
 * <tt>'''string'''</tt> к <tt>'''hash_t'''</tt>. Строка должна содержать 40 шестнадцатеричных цифр (буквы от <tt>a</tt> до <tt>f</tt> могут быть как заглавными, так и строчными). Пробельные символы в начале и конце строки игнорируются. 40 шестнадцатеричных цифр конвертируются в 20-байтное значение хэш-кода. Предполагается, что порядок байт в слове — от младшего к старшему (little-endian).

@@ Line 50: / Line 50: @@
 * <tt>'''dur_t'''</tt> к <tt>'''int'''</tt>. Поскольку в настоящее время внутреннее представление типа <tt>dur_t</tt> — это 32-битное знаковое число, то значением такого преобразования типов будет внутреннее представление промежутка времени, то есть число секунд в нём.
 * <tt>'''size_t'''</tt> к <tt>'''int'''</tt>. В настоящее время тип <tt>size_t</tt> — это 32-битный беззнаковый целый тип. Если значение размера при переводе из беззнакового представления в знаковое не вызывает переполнение (то есть значение размера не  превосходит 2^31 − 1 , выполняется преобразование из беззнакового типа в знаковый без изменения представления числа. В противном случае генерируется ошибка.
-* <tt>'''result_t'''</tt> к <tt>'''int'''</tt>. Результатом такого преобразования является числовое значение, соответствующее коду статуса (см. таблицу 5.1).
+* <tt>'''result_t'''</tt> к <tt>'''int'''</tt>. Результатом такого преобразования является числовое значение, соответствующее коду статуса (см. таблицу [[Вердикты тестирования|Допустимые статусы посылок]]).
 * <tt>'''hash_t'''</tt> к <tt>'''int'''</tt>. Результатом такого преобразования является целое значение, составленное из первых 4 байтов хэш-кода. Предполагается, что байты в числе записываются в порядке от младшего к старшему (litte-endian).
 * <tt>'''ip_t'''</tt> к <tt>'''int'''</tt>. Поскольку IP-адрес (IPv4) состоит из 4 байт, эти 4 байта рассматриваются как целое число со знаком, записанное в порядке байт от старшего к младшему.
@@ Line 80: / Line 80: @@
 * <tt>'''string'''</tt> к <tt>'''size_t'''</tt>. Строка должна содержать запись беззнакового целого числа в восьмеричной, десятичной или шестнадцатеричной системе (как в языке Си). Число должно быть представимо 32-битным беззнаковым числом. Если эти условия выполняются, происходит преобразование строки в значение типа <tt>size_t</tt>, а в противном случае генерируется ошибка.
 * <tt>'''int'''</tt> к <tt>'''result_t'''</tt>. Целое значение должно быть равным одному из значений статусов, перечисленных в таблице 5.1. В этом случае выполняется преобразование типа, а иначе генерируется ошибка.
-* <tt>'''string'''</tt> к <tt>'''result_t'''</tt>. Строка должна быть равна одной из строк, перечисленных в таблице 5.1 в столбце «Выражение фильтра». В этом случае выполняется преобразование, в иначе генерируется ошибка.
+* <tt>'''string'''</tt> к <tt>'''result_t'''</tt>. Строка должна быть равна одной из строк, перечисленных в таблице [[Вердикты тестирования|Допустимые статусы посылок]] в столбце «Выражение фильтра». В этом случае выполняется преобразование, в иначе генерируется ошибка.
 * <tt>'''string'''</tt> к <tt>'''hash_t'''</tt>. Строка должна содержать 40 шестнадцатеричных цифр (буквы от <tt>a</tt> до <tt>f</tt> могут быть как заглавными, так и строчными). Пробельные символы в начале и конце строки игнорируются. 40 шестнадцатеричных цифр конвертируются в 20-байтное значение хэш-кода. Предполагается, что порядок байт в слове — от младшего к старшему (little-endian).
 * <tt>'''int'''</tt> к <tt>'''ip_t'''</tt>. Поскольку значения типа <tt>ip_t</tt> представляются 32-битными числами, преобразование из типа int не изменяет представления данных, то есть целое число рассматривается как запись IP-адреса во внутреннем представлении.

@@ Line 62: / Line 62: @@
 Здесь <tt>#</tt> — знак продолжительности (для положительной продолжительности знак не выводится, а для отрицательной печатается знак -), <tt>h</tt> — число полных часов, <tt>mm</tt> — число минут в последнем неполном часе (от 00 до 59), <tt>ss</tt> — число секунд в последней неполной минуте (от 00 до 59).
 * <tt>'''size_t'''</tt> к <tt>'''string'''</tt>. Значение размера преобразуется в строку, содержащую запись десятичного целого числа без знака.
-* <tt>'''result_t'''</tt> к <tt>'''string'''</tt>. Значение статуса преобразовывается в строку в соответствии с таблицей 5.1 (столбец «Выражение фильтра»). Например, значение статуса <tt>RUN_TIME_ERR</tt> преобразуется в строке <tt>RT</tt>.
+* <tt>'''result_t'''</tt> к <tt>'''string'''</tt>. Значение статуса преобразовывается в строку в соответствии с таблицей [[Вердикты тестирования|Допустимые статусы посылок]] (столбец «Выражение фильтра»). Например, значение статуса <tt>RUN_TIME_ERR</tt> преобразуется в строке <tt>RT</tt>.
 * <tt>'''hash_t'''</tt> к <tt>'''string'''</tt>. Значение хэш-кода распечатывается в виде 40 шестнадцатеричных цифр (по два символа на байт от первого байта хэш-кода к последнему). В качестве шестнадцатеричных цифр используются десятичные цифры и строчные латинские буквы от <tt>a</tt> до <tt>f</tt>.
 * <tt>'''ip_t'''</tt> к <tt>'''string'''</tt>. IP-адрес переводится в строку, содержащую запись адреса в стандартной точечной нотации (то есть 4 десятичных числа от 0 до 255, разделённые точками).

@@ Line 22: / Line 22: @@
 * '''Длительностный'''. Длительностный тип имеет имя <tt>dur_t</tt> и предназначен для записи длительностей. При расчётах длительностный тип рассматривается как целый тип, и все длительности представляются в секундах. Литералов длительностного типа не существует.
 * '''Размерный'''. Размерный тип имеет имя <tt>size_t</tt> и предназначен для представления размеров объектов. Литералов размерного типа не существует. При расчётах размерный тип рассматривается как беззнаковый целый тип.
-* '''Статусный'''. Статусный тип имеет имя <tt>result_t</tt> и предназначен для представления статуса посылки. Статусный тип — это перечислимый тип, состоящий из литералов <tt>OK, CE, RT, TL, PE, WA, CF, PT, AC, IG, RU, CD, CG, AV, EM</tt> (см. таблицу 5.1).
+* '''Статусный'''. Статусный тип имеет имя <tt>result_t</tt> и предназначен для представления статуса посылки. Статусный тип — это перечислимый тип, состоящий из литералов <tt>OK, CE, RT, TL, PE, WA, CF, PT, AC, IG, RU, CD, CG, AV, EM</tt> (см. таблицу [[Вердикты тестирования|Допустимые статусы посылок]]).
 * '''Контрольный'''. Контрольный тип имеет имя <tt>hash_t</tt> и предназначен для представления значений контрольной суммы <tt>SHA1</tt>. Литералов контрольного типа не существует.
 * '''Адресный'''. Адресный тип имеет имя <tt>ip_t</tt> и предназначен для представления IP-адресов. Литералов адресного типа не существует.

@@ Line 117: / Line 117: @@
 в данном разделе. Примитивы имеют следующий общий вид:
+  p
-где <tt>p</tt> — это имя примитива. Примитивы перечислены в таблице 4.3.
+где <tt>p</tt> — это имя примитива. Примитивы перечислены в таблице [[Прочие примитивы]].
 ===Приоритеты операций===

@@ Line 110: / Line 110: @@
 удовлетворяет ограничениям, берётся значение поля, соответствующего имени примитива <tt>f</tt>,
 в посылке с номером ''n′''.
-Примитивы доступа к базе посылок перечислены в таблице 4.2.
+Примитивы доступа к базе посылок перечислены в таблице [[Примитивы доступа к базе посылок]].
 ===Другие примитивы===

@@ Line 132: / Line 132: @@
 * Операция побитового «или» <tt>|</tt>. Читается слева направо.
 * Операция логического «и» <tt>&&</tt> или <tt>and</tt> (эти формы записи синонимичны). Читается слева направо.
-* Операция логического «или» <tt>||</tt> или <tt>or</tt> (эти формы записи синонимичны). Читается
+* Операция логического «или» <tt>||</tt> или <tt>or</tt> (эти формы записи синонимичны). Читается слева направо.
 Далее рассмотрим все перечисленные операции.
@@ Line 140: / Line 139: @@
 Операция применима только к значению типа <tt>int</tt>. Результат операции — значение типа
 <tt>int</tt>, получаемое побитовым отрицанием первого значения.
 ===логического отрицания !===
 Операция применима только к значению типа <tt>bool</tt>. Результат операции — значение типа
@@ Line 173: / Line 173: @@
 * Делимое имеет тип <tt>dur_t</tt>, а делитель — тип <tt>int</tt>. Тогда результат имеет тип <tt>dur_t</tt>.
 * Делимое имеет тип <tt>size_t</tt>, а делитель — тип <tt>int</tt>. Результат в этом случае имеет тип <tt>size_t</tt>.
 ===Операция сложения +===
 Операция сложения применима ко многим комбинациям типов операндов. В любом случае, если результат операции не представим в типе результата, генерируется ошибка переполнения. Допустимые комбинации типов операндов перечислены ниже.
@@ Line 182: / Line 183: @@
 * Один аргумент имеет тип <tt>int</tt>, а другой — <tt>dur_t</tt>. Результат имеет тип <tt>dur_t</tt>.
 * Один аргумент имеет тип <tt>time_t</tt>, а другой — <tt>dur_t</tt>. Результат имеет тип <tt>time_t</tt>.
 ===Операция вычитания -===
 Операция вычитания применима ко многим комбинациям типов операндов. В любом
@@ Line 193: / Line 195: @@
 * Оба аргумента операции имеют тип <tt>dur_t</tt>. В этом случае результат имеет тип <tt>dur_t</tt>.
 * Первый аргумент операции имеет тип <tt>size_t</tt>, а второй — <tt>int</tt>. Тогда результат имеет тип <tt>size_t</tt>.
-• Оба аргумента операции имеют тип size_t. В этом случае результат имеет тип int.
+* Оба аргумента операции имеют тип <tt>size_t</tt>. В этом случае результат имеет тип <tt>int</tt>.
 ===Операции сдвига << и >>===
 Операции побитового сдвига влево <tt><<</tt> и побитового сдвига вправо <tt>>></tt> применимы только
@@ Line 200: / Line 203: @@
 выполняется как побитовый сдвиг, то есть на место старших разрядов числа помещаются
 нулевые биты. Переполнения при сдвиге влево не диагностируется.
 ===Операции отношения == и != ===
 Операции проверки на равенство или неравенство применимы ко всем типам данных. Оба
 аргумента должны иметь один и тот же тип. Неявных преобразований типа не производится.
-Результат операции имеет тип bool.
+Результат операции имеет тип <tt>bool</tt>.
 Операции отношения <, >, <=, >=
-Данные операции применимы ко всем типам данных, кроме result_t, hash_t и ip_t.
+=== Операции отношения <, >, <=, >= ===
 Оба аргумента операции должны иметь один и тот же тип данных. Результат операции имеет
-тип bool.
+тип <tt>bool</tt>.
 Побитовые операции ˆ, &, |
-Побитовые операции применимы только к аргументам типа int и в результате дают
+===Побитовые операции ˆ, &, | ===
-значение типа int.
+Побитовые операции применимы только к аргументам типа <tt>int</tt> и в результате дают
-Логические операции && и ||
+значение типа <tt>int</tt>.
 Логические операции применимы только к аргументам типа bool и дают в результате
-значение типа bool. Как и в языке Си значение второго аргумента операции не вычисляется,
+===Логические операции && и || ===
 если значение всего выражение известно.