Cтраница 1
Проверка типов означает, что компилятор проверяет, как вы используете переменные и константы, чтобы убедиться, что ваши операторы и выражения разумны. Например, Модула-2 запрещает арифметические операции над литерами и выражения, в которых перемешаны переменные типа REAL с переменными типпа INTEGER. Эти правила будут подробнее изложены в разд. Модула-2 предоставляет различные возможности обмануть проверку типов, в случае, когда это необходимо, см. разд. [1]
Проверка типов позволяет выявить много программных ошибок на этапе компиляции и избежать проверки типов на этапе выполнения, что повышает эффективность программ. [2]
Проверка типов Модулы-2 запрещает совместное использование переменной типа Преимущества и переменных какого-либо другого типа. [3]
Проверка типов данных в функциях со значением типа образец приводит к обнаружению ошибочных параметров при вызове функции. [4]
Проверка реле типа ИТ-80 включает в себя снятие характеристик по шкале тока и зависимости времени отключения от тока. [5]
Схема снятия характери - [ IMAGE ] Схема для снятия характе. [6] |
Проверка реле типа ИТ-80 по схеме рис. 202 производится так же, как реле типа ЭТ. [7]
Схема для проверки параметров исполнительного органа реле типов РНТ и ДЗТ. [8] |
Проверку реле типов от РНТ-565 до РНТ-567 и ДЗТ-11, ДЗТ-13 и ДЗТ-14 при новом включении выполняют в таком объеме: внешний осмотр, проверка механической части реле, испытания изоляции, проверка электрических характеристик и параметров реле. [9]
Все проверки типов выполняются во время трансляции. [10]
Необходима динамическая проверка типов и преобразование типов. Цепочки литер можно сравнивать с помощью примитива IDENT; например, IDENT ( X, Y) завершается успешно, если значения X и У - идентичные цепочки. [11]
Для проверки типа терма существуют специальные встроенные предикаты. [12]
Для проверки реле типа ЭТ определяют ток трогания и ток возврата, а следовательно, и коэффициент возврата на всех уставках. На каждой уставке снимают два-три показания с целью контроля правильности замеров. При испытании проверяют отсутствие вибрации, искрения и заскакивания контактов. Если контакты реле при плавном увеличении тока в катушке до десятикратной величины от его номинального значения не искрят и не вибрируют, то конструкция реле отвечает требованию надежности в работе. [13]
Функции проверки типа клетки.| Функции назначения типа клетки. [14] |
Функции проверки типа клетки ( см. табл. 4.9) определяют тип данных клетки или выражения. Клетка или выражение используется в качестве аргумента функции. Каждая из функций возвращает значение 1 ( истина) или 0 ( ложь) в зависимости от типа аргумента. [15]