ГОСТ Р МЭК 61131-3-2016 Контроллеры программируемые. Часть 3. Языки программирования

ГОСТ Р МЭК 61131-3-2016

НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

КОНТРОЛЛЕРЫ ПРОГРАММИРУЕМЫЕ

Часть 3

Языки программирования

Programmable controllers. Part 3. Programming languages

ОКС 25.040.40*

35.240.50

_____________________

* В ИУС N 10 2016 г. и на официальном сайте Росстандарта ГОСТ Р МЭК 61131-3-2016 приводится с ОКС 25.040, 35.240.50 ,

здесь и далее. - .

Дата введения 2017-04-01

Предисловие

1 ПОДГОТОВЛЕН Негосударственным образовательным частным учреждением "Новая Инженерная Школа" (НОЧУ "НИШ") на основе перевода на русский язык англоязычной версии указанного в пункте 4 стандарта, который выполнен Российской комиссией экспертов МЭК/ТК 65, и Федеральным государственным унитарным предприятием "Всероссийский научно-исследовательский институт стандартизации и сертификации в машиностроении" ("ВНИИНМАШ")

2 ВНЕСЕН Техническим комитетом по стандартизации ТК 306 "Измерения и управление в промышленных процессах"

3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 13 мая 2016 г. N 313-ст

4 Настоящий стандарт идентичен международному стандарту МЭК 61131-3:2013* "Контроллеры программируемые. Часть 3. Языки программирования (IEC 61131-3:2013, "Programmable controllers - Part 3: Programming languages", IDT).

________________

* Доступ к международным и зарубежным документам, упомянутым в тексте, можно получить, обратившись в Службу поддержки пользователей. - .

При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов соответствующие им национальные стандарты, сведения о которых приведены в дополнительном приложении ДА

5 В настоящем стандарте часть его содержания может быть объектом патентных прав

6 ВВЕДЕН ВПЕРВЫЕ

Правила применения настоящего стандарта установлены в ГОСТ Р 1.0-2012 (раздел 8). Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе "Национальные стандарты", а официальный текст изменений и поправок - в ежемесячном информационном указателе "Национальные стандарты". В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске ежемесячного информационного указателя "Национальные стандарты". Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (www.gost.ru)

1 Область применения

Настоящий стандарт устанавливает синтаксис и семантику языков программирования программируемых контроллеров, определенных в МЭК 61131 (часть 1).

Функции ввода программы, тестирования, мониторинга, операционной системы и т.п. определены в МЭК 61131 (часть 1).

Настоящий стандарт устанавливает синтаксис и семантику унифицированного набора языков программирования для программируемых контроллеров (PC). Данный набор состоит из двух текстовых языков программирования, списка инструкций (IL) и структурированного текста (ST), и двух графических языков, релейно-контактных схем (LD) и функциональных блоковых диаграмм (FBD).

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

2 Нормативные ссылки

В настоящем стандарте использованы нормативные ссылки на следующие стандарты*. Для недатированных ссылок применяют последнее издание ссылочного документа (включая изменения).

_______________

* Таблицу соответствия национальных стандартов международным см. по ссылке. - .

МЭК 61131-1 Программируемые контроллеры. Часть 1. Общие положения (IEC 61131-1, Programmable controllers - Part 1: General information)

МЭК 61131-5 Программируемые контроллеры. Часть 5. Взаимодействия (IEC 61131-5, Programmable controllers - Part 5: Communications)

ИСО/МЭК 10646:2012 Информационная технология. Универсальный набор символов (UCS) (ISO/IEC 10646:2012, Information technology - Universal Coded Character Set (UCS)

ИСО/МЭК/IEEE 60559 Информационная технология. Микропроцессорные системы. Арифметика с плавающей точкой (ISO/IEC/IEEE 60559, Information technology - Microprocessor Systems - Floating-Point arithmetic)

3 Термины и определения

В настоящем стандарте применены следующие термины с соответствующими определениями:

3.1 абсолютное время (absolute time): Комбинация времени суток и даты.

3.2 путь доступа (access path): Связь символического имени с переменной для реализации открытого взаимодействия.

3.3 действие (action): Логическая переменная или набор подлежащих выполнению операций вместе со связанной управляющей конструкцией.

3.4 блок действий (action block): Элемент графического языка, который использует входную логическую переменную для определения значения выходной логической переменной или разрешающее условие для действия в соответствии с предопределенной управляющей конструкцией.

3.5

3.6

3.7

3.8 базовый тип (base type): Тип данных, тип функционального блока или класс, из которых наследуются или производятся дальнейшие типы.

3.9 число с основанием (based number): Число, представленное с конкретным основанием, отличным от 10.

3.10 двоично-десятичный код (binary coded decimal; BCD): Код десятичного числа, в котором каждая цифра представлена ее двоичным значением.

3.11 бистабильный функциональный блок (bistable function block): Функциональный блок с двумя устойчивыми состояниями, управляемый одним или более входами.

3.12 битовая строка (bit string): Элемент данных, состоящий из одного или более битов.

3.13 битово-строковый литерал (bit string literal): Литерал, который прямо представляет значение битовой строки типов данных BOOL, BYTE, WORD, DWORD или LWORD.

3.14 тело (body): Набор операций программного компонента.

3.15 вызов (call): Языковая конструкция, вызывающая выполнение функции, функционального блока или метода.

3.16 строка символов (character string): Агрегат, состоящий из упорядоченной последовательности символов.

3.17 символьно-строковый литерал (character string literal): Литерал, прямо представляющий значение символа или строки символов типов данных CHAR, WCHAR, STRING или WSTRING.

3.18 класс (class): программный компонент, состоящий из:

- определения структуры данных;

- набора методов, выполняемых над структурой данных.

3.19

3.20 конфигурация (configuration): Элемент языка, соответствующий системе программируемого контроллера.

3.21 константа (constant): Элемент языка, указывающий на элемент данных с фиксированным значением.

3.22 функциональный блок счетчика (counter function block): Функциональный блок, который накапливает значение числа изменений, определяемых на одном или более указанных выходов.

3.23

3.24 дата и время (date and time): Дата с годом и время суток, представленные как отдельный элемент данных.

3.25 объявление (declaration): Механизм для определения элемента языка.

3.26 разделитель (delimiter): Символ или комбинация символов, используемая для разделения элементов языка программирования.

3.27 производный класс (derived class): Класс, создаваемый наследованием из другого класса.

Примечание - Производный класс также называют расширенным классом или порожденным классом.

3.28 производный тип данных (derived data type): Тип данных, созданный с использованием другого типа данных.

3.29 производный тип функционального блока (derived function block type): Тип функционального блока, созданный наследованием из другого типа функционального блока.

3.30 прямое представление (direct representation): Средства представления переменной в программе программируемого контроллера, из которых может быть прямо определено физическое или логическое расположение переменной.

3.31 двойное слово (double word): Элемент данных, содержащий 32 бита.

3.32 динамическое связывание (dynamic binding): Ситуация, в которой экземпляр вызова метода возвращается во время выполнения в соответствии с фактическим типом экземпляра или интерфейса.

3.33 оценка (evaluation): Процесс установления значения выражения, функции, выходных переменных сети или экземпляра функционального блока во время выполнения программы.

3.34 элемент управления выполнением (execution control element): Элемент языка, контролирующий поток выполнения программы.

3.35 задний фронт (falling edge): Часть временной диаграммы сигнала, где происходит переход логической переменной из 1 в 0.

3.36 функция (function): Элемент языка, который во время выполнения обычно вырабатывает результат в виде одного элемента данных и, возможно, дополнительные выходные переменные.

3.37 экземпляр функционального блока (function block instance): Экземпляр типа функционального блока.

3.38 тип функционального блока (function block type): Элемент языка, состоящий из:

- определения структуры данных, разделенной на входные, выходные и внутренние переменные; и

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

3.39 функциональная блоковая диаграмма (function block diagram): Сеть, узлы которой являются экземплярами функциональных блоков, графически представленные функции или вызовы метода, переменные, литералы и метки.

3.40 родовой тип данных (generic data type): Тип данных, представляющий более одного типа данных.

3.41 глобальная переменная (global variable): Переменная с глобальной областью действия.

3.42 иерархическая адресация (hierarchical addressing): Прямое представление элемента данных как члена физической или логической иерархии.

Пример - Точка в модуле, который хранится на стеллаже, который, в свою очередь, помещен в стенд и т.д.

3.43 идентификатор (identifier): Комбинация букв, цифр и символов подчеркивания, которая начинается с буквы или символа подчеркивания и которая именует элемент языка.

3.44 реализация (implementation): Версия программируемого логического контроллера (PLC) или программного или отладочного инструмента, предоставленная разработчиком.

3.45 разработчик (Implementer): Изготовитель PLC или программного или отладочного инструмента, предоставленного пользователю для разработки приложений PLC.

3.46 наследование (inheritance): Создание нового класса, типа функционального блока или интерфейса на основе существующего класса, типа функционального блока или интерфейса, соответственно.

3.47 начальное значение (initial value): Значение, присвоенное переменной при запуске системе.

3.48 входная и выходная переменная (in-out variable): Переменная, используемая для передачи значения программному компоненту и, дополнительно, для возврата значения из программного компонента.

3.49 входная переменная (input variable): Переменная, используемая для передачи значения программному компоненту, отличному от класса.

3.50 экземпляр (instance): Отдельная, именованная копия структуры данных, связанная с типом функционального блока, классом или программным типом, которая сохраняет свои значения от одного вызова соответствующей операции до другого.

3.51 имя экземпляра (instance name): Идентификатор, связанный с конкретным экземпляром.

3.52 создание экземпляра (instantiation): Создание экземпляра.

3.53 целое число (nteger*): Целое число, которое может содержать положительные, нулевые или отрицательные значения.

________________

* Текст документа соответствует оригиналу. - .

3.54 целый литерал (integer literal): Литерал, прямо представляющий целое значение.

3.55 интерфейс (interface): Элемент языка в контексте объектно-ориентированного программирования, содержащий набор прототипов метода.

3.56 ключевое слово (keyword): Лексическая единица, которая характеризует элемент языка.

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

3.58 элемент языка (language element): Любая единица, идентифицированная символом в левой части порождающего правила в формальной спецификации.

3.59

3.60 логическое расположение (logical location): Расположение иерархически адресуемой переменной в схеме, которая может быть связана или может быть не связана с физической структурой входных и выходных переменных и памятью программируемого контроллера.

3.61 длинное действительное число (long real): Действительное число, представленное в двойном слове.

3.62 двойное слово (long word): 64-битовый элемент данных.

3.63 метод (method): Элемент языка, подобный функции, который может быть определен типом функционального блока и имеет неявный доступ к статическим переменным экземпляра функционального блока или экземпляра класса.

3.64 прототип метода (method prototype): Элемент языка, содержащий только сигнатуру метода.

3.65 именованный элемент (named element): Элемент структуры, именуемый своим связанным идентификатором.

3.66 сеть (network): Совокупность узлов и соединяющих ветвей.

3.67 числовой литерал (numeric literal): Литерал, прямо представляющий численное значение, то есть целый литерал или действительный литерал.

3.68 операция (operation): Элемент языка, который представляет элементарную функциональность, присущую программному компоненту или методу.

3.69 операнд (operand): Элемент языка, на котором выполняется операция.

3.70 оператор (operator): Символ, представляющий действие, выполняемое в операции.

3.71 переопределение (override): Ключевое слово override, использованное с методом или типом функционального блока для метода с такой же сигнатурой, как метод базового класса или тип функционального блока, использующие новое тело метода.

3.72 выходная переменная (output variable): Переменная, используемая для возврата значения из программного компонента, отличного от класса.

3.73 параметр (parameter): Переменная, которая используется для предоставления значения программному компоненту (как входной или входной-выходной параметр), или переменная, которая используется для возврата значения из программного компонента (как выходной или входной-выходной параметр).

3.74 ссылка (reference): Определяемые пользователем данные, содержащие адрес размещения переменной или экземпляра функционального блока заданного типа.

3.75 поток энергии (power flow): Символический поток электроэнергии в релейно-контактной схеме, используемый для указания продвижения логического решающего алгоритма.

3.76 прагма (pragma): Конструкция языка для включения в программный компонент текста, который может влиять на подготовку программы к выполнению.

3.77 программа (program): Разработка, написание и тестирование программ пользователя.

3.78 программный компонент (program organization unit): Функция, функциональный блок, класс или программа.

3.79 действительный литерал (real literal): Литерал, прямо представляющий значения типа REAL или LREAL.

3.80 ресурс (resource): Элемент языка, соответствующий "функции обработки сигналов" и ее "человеко-машинному интерфейсу" и "функциям интерфейса с датчиками и исполнительными механизмами", при наличии таковых.

3.81 результат (result): Значение, возвращаемое как результат выполнения программного компонента.

3.82 возврат (return): Конструкция языка в программном компоненте, обозначающая конец последовательности выполнения в компоненте.

3.83 передний фронт (rising edge): Часть временной диаграммы сигнала, где происходит переход логической переменной из 0 в 1.

3.84 область видимости (scope): Набор программных компонент, в которых применяется объявление или метка.

3.85 семантика (semantics): Отношения между символическими элементами языка программирования и их значениями, интерпретацией и использованием.

3.86 полуграфическое представление (semigraphic representation): Представление графической информации с использованием ограниченного набора символов.

3.87 сигнатура (signature): Набор информации, однозначно определяющий идентичность интерфейса параметров МЕТОДА, состоящий из его имени и имен, типов и порядка всех его параметров (то есть входных, выходных и входных-выходных переменных и типа результата).

3.88 одноэлементная переменная (single-element variable): Переменная, представляющая единственный элемент данных.

3.89 статическая переменная (static variable): Переменная, значение которой сохраняется от одного вызова до другого.

3.90 шаг (step): Ситуация, в которой поведение программного компонента в отношении его входных и выходных переменных следует набору правил, определенных связанными действиями шага.

3.91 структурированный тип данных (structured data type): Агрегированный тип данных, который был определен, используя определение STRUCT или FUNCTION_BLOCK.

3.92 индексирование (subscripting): Механизм для ссылки к элементу массива посредством ссылки на массив и одного или более выражений, которые, после их вычисления, определяют положение элемента.

3.93 задача (task): Элемент контроля выполнения, обеспечивающий периодическое или управляемое выполнение группы связанных программных компонентов.

3.94 литерал дат и времени (time literal): Литерал, представляющий данные типов TIME, DATE, TIME_OF_DAY или DATE_AND_TIME.

3.95 переход (transition): Условие, посредством которого управление переходит от одного или более предшествующих шагов к одному или более последующих шагов по направленной связи.

3.96 целое число без знака (unsigned integer): Целое число, которое может содержать положительные и нулевые значения.

3.97 литерал целого числа без знака (unsigned integer literal): Целый литерал, не содержащий спереди знака (+) или минус (-).

3.98 пользовательский тип данных (user-defined data type): Тип данных, определенный пользователем.

Пример - Перечисление, массив или структура.

3.99 переменная (variable): Объект программного обеспечения, который может принимать различные значения, в каждый момент времени только одно значение.

4 Структурные модели

4.1 Модель программного обеспечения

Основные элементы языка программирования высокого уровня и их взаимосвязи приведены на рисунке 1.

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

Примечание 1 - Рисунок 1 предназначен только для иллюстрации. Графическое представление не является нормативным.

Примечание 2 - В конфигурации с единственным ресурсом необязательно явно представлять ресурс.

Рисунок 1 - Модель программного обеспечения

Конфигурация является элементом языка, который соответствует системе программируемого контроллера, как определено в МЭК 61131-1. Ресурс соответствует "функции обработки сигналов" и ее "человеко-машинному интерфейсу" и "функциям интерфейса с датчиками и исполнительными механизмами" (при наличии таковых), как определено в МЭК 61131-1.

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

Программа может содержать нуль или более экземпляров функциональных блоков или других элементов языка, как определено в настоящем стандарте.

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

Конфигурации и ресурсы могут запускаться и останавливаться через функции "интерфейс оператора", "программирование, тестирование и мониторинг" или "операционная система", определенные в МЭК 61131-1. Запуск конфигурации будет вызывать инициализацию ее глобальных переменных с последующим запуском всех ресурсов конфигурации. Запуск ресурса будет вызывать инициализацию всех переменных в ресурсе с последующей активацией всех задач в ресурсе. Останов ресурса будет вызывать прекращение всех его задач, в то время как останов конфигурации будет вызывать останов всех ее ресурсов.

Механизмы управления задачами определены в 6.8.2, а механизмы запуска и останова конфигураций и ресурсов через функции взаимодействия определены в МЭК 61131-5.

Программы, ресурсы, глобальные переменные, пути доступа (и соответствующие привилегии доступа) и конфигурации могут быть загружены или удалены "функцией взаимодействия", определенной в МЭК 61131-1. Загрузка или удаление конфигурации или ресурса будет эквивалентно загрузке или удалению всех элементов, которые там содержатся.

Пути доступа и их соответствующие привилегии доступа определяются в настоящем стандарте.

Отображение элементов языка на объекты взаимодействия определено в МЭК 61131-5.

4.2 Модель взаимодействия

Способы связи значений переменных с элементами программного обеспечения иллюстрируются на рисунке 2.

Примечание 1 - Рисунок 2 предназначен только для иллюстрации. Графическое представление не является нормативным.

Примечание 2 - В данном примере предполагается, что конфигурации C и D имеют один ресурс.

Примечание 3 - На рисунке 2 не показаны детали функционального блока взаимодействия.

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

Примечание 5 - В МЭК 61131-5 определены средства, с помощью которых системы с PC и без PC могут использовать пути доступа для чтения и записи переменных.

Рисунок 2 - Модель взаимодействия

Как показано на рисунке 2a), значения переменных в программе могут связываться прямо, соединением выхода одного программного элемента ко входу другого. Данное соединение явно показывается в графических языках и неявно в тестовых языках.

Значения переменных могут передаваться между программами в одной конфигурации через глобальные переменные, как переменная x, показанная на рисунке 2b). Такие переменные будут объявляться в конфигурации как GLOBAL, и в программах как EXTERNAL.

Как показано на рисунке 2c), значения переменных могут передаваться между различными частями программы, между программами в одной или различных конфигурациях или между программой PC и системой без PC, используя функциональные блоки взаимосвязи, определенные в МЭК 61131-5.

Кроме того, системы с и PC и системы без PC могут передавать данные, которые делаются доступными путями доступа, как показано на рисунке 2d), используя механизмы, определенные в МЭК 61131-5.

4.3 Модель программирования

На рисунке 3 показана сводка элементов языков программирования PLC. Комбинация этих элементов должна подчиняться следующим правилам:

1 Типы данных объявляются с использованием стандартных типов данных и любых ранее определенных типов данных.

2 Функции объявляются с использованием стандартных или определенных пользователем типов данных, стандартных функций и любых ранее определенных функций.

Данные объявления должны использовать механизмы, определенные для языков IL, ST, LD или FBD.

3 Типы функциональных блоков объявляются, используя стандартные и определенные пользователем типы данных, функции, стандартные типы функциональных блоков и любые ранее определенные типы функциональных блоков.

Данные объявления используют механизмы, определенные для языков IL, ST, LD или FBD, и могут включать в себя элементы последовательных функциональных схем (SFC).

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

4 Программа объявляется, используя стандартные или определенные пользователем типы данных, функции, функциональные блоки и классы.

Данные объявления используют механизмы, определенные в языках IL, ST, LD или FBD и могут в себя включать элементы последовательных функциональных схем (SFC).

5 Программы могут собираться в конфигурации, используя элементы, то есть: глобальные переменные, ресурсы, задачи и пути доступа.

Ссылка на "ранее определенные" типы данных, функции и функциональные блоки означает, что после того как некоторый элемент был объявлен, его определение доступно (например, в "библиотеке" ранее определенных элементов) для использования в дальнейших определениях.

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

Рисунок 3 - Сочетание элементов языка программируемых контроллеров, лист 1

где LD - язык релейно-контактных схем;

FBD - язык функционально-блоковых диаграмм;

IL - язык списка инструкций;

ST - язык структурированного текста;

Другие - другие языки программирования.

Примечание 1 - Числа от (1) до (5) в скобках относятся к соответствующим параграфам 1)-5) выше.

Примечание 2 - Типы данных используются во всех способах создания. Для четкости, соответствующие связи опущены на данном рисунке.

Рисунок 3 - Сочетание элементов языка программируемых контроллеров, лист 2

5 Совместимость

5.1 Общие положения

Средство программирования и отладки PLC (PADT), как определено в МЭК 61131-1, которое удовлетворяет полностью или частично требованиям настоящего стандарта и должно:

a) обеспечивать подмножество свойств и предоставлять декларацию соответствия разработчика как описано ниже;

b) не требовать включения альтернативных или дополнительных элементов языка для достижения какого-либо свойства;

c) предоставлять документ, определяющий все конкретные расширения разработчика. Сюда входят любые принятые системой свойства, которые запрещены или точно не определены;

d) предоставлять документ, определяющий все специфические зависимости разработчика. В данный документ включают все зависимости реализации, явно определенные в настоящем стандарте, и ограничивающие параметры, такие как максимальная длина, количество, размер и диапазон изменений, которые на* заданы явно;

________________

* Текст документа соответствует оригиналу. - .

e) предоставлять документ, который устанавливает все ошибки, обнаруживаемые и сообщаемые при реализации. В данный документ включают ошибки, установленные в настоящем стандарте, и ошибки, обнаруживаемые во время подготовки программы к выполнению и во время ее выполнения.

Примечание - В настоящем стандарте только частично установлены ошибки, случающиеся во время выполнения программы, приведенной в МЭК 61131;

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

5.2 Таблицы свойств

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

5.3 Декларация соответствия разработчика

Разработчик может определить любое согласующееся подмножество свойств, перечисляемых в таблицах свойств и будет объявлять предоставляемое подмножество как "Декларацию соответствия разработчика".

Декларация соответствия разработчика будет включена в документацию, сопровождающую систему, или будет создаваться самой системой.

Формат декларации соответствия разработчика будет предоставлять следующую информацию (пример декларации соответствия приведен на рисунке 4):

- общая информация, включающая наименование и адрес разработчика, наименование и версию продукта и дату выпуска;

- номер соответствующей таблицы соответствия, номер свойства и используемый язык программирования для каждого реализованного свойства.

Заголовок и подзаголовок таблицы свойств, описание свойства, примеры, примечания разработчика и другая информация являются необязательными.

Нереализованные таблицы и свойства могут быть опущены.

Рисунок 4 - Декларация соответствия разработчика (пример)

Рисунок 4

6 Общие элементы

6.1 Использование печатных символов

6.1.1 Набор символов

Набор символов текстовых языков и текстовых элементов графических языков приведен в таблице 1. Символы представлены по ИСО/МЭК 10646.

Таблица 1 - Набор символов

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

Идентификатор - это строки букв, цифр и символов подчеркивания, начинающаяся с буквы или символа подчеркивания.

Регистр букв не имеет значения в идентификаторах, например идентификаторы abcd, ABCD и aBCd будут интерпретироваться одинаково.

Символ подчеркивания является существенным в идентификаторах, например, A_BCD и AB_CD будут интерпретироваться, как различные идентификаторы. Множественные ведущие или множественные внутренние символы подчеркивания не допустимы, например последовательности символов _LIM_SW5 и LIM_SW5 не являются допустимыми идентификаторами. Завершающие символы подчеркивания не допустимы, например, последовательность символов LIM_SW5_ не является допустимым идентификатором.

Во всех системах, которые поддерживают использование идентификаторов, по меньшей мере, 6 символов будет учитываться при определении уникальности идентификатора, например, во всех таких системах, ABCDE1 будет интерпретироваться отличным от ABCDE2. Максимально допустимое число символов, разрешенное в идентификаторе, определяется разработчиком.

Свойства и примеры идентификаторов приведены в таблице 2.

Таблица 2 - Идентификаторы

6.1.3 Ключевые слова

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

Например, ключевые слова FOR и for синтаксически эквивалентны. Они не должны использоваться в любых других целях, например, как имена переменных или расширения.

6.1.4 Использование символов-разделителей

Пользователю разрешено вставлять один или более "символов-разделителей" в любом месте текста программ программируемого контроллера, только не внутри ключевых слов, литералов, перечисленных значений, идентификаторов, прямо представленных переменных или разделительных сочетаний, например, для комментариев. "Символ-разделитель" определяется как символ SPACE с кодированным числовым значением 32, а также как непечатаемые символы, такие как символ табуляции, символ перевода строки и т.п., которым в МЭК/ИСО 10646 не придано закодированного значения.

6.1.5 Комментарии

Имеются различные виды комментариев, приведенные в таблице 3.

1 Однострочные комментарии начинаются с комбинации символов // и заканчиваются на следующем символе перевода строки, новой строки, подачи (прогона) страницы или возврата каретки.

В однострочном комментарии специальные комбинации символов (* и *) или /* и */ не имеют специального значения.

2 Многострочные комментарии разделяются в начале и в конце специальными комбинациями символов (* и *), соответственно.

Альтернативно, многострочный комментарий может предоставляться, используя специальные комбинации символов /* и */.

В многострочном комментарии специальная комбинация символов // не имеет специального значения.

Комментарии разрешены в любом месте программы, где разрешены пробелы, только не внутри символьно-строковых литералов.

Комментарии не имеют никакого синтаксического и семантического значения ни в одном из языков, определенных в данном стандарте. Они трактуются как символы-разделители.

Вложенные комментарии используют соответствующие

- пары (*, *), например, (* ... (* ВЛОЖЕННЫЙ КОММЕНТАРИЙ *)... *) или

- пары /*, */,например, /* ... /* ВЛОЖЕННЫЙ КОММЕНТАРИЙ */... */.

Таблица 3 - Комментарии

6.2 Прагма

Как показано в таблице 4, прагмы ограничиваются в начале и в конце фигурными скобками { и }, соответственно. Синтаксис и семантика конструкций конкретной прагмы определяются разработчиком. Комментарии разрешены в любом месте программы, где разрешены пробелы, только не внутри символьно-строковых литералов.

Таблица 4 - Прагма

6.3 Литералы - внешнее представление данных

6.3.1 Общие положения

Внешние представления данных в различных языках программирования программируемых контроллеров состоят из числовых литералов, символьно-строковых литералов и литералов дат и времени.

Признана необходимость в обеспечении внешних представлений для двух различных типов данных, связанных со временем:

- данные о продолжительности времени при измерении и контроле событий;

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

6.3.2 Числовые литералы и строковые литералы

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

Единичные символы подчеркивания , вставленные между цифрами числового литерала не являются существенными. Никакое иное использование символов подчеркивания в числовых литералах не разрешается.

Десятичные литералы представляются в обычной десятичной нотации. Действительные литералы характеризуются наличием десятичной точки. Экспонента указывает на целую степень 10, на которую должно умножаться предшествующее число, чтобы достичь представленного значения. Десятичные литералы и экспоненты литералов могут содержать предшествующий знак или .

Литералы могут также представляться с основаниями 2, 8 и 16. Основание указывается в десятичной нотации. Для основания 16 используется расширенный набор цифр, состоящий из букв от A до F, с оговоренным десятичным значением от 10 до 15, соответственно. Числа с основанием не содержат ведущего знака или . Они интерпретируются как битово-строковые литералы.

Числовые литералы, представляющие положительные целые значения, могут использоваться как битово-строковые литералы.

Логические данные представляются числовыми литералами со значением (0) или один (1), или ключевыми словами FALSE или TRUE, соответственно.

Свойства и примеры числовых литералов приведены в таблице 5.

Тип данных логических или числовых литералов может указываться добавлением префикса типа к литералу, состоящего из имени элементарного типа данных и символа . Примеры приведены в свойстве 9 таблицы 5.

Таблица 5 - Числовые литералы

6.3.3 Символьно-строковые литералы

Символьно-строковые литералы содержат однобайтовые или двухбайтовые кодированные символы:

- символьно-строковый литерал однобайтовых символов является последовательностью нуля или более символов, с предшествующим и завершающим символом одиночной кавычки. В строках однобайтовых символов, трехсимвольная комбинация символа доллара ($) с двумя следующими шестнадцатиричными символами интерпретируется как шестнадцатиричное представление восьмибитового кода символа, как показано в свойстве 1 таблицы 6;

- символьно-строковый литерал двухбайтовых символов является последовательностью 0 или более символов из набора символов ИСО/МЭК 10646, с предшествующим и завершающим символом двойной кавычки . В строках однобайтовых символов, трехсимвольная комбинация символа доллара ($) с двумя следующими шестнадцатиричными символами интерпретируется как шестнадцатиричное представление восьмибитового кода символа, как показано в свойстве 2 таблицы 6.

Примечание - Отношение стандартов ИСО/МЭК 10646 и Юникод:

Несмотря на то, что коды символов и формы кодирования стандартов Юникод и ИСО/МЭК 10646 синхронизированы, стандарт Юникод налагает дополнительные ограничения на реализации, чтобы гарантировать, что они трактуют символы одинаково во всех платформах и приложениях. В связи с этим, данный стандарт предоставляет широкий набор спецификаций функциональных символов, данных символов, алгоритмов и обширный справочный материал, который отсутствует в ИСО/МЭК 10646.

Двухсимвольные комбинации, начинающиеся с символа доллара интерпретируются, как показано в таблице 7, когда они встречаются в строках символов.

Таблица 6 - Символьно-строковые литералы

Таблица 7 - Двухсимвольные комбинации в символьных строках

6.3.4 Литерал продолжительности времени

Данные продолжительности времени ограничиваются слева ключевым словом T#, TIME# или LTIME#. Представление данных о продолжительности времени в терминах дней, часов, минут, секунд и долей секунды, или любой их комбинации поддерживается как показано в таблице 8. Наименьшая единица времени может быть записана в нотации действительных чисел без экспоненты.

Единицы литералов продолжительности времени могут разделяться символами подчеркивания.

Разрешается "переполнение" самой большой единицы продолжительности времени, например нотация T#25h_15m является допустимой.

Единицы времени (например, секунды, миллисекунды и т.д.) могут быть представлены буквами верхнего или нижнего регистра.

Как показано в таблице 8, для продолжительности времени разрешены как положительные, так и отрицательные значения.

Таблица 8 - Литералы продолжительности времени

6.3.5 Литерал даты и времени суток

Ключевые слова префикса литералов для времени суток и даты приведены в таблице 9.

Таблица 9 - Литералы даты и времени суток

6.4 Типы данных

6.4.1 Общие положения

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

6.4.2 Элементарные типы данных (BOOL, INT, REAL, STRING и т.д.)

6.4.2.1 Спецификация элементарных типов данных

Настоящий стандарт устанавливает набор (предопределенных) элементарных типов данных.

Элементарные типы данных, ключевое слова для каждого типа данных, число битов на элемент данных и диапазон значений для каждого элементарного типа данных приведены в таблице 10.

Таблица 10 - Элементарные типы данных

6.4.2.2 Элементарные строковые типы данных (STRING, WSTRING)

Максимальная поддерживаемая длина элементов типа STRING и WSTRING задается разработчиком и определяет максимальную длину STRING и WSTRING, которая поддерживается средствами программирования и отладки.

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

Доступ к отдельным символам строки в элементах данных CHAR или WCHAR осуществляется указанием в квадратных скобках позиции символа в строке, начиная с позиции 1.

Ошибка возникает, если к строкам двухбайтовых символов осуществляется доступ с использованием однобайтовых символов или если к строкам однобайтовых символов осуществляется доступ с использованием двухбайтовых символов.

Пример 1 - Типы STRING, WSTRING и CHAR, WCHAR

a) Объявление

VAR

END_VAR

b) Использование типов STRING и CHAR

c) Использование типов WSTRING и WCHAR

d) Эквивалентные функции (см. 6.6.2.5.11)

Char1:= String1[2];

эквивалентно

Char1:= STRING_TO_CHAR(Mid(IN:= String1, L:= 1, P:= 2));

aWStrings[1][3]:= WChar1;

эквивалентно

REPLACE(IN1:= aWStrings[1], IN2:= WChar1, L:= 1, P:=3 );

e) Случаи ошибки

Char1:= String1[2]; // смешивание типов WCHAR,

STRING String1[2]:= String2;

// требует неявного преобразования STRING_TO_CHAR, которое не разрешено

Примечание - Типы данных для отдельных символов (CHAR и WCHAR) могут содержать только один символ. Строки могут содержать несколько символов; поэтому строки могут содержать дополнительную информацию для управления, которая не нужна для отдельных символов.

Пример 2 - Если тип STR10 объявлен как

то максимальная длина STR10 равна 10 символам, начальное значение по умолчанию равно и начальная длина элементов данных типа STR10 равна шести символам.

6.4.3 Родовые типы данных

В дополнение к элементарным типам данных, приведенным в таблице 10, в спецификации входных и выходных переменных стандартных функций и функциональных блоков можно использовать иерархию родовых типов данных, показанных на рисунке 5. Родовые типы данных определяются по префиксу "ANY".

При использовании родовых типов данных следует соблюдать следующие правила:

1 Родовой тип прямо порожденного типа является таким же, как родовой тип элементарного типа, из которого он порожден.

2 Порожденным типом типа-диапазона является ANY_INT.

Родовым типом всех других порожденных типов, приведенных в таблице 11, является ANY_DERIVED.

Использование родовых типов данных в определенных пользователем программных компонентов находится вне области действия настоящего стандарта.

Рисунок 5 - Иерархия родовых типов данных

6.4.4 Определенные пользователем типы данных

6.4.4.1 Объявление (TYPE)

6.4.4.1.1 Общие положения

Назначение определенных пользователем типов данных - это их использование в объявлении других типов данных и в объявлениях переменных.

Определенный пользователем тип данных может использоваться везде, где может использоваться базовый тип.

Определенные пользователем типы данных объявляются, используя текстовую конструкцию TYPE...END_TYPE. Объявление типа состоит из следующих элементов:

- имя типа;

- символ двоеточия ;

- объявление собственно типа, как определено в следующих предложениях.

Пример - Объявление типа

TYPE

myDatatype1: <объявление типа с необязательной инициализацией>;

END_TYPE

6.4.4.1.2 Инициализация

Определенные пользователем типы данных могут быть инициализированы определенными пользователем значениями. Такая инициализация имеет приоритет над неявным начальным значением.

Определенная пользователем инициализация следует за объявлением типа и начинается оператором присваивания , за которым следует начальное значение (значения).

Могут использоваться литералы (например, -123, 1.55, ) или константные выражения (например, 12*24). Используемые начальные значения должны иметь совместимый тип, то есть тот же самый тип или тип, который может быть конвертирован, используя неявное преобразование типа.

Для инициализации типов данных следует применять правила, приведенные на рисунке 6.

Рисунок 6 - Инициализация литералами и константными выражениями (правила)

В таблице 11 определены свойства объявления типов данных и их инициализации, определенных пользователем.

Таблица 11 - Объявление определенных пользователем типов данных и их инициализации

6.4.4.2 Перечислимый тип данных

6.4.4.2.1 Общие положения

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

Перечень перечисления определяет упорядоченное множество перечислимых значений, начиная с первого идентификатора и оканчивая последним.

Различные перечислимые типы данных могут использовать одинаковые идентификаторы для перечислимых значений. Максимально допустимое число перечислимых значений определяется разработчиком.

Для обеспечения уникальной идентификации при использовании в конкретном контексте, перечислимые литералы могут уточняться префиксом, состоящим из имени ассоциированного типа данных и символа номера , аналогично типизированным литералам. В перечне перечисления префиксы не используются.

Происходит ошибка, если в перечислимом литерале недостаточно информации для однозначного определения его значения (см. пример ниже).

Пример - Перечислимый тип данных

TYPE

Traffic_light: (Red, Amber, Green);

Painting_colors: (Red, Yellow, Green, Blue):= Blue;

END_TYPE

VAR

My_Traffic_light: Traffic_light:= Red;

END_VAR

IF My_Traffic_light = Traffic_light#Amber THEN ... // OK

IF My_Traffic_light = Traffic_light#Red THEN ... // OK

IF My_Traffic_light = Amber THEN ... // OK - идентификатор Amber уникален

IF My_Traffic_light = Red THEN ... // ОШИБКА - идентификатор Red не является уникальным

6.4.4.2.2 Инициализация

Неявное начальное значение перечислимого типа данных - первый идентификатор в связанном перечне перечисления.

Пользователь может инициализировать тип данных определенным пользователем значением из перечня перечислимых значений данного типа. Такая инициализация имеет приоритет.

Как показано в таблице 11 для ANALOG_SIGNAL_RANGE, определенное пользователем начальное значение перечислимого типа данных - это присвоенное значение UNIPOLAR_1_5V.

Определенное пользователем присваивание начального значения типа данных является свойством в таблице 11.

6.4.4.3 Тип данных с именованными значениями

6.4.4.3.1 Общие положения

Связанным с перечислимым типом данных, где перечислимые идентификаторы не заданы пользователем, является перечислимый тип данных с именованными значениями. Объявление определяет тип данных и присваивает значения именованных переменных, как показано в таблице 11.

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

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

В перечне объявления префиксы не используются. Происходит ошибка, если в перечислимом литерале недостаточно информации для однозначного определения его значения (см. пример).

Пример - Тип данных с именованными значениями

TYPE

Traffic_light: INT (Red:= 1, Amber := 2, Green:= 3):= Green;

Painting_colors: INT (Red:= 1, Yellow:= 2, Green:= 3, Blue:= 4):= Blue;

END_TYPE

VAR

My_Traffic_light: Traffic_light;

END_VAR

My_Traffic_light:= 27; // Присваивание константы IF

My_Traffic_light:= Traffic_light#Red + 1;

Red не является уникальным

6.4.4.3.2 Инициализация

Неявное значение для типа данных с именованными значениями - это первый элемент данных в перечне перечисления. В приведенном выше примере для Traffic_light таким элементом является Red.

Пользователь может инициализировать тип данных определенным пользователем значением. Инициализация не ограничивается именованными значениями - может использоваться любое значение из диапазона базового типа. Такая инициализация имеет приоритет.

В пример, определенным пользователем начальным значением перечислимого типа для Traffic_light является Green.

Определенное пользователем присваивание начального значения типа данных является свойством в таблице 11.

6.4.4.4 Тип-диапазон

6.4.4.4.1 Общие положения

Декларацией типа-диапазона определено, что значение любого элемента данных этого типа может принимать значения между указанными верхними и нижними пределами (включительно), как показано в таблице 11.

Пределы в типе-диапазоне должны быть литералами или константными выражениями.

Пример -

TYPE

ANALOG_DATA: INT(-4095 .. 4095):= 0;

END_TYPE

6.4.4.4.2 Инициализация

Неявные начальные значения для типов данных с диапазоном - это первый (нижний) предел диапазона.

Пользователь может инициализировать тип данных определенным пользователем значением из диапазона. Такая инициализация имеет приоритет.

Например, как показано в примере, приведенном в таблице 11, неявное начальное значение элементов типа ANALOG_DATA равно -4095, в то время, как при явной инициализации, неявное начальное значение равно нулю (как объявлено).

6.4.4.5 Типы данных - массивы

6.4.4.5.1 Общие положения

Объявление типа данных - массива определяет, что должно быть выделено достаточное количество памяти для каждого элемента этого типа, чтобы хранить все данные, которые могут быть индексированы указанным поддиапазоном (поддиапазонами) индексов, как показано в таблице 11.

Массив - это совокупность элементов данных одинакового типа. В качестве типа элемента массива могут использоваться элементарные и определенные пользователем типы данных, типы функциональных блоков и классы. На данную совокупность элементов данных ссылаются с помощью одного или более индексов, заключенных в квадратные скобки и разделенных запятыми. Если значение индекса выходит за пределы, указанные в объявлении массива, возникает ошибка.

Примечание - Для вычисляемых индексов такая ошибка может быть обнаружена только во время выполнения.

Максимальное число индексов массива, максимальный размер массива и максимальный диапазон значений индекса определяются разработчиком.

Пределы в диапазона* индекса должны быть литералами или константными выражениями. Массивы переменной длины определены в 6.5.3.

________________

* Текст документа соответствует оригиналу. - .

В языке ST индекс является выражением, производящим значение, соответствующее одному из подтипов родового типа ANY_INT.

Форма индексов в языке IL и графических языках, определенных в разделе 8, ограничена одноэлементными переменными или целыми литералами.

Пример -

a) Объявление массива

VAR myANALOG_16: ARRAY [1..16] OF ANALOG_DATA;

:= [8(-4095), 8(4095)]; // определенные пользователем начальные значения

END_VAR

b) Использование переменных массива в языке ST может быть следующим:

OUTARY[6,SYM]:= INARY[0] + INARY[7] - INARY[i] * %IW62.

6.4.4.5.2 Инициализация

Неявное начальное значение каждого элемента массива - это начальное значение, определенное для типа данных элементов массива.

Пользователь может инициализировать тип массива значением, определенным пользователем. Такая инициализация имеет приоритет.

Определенное пользователем начальное значение массива назначается в форме списка, в котором могут использоваться скобки для обозначения повторений.

Во время инициализации типов данных - массивов, самый правый индекс массива изменяется быстрее остальных при наполнении массива из списка начальных значений.

Пример - Инициализация массива

A: ARRAY [0..5] OF INT:= [2(1, 2, 3)]

эквивалентно последовательности инициализации 1, 2, 3, 1, 2, 3.

Если число начальных значений, данных в перечне инициализации превышает число входов массива, лишние (самые* правые начальные значения будут отброшены. Если число начальных значений меньше, чем число входов массива, оставшиеся входы массива будут заполнены неявными начальными значениями для соответствующего типа данных. В любом случае, пользователь будет предупрежден об этой ситуации во время подготовки программы для выполнения.

________________

* Текст документа соответствует оригиналу. - .

Определенное пользователем присваивание начального значения типа данных является свойством в таблице 11.

6.4.4.6 Структурированный тип данных

6.4.4.6.1 Общие положения

Объявление структурированного типа данных (STRUCT) указывает, что этот тип данных содержит совокупность подэлементов определенных типов, к которым можно осуществлять доступ под определенным именем, как показано в таблице 11.

Элемент структурированного типа данных представляется двумя или более идентификаторами, разделенными точкой .

Первый идентификатор представляет имя структурированного элемента, а последующие идентификаторы представляют последовательность имен элементов для доступа к конкретному элементу данных в структуре данных.

В качестве типа элемента структуры могут использоваться элементарные и определенные пользователем типы данных, типы функциональных блоков и классы.

Например, элемент типа данных ANALOG_CHANNEL_CONFIGURATION, объявленный в таблице 11, будет содержать подэлемент RANGE типа ANALOG_SIGNAL_RANGE, подэлемент MIN_SCALE типа ANALOG_DATA и подэлемент MAX_SCALE типа ANALOG_DATA.

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

Две структурированных переменных являются совместимыми по присваиванию, только если они имеют одинаковый тип данных.

Пример - Объявление и использование структурированного типа данных и структурированной переменной.

a) Объявление структурированного типа данных

b) Объявление структурированной переменной

VAR

MODULE_CONFIG: ANALOG_CHANNEL_CONFIGURATION;

END_VAR

c) Использование переменных массива в языке ST:

MODULE_CONFIG.MIN_SCALE:= -2047;

MODULE_8_CONF[5].RANGE:= BIPOLAR_10V.

6.4.4.6.2 Инициализация

Неявные значения компонентов структуры даются их индивидуальными типами данных.

Пользователь может инициализировать компоненты структуры значениями, определенными пользователем. Такая инициализация имеет приоритет.

Пользователь может также инициализировать ранее определенную структуру, используя перечень присваиваний компонентам структуры. Данная инициализация имеет более высокий приоритет, чем неявная инициализация и инициализация компонентов.

Пример - Инициализация структуры

a) Объявление с инициализацией структурированного типа данных

TYPE

b) Объявление с инициализацией структурированной переменной

VAR

6.4.4.7 Относительное положение элементов структурированных типов данных (AT)

6.4.4.7.1 Общие положения

Положения (адреса) элементов структурированного типа могут быть определены относительно начала структуры.

В этом случае, за именем компонента этой структуры следует ключевое слово AT и относительный адрес.

Объявление может содержать разрывы в расположении памяти.

Относительный адрес состоит из символа процента , определителя битового или байтового адреса. Байтовый адрес - это целый литерал без знака, обозначающий смещение в байтах. Битовый адрес состоит из смещения в байтах, следующего символа точки и смещения в битах, являющегося целым литералом без знака в диапазоне от 0 до 7. В относительном адресе не допускаются пробельные символы.

Компоненты структуры не должны перекрываться в расположении памяти, за исключением ситуации, когда в объявлении имеется ключевое слово OVERLAP.

Перекрытие строк находится вне области применения настоящего стандарта.

Примечание - Отсчет битового смещения начинается от самого правого бита с 0. Отсчет битового смещения начинается от начала структуры с 0.

Пример - Относительные адреса и перекрытие в структуре

TYPE

Com1_data: STRUCT

END_STRUCT;

Com2_data: STRUCT OVERLAP

END_STRUCT;

Com_data: STRUCT OVERLAP // C1 и C2 перекрываются

C1 at %B0: Com1_data:

C2 at %B0: Com2_data;

6.4.4.7.2 Инициализация

Структуры с перекрытием не могут явно инициализироваться.

6.4.4.8 Прямо представленные компоненты структуры - частично определенные с использованием .

Символ звездочки в таблице 11 может использоваться, чтобы обозначить еще не полностью определенные адреса для прямо представленных компонентов структуры.

Пример - Присваивание компонентов структуры еще не локализованным входным и выходным переменным.

TYPE

HW_COMP: STRUCT;

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

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

Переменные такого типа не могут использоваться в секциях VAR_INPUT, VAR_IN_OUT и VAR_TEMP.

Ошибка возникает, если отсутствует какая-либо полная спецификация в конструкции VAR_CONFIG...END_VAR для какой-либо неполной спецификации адреса, выраженной символом в любом экземпляре программы или функционального блока, который содержит такие неполные спецификации.

6.4.4.9 Прямо порожденный тип данных

6.4.4.9.1 Общие положения

Определенные пользователем типы данных могут быть прямо порождены из элементарного типа данных или определенного пользователем типа данных.

Это может быть использовано для определения специфических для типа начальных значений.

Пример - Прямо порожденный тип данных

TYPE

6.4.4.9.2 Инициализация

Неявное начальное значение равно начальному значению типа данных, из которого порожден новый тип. Пользователь может инициализировать тип данных определенным пользователем значением. Такая инициализация имеет приоритет.

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

Пример 1 - Использование определенных пользователем типов данных

С учетом объявлений ANALOG_16_INPUT_DATA в таблице 11 и объявления VAR INS: ANALOG_16_INPUT_DATA; END_VAR переменные от INS[1] до INS[16] могут использоваться везде, где могут использоваться переменные типа INT.

Пример 2

Аналогично, с учетом объявления Com_data в таблице 11 и, дополнительно, объявления VAR telegram: Com_data; END_VAR переменная telegram.length может использоваться везде, где может использоваться тип USINT.

Пример 3

Это правило может применяться рекурсивно:

С учетом объявления ANALOG_16_INPUT_CONFIGURATION, ANALOG_CHANNEL_CONFIGURATION и ANALOG_DATA в таблице 11 и объявления VAR CONF: ANALOG_16_INPUT_CONFIGURATION; END_VAR переменная CONF.CHANNEL[2].MIN_SCALE может использоваться везде, где может использоваться тип INT.

6.4.4.10 Указатели

6.4.4.10.1 Объявление указателя

Указатель - это переменная, которая содержит только ссылку на переменную или на экземпляр функционального блока. Указатель может иметь значение NULL, то есть он не ссылается ни на что.

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

Примечание - Указатели без привязки к типу данных выходят за пределы настоящего стандарта.

Пример 1

TYPE

END_TYPE

VAR

Ссылка должна ссылаться только на переменные указанного ссылочного типа данных. Указатели на прямо порождаемые типы данных обрабатываются как псевдонимы указателей на базовый тип данных. Прямое порождение может применяться несколько раз.

Пример 2

TYPE

myArrType1: ARRAY[0..999] OF INT;

myArrType2: myArrType1;

myRefType1: REF_TO myArrType1;

myRefType2: REF_TO myArrType2;

END_TYPE

myRefType1 и myRefType2 могут ссылаться на переменные типа ARRAY[0..999] OF INT и производных типов данных.

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

Пример 3

Указатели типа myRefF1 могут ссылаться на экземпляры классов F1, F2 и на производные от них классы. Однако указатели типа myRefF2 не могут ссылаться на экземпляры класса F1, а могут ссылаться только на экземпляры класса F2 и производные от него, так как класс F1 может не поддерживать методы и переменные расширенного класса F2.

6.4.4.10.2 Инициализация указателей

Указатели могут инициализироваться значением NULL (неявно) или адресом уже объявленных переменных, экземпляров функционального блока или класса.

Пример -

FUNCTION_BLOCK F1 ... END_FUNCTION_BLOCK;

VAR

END_VAR

6.4.4.10.3 Операции с указателями

Оператор REF() возвращает указатель на заданную переменную или экземпляр. Ссылочным типом данных возвращенного указателя является тип данных заданной переменной. Применение оператора REF() к временной переменной (например, переменным любой секции VAR_TEMP или любым переменным внутри функций) не разрешается.

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

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

Если указатель присвоен указателю такого же типа данных, то последний ссылается на ту же самую переменную. В таком случае, прямо порожденный тип данных рассматривается так же, как его базовый тип.

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

Разыменование указателей осуществляется явно.

Указатель разыменовывается использованием предшествующего символа крышки .

Разыменованный указатель может использоваться так же, как прямо используется переменная. Разыменованный указатель на NULL является ошибкой.

Примечание 1 - Возможные проверки указателей на NULL может производиться во время компиляции, системой поддержки выполнения программы или прикладной программой.

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

Примечание 2 - Арифметические операции с указателями не рекомендуются и не входят в задачу настоящего стандарта.

Пример 1

TYPE

S1: STRUCT

SC1: INT;

SC2: REAL;

END_STRUCT;

A1: ARRAY[1..99] OF INT;

END_TYPE

VAR

myS1: S1;

myA1: A1;

myRefS1: REF_TO S1:= REF(myS1);

myRefA1: REF_TO A1:= REF(myA1);

myRefInt: REF_TO INT:= REF(myA1[1]);

END_VAR

myRefS1^.SC1:= myRefA1^[12]; // в данном случае, это эквивалентно S1.SC1:= A1[12];

myRefInt:= REF(A1[11]);

S1.SC1:= myRefInt^; // присваивает значение переменной A1[11] элементу структуры S1.SC1

Пример 2

Графическое представление операторов из примера 1

В таблице 12 приведены свойства операций с указателями.

Таблица 12 - Операции с указателями

6.5 Переменные

6.5.1 Объявление и инициализация переменных

6.5.1.1 Общие положения

Переменные предоставляют средства идентификации объектов данных, содержание которых может изменяться. Например, данные, связанные с входами, выходами или памятью программируемого контроллера.

В отличие от литералов, которые являются внешним представлением данных, переменные могут изменять свое значение с течением времени.

6.5.1.2 Объявление

Переменные объявляются внутри одной из секций переменных.

Переменные можно объявлять, используя:

- элементарный тип данных; или

- предварительно определенный пользователем тип; или

- тип указателя; или

- прямо определенный пользователем тип.

Возможны следующие виды переменной:

- одноэлементная переменная, то есть переменная, тип которой либо:

- элементарный тип данных; или

- определенное пользователем перечисление или тип-диапазон; или

- определенный пользователем тип, происхождение которого, определяемое рекурсивно, прослеживается до элементарного типа, типа перечисления или типа-диапазона;

- многоэлементная переменная, то есть переменная, которая представляет массив ARRAY или структуру STRUCT;

- указатель, то есть переменную, которая ссылается на другую переменную или экземпляр функционального блока.

Объявление переменной состоит из следующих элементов:

- списка имен объявляемых переменных;

- символа двоеточия ;

- типа данных с необязательной инициализации, специфичной для различных видов переменных.

Пример -

TYPE

myType: ARRAY [1..9] OF INT; // предварительно определенный пользователем тип

END_TYPE

VAR

END_VAR

6.5.1.3 Инициализация переменных

Неявным начальным значением переменной (переменных) являются:

1 Неявное начальное значение (значения) лежащих в основе элементарных типов данных, как определено в таблице 10.

2 NULL, если переменная является указателем.

3 Определенное пользователем значение (значения) назначенного типа данных.

Это значение факультативно может быть определено использованием оператора присваивания в определении типа TYPE, как показано в таблице 11.

4 Пользователем значение (значения) переменной.

Это значение факультативно может быть определено использованием оператора присваивания в объявлении переменной VAR (см. таблицу 14).

Определенное пользователем значение может быть литералом (например, -123, 1.55, ) или константным выражением (например, 12*24).

Начальные значения не могут задаваться в объявлениях VAR_EXTERNAL.

Начальные значения могут также определяться с использованием определяемого экземпляром свойства инициализации, предоставляемого конструкцией VAR_CONFIG...END_VAR. Определяемые экземпляром начальные значения всегда замещают специфические для типа начальные значения.

Таблица 13 - Определение переменных

Таблица 14 - Инициализация переменных

6.5.2 Секции переменных

6.5.2.1 Общие положения

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

Часть деклараций программного компонента POU может содержать различные секции VAR, в зависимости от вида программного компонента POU.

Переменные могут объявляться в различных текстовых конструкциях VAR ... END_VAR, включающих квалификаторы, такие как RETAIN или PUBLIC, при необходимости. Квалификаторы секций переменных кратко приведены на рисунке 7.

Рисунок 7 - Ключевые слова объявлений переменных (сводка), лист 1

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

Экземпляры функциональных блоков не объявляются в секциях переменных с квалификатором CONSTANT.

Рисунок 7, лист 2

- VAR

Переменные, объявленные в секции VAR ... END_VAR сохраняются от одного вызова программы или экземпляра функционального блока до другого.

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

- VAR_TEMP

В пределах программных компонент, переменные могут объявляться только секции VAR_TEMP... END_VAR.

Для функций и методов ключевые слова VAR и VAR_TEMP эквивалентны.

Данные переменные распределяются и инициализируются специфическими для типа неявными значениями, и не сохраняются между вызовами.

- VAR_INPUT, VAR_OUTPUT и VAR_IN_OUT

Переменные, объявленные в данных секциях, являются формальными параметрами функций, типов функциональных блоков и методов.

- VAR_GLOBAL и VAR_EXTERNAL

Переменные, объявленные в секции VAR_GLOBAL, могут использоваться в других программных компонентах, если они повторно объявлены там в секции VAR_EXTERNAL.

На рисунке 8 показано использование ключевых слов VAR_GLOBAL, VAR_EXTERNAL и CONSTANT.

Рисунок 8 - Использование VAR_GLOBAL, VAR_EXTERNAL и CONSTANT (правила)

- VAR_ACCESS

Доступ к переменным, объявленным в секции VAR_ACCESS, может производиться с использованием пути доступа, заданного в объявлении.

- VAR_CONFIG

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

6.5.2.2 Область действия объявлений

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

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

Ошибка возникает, если:

- какая-либо программная компонента пытается изменить значение переменной, которая была объявлена с квалификатором CONSTANT или в секции VAR_INPUT;

- переменная, объявленная как VAR_GLOBAL CONSTANT, в элементе конфигурации или программном компоненте ("содержащем элементе") используется в объявлении VAR_EXTERNAL (без квалификатора CONSTANT) любого элемента, содержащегося в пределах охватывающего элемента, как показано ниже.

Максимальное число переменных, допустимых в блоке объявления переменных, определяется разработчиком.

6.5.3 Переменные типа ARRAY переменной длины

Массивы переменной длины могут использоваться только как:

- входные, выходные или входные-выходные переменные функций и методов;

- входные-выходные переменные функциональных блоков.

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

Массивы переменной длины предоставляют программам, функциям, функциональным блокам и методам средства использовать массивы с различными диапазонами индекса.

Для работы с массивами переменной длины предоставляются следующие стандартные функции (см. таблицу 15).

Таблица 15 - Переменные типа ARRAY переменной длины

Пример 1

A1: ARRAY [1..10] OF INT:= [10(1)];

A2: ARRAY [1..20, -2..2] OF INT:= [20(5(1))];

// в соответствии с инициализацией массива, см. 6.4.4.5.2

Пример 2 - Суммирование массивов

FUNCTION SUM: INT;

VAR_IN_OUT A: ARRAY [*] OF INT; END_VAR;

VAR i, sum2: DINT; END_VAR;

sum2:= 0;

FOR i:= LOWER_BOUND(A,1) TO UPPER_BOUND(A,1)

sum2:= sum2 + A[i]; END_FOR;

SUM:= sum2; END_FUNCTION

// SUM (A1) 10

// SUM (A2[2]) 5

Пример 3 - Умножение матриц

FUNCTION MATRIX_MUL

VAR_INPUT

A: ARRAY [*, *] OF INT;

B: ARRAY [*, *] OF INT;

END_VAR;

VAR_OUTPUT C: ARRAY [*] OF INT; END_VAR;

VAR i, j, k, s: INT; END_VAR;

FOR i:= LOWER_BOUND(A, 1) TO UPPER_BOUND(A, 1)

END_FOR;

END_FUNCTION

// Использование:

VAR

A: ARRAY [1..5, 1..3] OF INT;

B: ARRAY [1..3, 1..4] OF INT;

C: ARRAY [1..5, 1..4] OF INT;

END_VAR

MATRIX_MUL (A, B, C);

6.5.4 Константные переменные

Константные переменные - это переменные, определенные в секции переменных, которая содержит ключевое слово CONSTANT. Применяются правила, определенные для выражений.

Пример - Константные переменные

VAR CONSTANT

PI: REAL:= 3.141592;

TwoPi: REAL:= 2.0*Pi;

END_VAR

6.5.5 Прямо представленные переменные (%)

6.5.5.1 Общие положения

Прямое представление одноэлементной переменной обеспечивается специальным символом, сформированных конкатенацией следующих элементов:

- знак процента ; и

- префиксы расположения I, Q или M; и

- префикс размера X (или никакого), B, W, D или L; и

- одно или более (см. ниже иерархическую адресацию) целых без знака, разделенных точками .

Пример -

%MW1.7.9

%ID12.6

%QL20

Разработчик определяет соответствие между прямым представлением переменной и физическим или логическим расположением адресуемой единицы в памяти на входе или на выходе.

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

Использование прямо представленных переменных разрешено в теле функций, функциональных блоках, программах, методах и в конфигурациях и ресурсе.

В таблице 16 представлены свойства прямо представленных переменных.

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

Таблица 16 - Прямо представленные переменные

6.5.5.2 Прямо представленные переменные - иерархическая адресация

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

Пример - Иерархический адрес

%IW2.5.7.1

Например, данная переменная представляет первый "канал" (слово) седьмого "модуля" на пятом "стеллаже" второй "шины ввода/вывода" этой системы программируемого контроллера. Максимальное число уровней иерархической адресации определяется разработчиком.

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

6.5.5.3 Объявление прямо представленных переменных (AT)

Объявлению прямо представленных переменных в соответствии с таблицей 16 (например, %IW6) может даваться символическое имя, используя ключевое слово AT.

Переменным с определенными пользователем типами данных (например, массиву) может быть назначен "абсолютный" адрес в памяти, используя AT. Расположение переменной определяет начальный адрес памяти и не требует размера, равного или превышающего размер данного прямого представления (то есть допустимы пустая память и перекрытие).

Пример - Использование прямого представления

Для всех видов переменных, определенных в таблице 13, явное (определенное пользователем) расположение в памяти может быть объявлено, используя ключевое слово AT в сочетании с прямо представленными переменными (например, %MW10).

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

Примечание - Инициализация входов системы (например, %IW10) определяется Разработчиком.

6.5.5.4 Прямо представленные переменные - частично определенные с использованием

Запись с символом звездочки может использоваться в назначениях адреса внутри программ и типов функциональных блоков для обозначения еще не полностью определенного расположения для прямо представленных переменных.

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

Переменные такого типа не могут использоваться в секциях VAR_INPUT и VAR_IN_OUT.

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

Ошибка возникает, если отсутствует какая-либо полная спецификация в конструкции VAR_CONFIG...END_VAR для какой-либо неполной спецификации адреса, выраженной символом в любом экземпляре программы или функционального блока, который содержит такие неполные спецификации.

6.5.6 Сохраняемые переменные (RETAIN, NON_RETAIN)

6.5.6.1 Общие положения

Когда элемент конфигурации (ресурс или конфигурация) "запускается", как "теплый рестарт" или "холодный рестарт" в соответствии с МЭК 61131-1, каждая переменная, связанная с элементом конфигурации и ее программами, имеет значение, зависящее от операции запуска элемента конфигурации и объявления свойств переменной в части сохранения.

Свойства в части сохранения могут объявлять переменные, содержащиеся в секциях переменных VAR_INPUT, VAR_OUTPUT и VAR функциональных блоков и программ, сохраняемыми или несохраняемыми, используя квалификаторы RETAIN or NON_RETAIN, представленные на рисунке 7. Использование этих ключевых слов необязательно.

На рисунке 9 показан алгоритм назначения начальных значений переменным.

Рисунок 9 - Алгоритм назначения начального значения переменной (правила)

1 Если тип рестарта - "теплый рестарт", как определено в МЭК 61131-1, то начальные значения всех переменных в секции переменных с квалификатором RETAIN будут сохраненными значениями. Данные значения - значения переменных в момент остановки ресурса или конфигурации.

2 Если тип рестарта - "теплый рестарт", то начальные значения всех переменных в секции переменных с квалификатором NON_RETAIN инициализируются.

3 Если тип рестарта - "теплый рестарт", и квалификаторы RETAIN и NON_RETAIN не отсутствуют, то начальные значения определяются разработчиком.

4 Если тип рестарта - "холодный рестарт", начальные значения переменных в секции VAR с квалификаторами RETAIN и NON_RETAIN инициализируются, как описано ниже.

6.5.6.2 Инициализация

Переменные инициализируются, используя определенные пользователем значения, специфические для переменной.

Если никакого значения для инициализации переменной явно не определено, используется определенное пользователем начальное значение, специфическое для переменной. Если ничего не определено, используется специфическое для типа неявное начальное значение, определенное в таблице 10.

Затем применяются следующие правила:

- переменные, которые представляют входы системы программируемого контроллера, как определено в МЭК 61131-1, инициализируются специфическим для разработчика способом;

- квалификаторы RETAIN и NON_RETAIN могут использоваться для переменных, объявленных в статических секциях VAR, VAR_INPUT, VAR_OUTPUT и VAR_GLOBAL, но не в секции VAR_IN_OUT;

- разрешено использование квалификаторов RETAIN и NON_RETAIN в объявлениях экземпляров функционального блока, класса и программы. Поэтому, все переменные образца обрабатываются как RETAIN или NON_RETAIN, за исключением следующего:

- переменная явно объявлена, как RETAIN или NON_RETAIN в объявлении функционального блока, класса или типа программы;

- переменная является типом функционального блока или классом. В этом случае применяется декларация сохранения используемого типа функционального блока или класса.

Разрешено использование квалификаторов RETAIN и NON_RETAIN для экземпляров типов структурированных данных. Поэтому, все элементы структуры, а также все элементы вложенных структур обрабатываются как RETAIN или NON_RETAIN.

Пример -

VAR RETAIN

AT %QW5: WORD:= 16#FF00;

OUTARY AT %QW6: ARRAY[0..9] OF INT:= [10(1)];

BITS: ARRAY[0..7] OF BOOL:= [1,1,0,0,0,1,0,0];

END_VAR

VAR NON_RETAIN

BITS: ARRAY[0..7] OF BOOL;

VALVE_POS AT %QW28: INT:= 100;

END_VAR

6.6 Программные компоненты (POU)

6.6.1 Общие свойства программных компонентов

6.6.1.1 Общие положения

Программными компонентами (POU), установленными в настоящем стандарте, являются функция, функциональный блок, класс и программа. Функциональные блоки и классы могут содержать методы.

Для достижения модуляризации и структурирования программные компоненты состоят из четко сформулированных частей программы. Программные компоненты имеют определенный интерфейс с входами и выходами и может вызываться и выполняться много раз.

Примечание - Упомянутый выше параметрический интерфейс не совпадает с интерфейсом, определенным в рамках объектно-ориентированного подхода.

Программные компоненты и методы могут поставляться разработчиком или программироваться пользователем.

Ранее объявленный программный компонент может использоваться в объявлении других программных компонентов, как показано на рисунке 3.

Рекурсивные выходы программных компонентов и методы определяются разработчиком.

Максимальное число программных компонентов, методов и экземпляров для данного ресурса определяется разработчиком.

6.6.1.2 Присваивание и выражение

6.6.1.2.1 Общие положения

Языковые конструкции присваивания и выражения используются в текстовых и (частично) графических языках.

6.6.1.2.2 Присваивание

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

Переменные одного типа всегда могут присваиваться. Дополнительно применяются следующие правила:

- переменная или константа типа STRING или WSTRING может быть присвоена другой переменной типа STRING или WSTRING, соответственно. Если исходная строка длиннее, чем целевая строка, результат определяется реализатором;

- переменная типа-диапазона может использоваться везде, где может использоваться переменная базового типа. Если значение типа-диапазона выходит за пределы указанных значений, возникает ошибка;

- переменная производного типа может использоваться везде, где может использоваться переменная ее базового типа.

Дополнительные правила для массивов могут быть определены разработчиком.

Для адаптации типа данных источника к типу данных адресата может использоваться неявное или явное преобразование типа:

a) в текстовой форме (частично применимой и к графическим языкам) оператор присваивания может быть следующим:

который означает, что значение выражения в правой стороне оператора записывается в переменную в левой стороне оператора; или

который означает, что значение в левой стороне оператора записывается в переменную в правой стороне оператора.

Оператор используется только для списка параметров вызова функций, методов, функциональных блоков и т.п. и только для передачи параметра VAR_OUTPUT назад вызывающему объекту.

Пример -

A:= B + C/2;

Func (in1:= A, out2 => x); A_struct1:= B_Struct1;

Примечание - Присваивание определенных пользователем типов данных (STUCTURE, ARRAY) рассматривается в таблице 72;

b) в графической форме:

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

Стандартная функция MOVE является одним из графических представлений присваивания.

6.6.1.2.3 Выражение

Выражение - это языковая конструкция, которая состоит из определенной конфигурации операндов (таких как литералы, переменные, вызовы функций) и операторов, (таких как +, -, *, / ) и которая производит одно значение, которое может быть многозначным.

Для адаптации типов данных операции в выражении может использоваться неявное или явное преобразование типа:

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

Пример - ... B + C / 2 * SIN(x) ...;

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

6.6.1.2.4 Константное выражение

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

6.6.1.3 Частичный доступ к переменным типа ANY_BIT

Для переменных типа данных ANY_BIT (BYTE, WORD, DWORD, LWORD), частичный доступ к биту, байту, слову и двойному слову переменной определен в таблице 17.

Для адресации части переменной используются символ и префикс размера, определенный как и для прямо представленных переменных в таблице 16 (X, B, W, D, L) используются в сочетании с целым литералом (со значением от 0 до max) для адреса внутри переменной. Литерал 0 указывает на самую младшую часть, max - на самую старшую часть. Префикс может факультативно использоваться при доступе к битам.

Пример - Частичный доступ к переменным ANY_BIT

VAR

Bo: BOOL;

By: BYTE;

Wo: WORD;

Do: DWORD;

Lo: LWORD;

END_VAR;

Bo:= By.%X0; // бит 0 переменной By

Bo:= By.7; // бит 7 переменной By; %X используется по умолчанию и может быть опущен.

Bo:= Lo.63 // бит 63 переменной Lo;

By:= Wo.%B1; // байт 1 переменной Wo;

By:= Do.%B3; // байт 3 переменной Do.

Таблица 17 - Частичный доступ к переменным типа ANY_BIT

6.6.1.4 Представление и правила вызова

6.6.1.4.1 Общие положения

Вызов используется для выполнения функции, экземпляра функционального блока или метода функционального блока или класса. Как показано на рисунке 10, вызов может быть представлен в текстовой или графической форме.

1 Там, где не заданы входные переменные стандартных функций, применяются неявные имена IN1, IN2, ... в порядке сверху вниз. Если стандартная функция имеет один вход без имени, применяется неявное имя IN.

2 Если какая-либо переменная VAR_IN_OUT какого-либо вызова в программном компоненте "неправильно отображается", возникает ошибка.

Переменная VAR_IN_OUT "отображена правильно", если:

- она графически соединена в левой части; или

- она присваивается оператором в текстовом вызове, переменной, объявленной (без квалификатора CONSTANT) в блоке VAR_IN_OUT, VAR, VAR_TEMP, VAR_OUTPUT или VAR_ EXTERNAL содержащего программного компонента или "правильно отображенной" в блоке VAR_IN_OUT другого содержащегося вызова.

3 "Правильно отображенная" (как показано в правиле выше) переменная VAR_IN_OUT вызова может

- графически соединяться в правой части; или

- присваиваться, используя оператор в текстовом операторе присваивания переменной, объявленной в блоке VAR, VAR_OUTPUT или VAR_EXTERNAL содержащего программного компонента.

Если такое соединение будет приводить к неопределенному значения переменной, соединенной таким образом, то возникает ошибка.

4 Имя экземпляра функционального блока может использоваться как вход, если оно объявлено как VAR_INPUT, или как VAR_IN_OUT.

Экземпляр может быть использован внутри вызванного объекта следующим образом:

- если он объявлен как VAR_INPUT, переменные функционального блока могут только читаться;

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

6.6.1.4.2 Текстовые языки

Свойства текстового вызова определяются в таблице 20. Текстовый вызов состоит из имени вызываемого объекта и последующего списка параметров.

В языке ST параметры разделяются запятыми, и этот перечень ограничивается слева и справа скобками.

Перечень параметров вызова предоставляет фактические значения и может присваивать их соответствующим именам формальных параметров (если они имеются):

- Формальный вызов

Перечень параметров имеет форму набора операторов присваивания фактических значений формальным параметрам (перечню формальных параметров), то есть:

a) присваивание значений входным и входным-выходным переменным, используя оператор ; и

b) присваивание значений выходным переменным, используя оператор .

Перечень формальных параметров может быть полным или неполным. Каждая переменная, которой в перечне на назначено значение, имеет начальное значение, присвоенное в объявлении вызванного объекта или неявное значение соответствующего типа данных.

Порядок параметров в перечне не имеет значения. Могут использоваться параметры управления выполнением EN и ENO.

Пример 1

A:= LIMIT(EN:= COND, IN:= B, MN:= 0, MX:= 5, ENO => TEMPL); // полный перечень параметров

A:= LIMIT(IN:= B, MX:= 5); // неполный перечень параметров

- Неформальный вызов

Перечень параметров содержит точно такое число параметров, и точно в том порядке и тех же типов данных, как задано в определении функции, исключая параметры управления выполнением EN и ENO.

Пример 2

A:= LIMIT(B, 0, 5);

Данный вызов эквивалентен полному вызову в примере 1, но без параметров EN и ENO.

6.6.1.4.3 Графические языки

В графических языках вызов функций представляется в виде графических блоков в соответствии со следующими правилами:

1 Все блоки - прямоугольные.

2 Размер и пропорции блока могут изменяться в зависимости от числа входов и другой, показываемой информации.

3 Направление обработки блока - слева направо (входные параметры в левой стороне и выходные параметры - в правой).

4 Имя или символ вызываемого объекта, как описано ниже, расположено внутри блока.

5 Предусмотрено место для входных и выходных переменных, появляющихся на левой и правой сторонах блока, соответственно.

6 Могут использоваться дополнительные входная EN и выходная ENO переменные. Если они присутствуют, то показываются в самой верхней позиции слева и справа от блока, соответственно.

7 Результат функции показывается в верхней позиции с правой стороны блока, кроме случая, когда присутствует выходной параметр ENO. В этом случае результат функции показывается в позиции, следующей за выходным параметром ENO. Так как имя вызванного объекта само используется для присваивания своего выходного значения, никаких имен выходных переменных не показывается в правой стороне блока для результата функции.

8 Соединения параметров (включая результат функции) показываются линиями передачи сигналов.

9 Отрицание логического сигнала показывается помещением светлого кружка вблизи от пересечения входной и выходной линии с блоком. В наборе символов это может быть представлено буквой верхнего регистра, как показано в таблице 20. Отрицание выполняется за пределами программного компонента.

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

Результаты и выходы (VAR_OUTPUT) могут соединяться с переменной, используемой как входная переменная к другим вызовам, или могут оставаться без соединения.

Рисунок 10 - Формальное и неформальное представление вызова (примеры), лист 1

Рисунок 10*

________________

* Текст документа соответствует оригиналу. - .

6.6.1.5 Управление выполнением (EN, ENO)

Как показано в таблице 18, дополнительная логическая входная переменная EN (Разрешить) и дополнительная логическая выходная переменная ENO (Разрешить выход) могут предоставляться разработчиком или пользователем в соответствии с объявлением.

Когда используются эти переменные, выполнение операций, определенных программным компонентом, контролируется в соответствии со следующими правилами:

1 Если значение EN равно FALSE, то программный компонент не будет выполняться. Кроме того, значение ENO будет установлено в FALSE. Разработчик подробно определяет поведение в этом случае, см. примеры ниже.

2 В противном случае, если значение EN равно TRUE, значение ENO устанавливается в TRUE, и реализация программного компонента будет выполняться. Программный компонент может устанавливать ENO в логическое значение в соответствии с результатами выполнения.

3 Если во время выполнения одного из программных компонентов возникает ошибка, выходная переменная ENO этого программного компонента устанавливается в FALSE (0) системой программированного контроллера.

4 Если выходная переменная ENO установлена FALSE (0), значения всех других выходных переменных (VAR_OUTPUT, VAR_IN_OUT и результат функции) определяются разработчиком.

5 Входная переменная EN устанавливается в фактическое значение только во время вызова программного компонента.

6 Выходная переменная ENO передается только как во время вызова программного компонента.

7 Выходная переменная ENO устанавливается только внутри программного компонента.

8 Использование параметров EN или ENO в функции REF() для получения указателя на EN или ENO является ошибкой.

В случае, когда EN равно FALSE, можно выполнять другие действия вместо нормального выполнения программного компонента. Данные действия определяются разработчиком. См. примеры ниже.

Пример 1 - Внутренняя реализация

Входная переменная EN оценивается внутри программного компонента.

Если EN равно FALSE, то ENO устанавливается в False, и программный компонент немедленно завершает выполнение или выполняет подмножество операций в зависимости от ситуации.

Все заданные входные и входные-выходные параметры оцениваются и устанавливаются в экземпляре программного компонента (за исключением функций). Проверяется достоверность входных-выходных параметров.

Пример 2 - Внешняя реализация

Входная переменная EN оценивается вне программного компонента. Если EN равно False, то только происходит установка ENO в значение False, и программный компонент не вызывается.

Входные и входные-выходные параметры не оцениваются и не устанавливаются в экземпляре программного компонента. Достоверность входных-выходных параметров не оценивается.

Входной параметр EN не устанавливается вне программного компонента отдельно от вызова.

На следующем рисунке и в примерах иллюстрируется использование программного компонента с параметрами EN и ENO и без них:

Пример 3 - Внутренняя реализация

myInst (EN:= cond, A:= v1, C:= v3, B=> v2, ENO=> X);

где тело экземпляра функционального блока myInst начинает выполнение с параметрами

ENO:= 0; RETURN; END_IF;

Пример 4 - Внешняя реализация

IF cond THEN myInst (A:= v1, C:= v3, B=> v2, ENO=> X)

ELSE X:= 0; END_IF;

В таблице 18 приведены свойства при вызове программного компонента с параметрами EN и ENO и без них.

Таблица 18 - Управление выполнением графически с использованием EN и ENO

6.6.1.6 Преобразование типов данных

Преобразование типов данных используется для настройки типов данных к использованию в выражениях, присваиваниях и назначении параметров.

Представление и интерпретация информации, хранящейся в переменной зависит от объявленного типа данных переменной. Имеется два случая, где используется преобразование типов данных.

- В присваивании значения переменной другой переменной с другим типом данных.

Это применимо к операторам присваивания и и присваивании переменным, объявленным как параметры, то входным и выходным переменным функций, функциональных блоков, методов и программ. На рисунке 11 показаны правила преобразования исходного типа данных в целевой тип данных;

Пример 1

- В выражении (см. 7.3.2 для языка ST), состоящем из операторов, таких как , и операндов, таких как литералы и переменные такого же типа данных или других типов данных.

Пример 2

… SQRT( B + (C * 1.5)); // Выражение

- Явное преобразование типа данных выполняется использованием функции преобразования.

- Неявное преобразование типа данных имеет следующие правила применения:

1) должно сохранять значение и точность типов данных;

2) может применяться для типизированных функций;

3) может применяться к присваиваниям выражений переменным;

Пример 3

myUDInt:= myUInt1 * myUInt2;

/* Умножение имеет результат типа UINT

который затем неявно преобразуется в тип UDINT при присваивании */

4) может применяться к присваиванию входного параметра;

5) может применяться к присваиванию входного параметра;

6) не применяется к присваиванию входного-выходного параметра;

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

Пример 4

myUDInt:= myUInt1 * myUDInt2;

// myUInt1 неявно конвертируется в тип данных UDINT, умножение имеет результат типа данных UDINT

8) правила для нетипизированных литералов определяются разработчиком.

Примечание - Для предотвращения неопределенностей, пользователь может использовать типизированные литералы.

Пример 5

На рисунке 11 показаны два альтернативных "явных" и "неявных" преобразования исходного типа данных к целевому типу данных.

Рисунок 11 - Правила преобразования типов данных - явные и неявные (сводка)

Обозначения:

- преобразование типа данных не требуется;

- - данным стандартом не определены явные или неявные преобразования типов данных. Реализация может поддерживать дополнительные преобразования типов данных, специфичные для разработчика;

i - неявное преобразование типов данных; однако дополнительно разрешено явное преобразование типов;

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

Примечание - Преобразование STRING в WSTRING и CHAR в WCHAR не являются неявными, во избежание конфликтов с используемыми наборами символов.

Рисунок 11, лист 2

На рисунке 12 показаны преобразования типов данных, поддерживаемые неявным преобразованием типов данных. Стрелки представляют возможные пути преобразования. Например, BOOL может быть преобразована в BYTE, BYTE может быть преобразована в WORD и т.д.

Рисунок 12 - Поддерживаемые неявные преобразования типов

В следующих примерах показываются примеры преобразования типов данных.

Пример 6 - Сравнение явных и неявных преобразований типов

1) Объявление типа

VAR

END_VAR

2) Использование в языке ST

Явное преобразование типа данных

PartsRatePerHr:= INT_TO_REAL(PartsDone) / HoursElapsed;

PartsPerShift:= REAL_TO_INT(SINT_TO_REAL(ShiftLength)*PartsRatePerHr);

b) Явное преобразование перегруженного типа

PartsRatePerHr:= TO_REAL(PartsDone) / HoursElapsed; PartsPerShift := TO_INT(TO_REAL(ShiftLength)*

PartsRatePerHr);

c) Неявное преобразование типа данных

PartsRatePerHr:= PartsDone / HoursElapsed;

PartsPerShift := TO_INT(ShiftLength * PartsRatePerHr);

3) Использование в языке FBD

a) Явное преобразование типа данных

b) Явное преобразование перегруженного типа

c) Неявное преобразование типов типизированными функциями

6.6.1.7 Перегрузка

6.6.1.7.1 Общие положения

Говорят, что элемент языка перегруженный, когда он может оперировать с элементами входных данных различных типов в пределах родового типа данных, например ANY_NUM, ANY_INT.

Следующие стандартные элементы языка, предоставляемые изготовителем, могут иметь родовую перегрузку как специальное свойство:

- стандартные функции

Это - перегруженные стандартные функции (например, ADD, MUL) и перегруженные стандартные функции преобразования (например, TO_REAL, TO_INT);

- стандартные методы

Настоящий стандарт не определяет стандартные методы в пределах стандартных классов и типов функциональных блоков. Однако они могут быть предоставлены разработчиком;

- функциональные блоки

Настоящий стандарт не определяет стандартные функциональные блоки, за исключением некоторых простых блоков, таких как счетчики.

Однако они могут быть определены другими частями МЭК 61131, и могут предоставляться разработчиком;

- стандартные классы

Настоящий стандарт не определяет стандартных классов. Однако они могут быть определены в других частях МЭК 61131, и могут предоставляться разработчиком;

- операции

Это, например, и в языке ST; ADD, MUL в языке IL.

6.6.1.7.2 Преобразование типов данных

Когда система программированного контроллера поддерживает перегруженные элементы языка, данный элемент языка применяется ко всем подходящим типам данных этого родового типа, которые поддерживаются системой.

Подходящие типы данных для каждого элемента языка определены в соответствующих таблицах свойств. Следующие примеры иллюстрируют детали:

Пример 1

Настоящий стандарт определяет для функции ADD родовой тип данных ANY_NUM для многих входных переменных одного вида и одного выходного результата.

Разработчик определяет для этого родовой тип данных ANY_NUM для связанных элементарных типов данных REAL и INT системы PLC.

Пример 2

Настоящий стандарт определяет функцию битового сдвига LEFT для родового типа данных ANY_BIT для одной входной переменной и выходного результата и родового типа данных ANY_INT для другой входной переменной.

Разработчик определяет следующие два родовых типа данных для системы PLC:

ANY_BIT представляет, например, элементарные типы данных BYTE и WORD;

ANY_INT представляет, например, элементарные типы данных INT и LINT.

Перегруженный элемент языка оперирует с определенными элементарными типами данных в соответствии со следующими правилами:

- типы данных входных переменных и результата имеют одинаковый тип, это применимо к входным переменным и результату одинакового вида.

"Одинаковый вид" означает, что параметры, операнды и результат одинаково используются при сложении и умножении.

Более сложные комбинации определяются разработчиком;

- если типы данных входных и выходных данных одинакового вида имеют разный тип, то преобразование типов в элементе языка определяется разработчиком;

- неявное преобразование типов выражения и присваивания следует за последовательностью вычисления выражения. См. примеры ниже;

- тип данных переменной для хранения результата перегруженной функции не влияет на тип данных результата функции или результата.

Примечание - Пользователь может явно задать тип результата операции, используя типизированные функции.

Пример 3

int3 := int1 + int2 (* Сложение выполняется как целочисленная операция *)

dint1:= int1 + int2; (* Сложение выполняется как целочисленная операция, когда результат преобразуется в тип DINT и присваивается переменной dint1 *)

dint1:= dint2 + int3; (* int3 преобразуется в тип DINT, сложение выполняется как сложение DINT *)

6.6.2 Функции

6.6.2.1 Общие положения

Функция - это программный компонент, который не сохраняет свое состояние, то есть входные параметры, внутренние переменные, выходные параметры и результат.

Если не оговорено иное, к функциям применяются общие свойства программных компонентов.

Выполнение функции:

- обычно предоставляет временный результат, который может быть одним элементом, многоэлементным массивом или структурой;

- возможно предоставляет выходные переменные, которые могут быть многоэлементными;

- может изменять значение входных-выходных переменных и переменных VAR_EXTERNAL.

Функция с результатом может вызываться в выражении или как оператор. Функция без результата не должна вызываться внутри выражения.

6.6.2.2 Объявление функции

Объявление функции состоит из следующих элементов, как определено в таблице 19. Данные свойства объявляются так же, как описано для функциональных блоков.

При объявления* функции применяются следующие правила, заданные в таблице 19:

________________

* Текст документа соответствует оригиналу. - .

1 Объявление начинается с ключевого слова FUNCTION, за которым следует идентификатор, указывающий имя функции.

2 Если функция предоставляет результат, то далее следует символ и тип данных значения, возвращаемого функцией. Если функция не предоставляет результата, двоеточие и тип данных опускаются.

3 Конструкции с VAR_INPUT, VAR_OUTPUT и VAR_IN_OUT, если требуются, указывающие имена и типы данных параметров функции.

4 Значения переменных, которые передаются функции через конструкцию VAR_EXTERNAL, могут изменяться из функции.

5 Значения констант, которые передаются функции через конструкцию VAR_EXTERNAL CONSTANT, не могут изменяться из функции.

6 Значения переменных, которые передаются функции через конструкцию VAR_EXTERNAL, могут изменяться из функции.

7 Массивы переменной длины могут использоваться как VAR_INPUT, VAR_OUTPUT и VAR_IN_OUT.

8 Входные-выходные и временные переменные могут инициализироваться.

9 Могут использоваться входная переменная EN и выходная переменная ENO как описано.

10 Если требуется, конструкция VAR...END_VAR, а также последовательность VAR_TEMP...END_VAR используются для определения имен и типов внутренних временных переменных.

В отличие от функциональных блоков, переменные, объявленные в секции VAR, не сохраняются.

11 Если в определении переменных стандартной функции используются родовые типы данных (например, ANY_INT), то правила использования фактических типов параметров таких функций являются частью определения функции.

12 Конструкции инициализации переменных могут использоваться для объявления начальных значений входных параметров функции, внутренних и выходных переменных.

13 Ключевое слово END_FUNCTION завершает объявление.

Таблица 19 - Объявление функции

Пример -

a) Объявление и тело функции (языки ST и FBD) - (см. Примечание)

b) Объявление и тело функции (функция без результата - с выходом Var)

Примечание - В примере a) входной переменной дано определенное неявное значение 1.0, чтобы предотвратить ошибку "деление на ноль", если вход не указан при вызове функции, например, если графический вход в функцию слева не соединен.

6.6.2.3 Вызов функции

Вызов функции может быть представлен в текстовой или графической форме.

Так как входные переменные, выходные переменные и результат функции не сохраняется, присваивание входным параметрам, доступ к выходным переменным и результату происходит мгновенно при вызове функции.

Если массив переменной длины используется как параметр, параметр должен быть соединен к статической переменной.

Функция не содержит информацию о внутреннем состоянии, то есть она не сохраняет никакие входные, внутренние (временные) и выходные элементы от одного вызова до другого:

- вызов функции с одинаковыми параметрами (VAR_INPUT и VAR_IN_OUT) и одинаковыми значениями переменных VAR_EXTERNAL всегда будет изготавливать одинаковые значения выходных переменных, входных-выходных переменных, внешних переменных и результат функции, если он имеется.

Примечание - Некоторые функции, обычно предоставляемые как системные функции от разработчика, могут производить различные значения, например, функции TIME(), RANDOM().

Таблица 20 - Вызов функции

Пример - Вызов функции

Вызов

VAR

X, Y, Z, Res1, Res2: REAL;

En1, V: BOOL;

END_VAR

Res1:= DIV(In1:= COS(X), In2:= SIN(Y), ENO => EN1);

Res2:= MUL(SIN(X), COS(Y));

Z := ADD(EN:= EN1, IN1:= Res1, IN2:= Res2, ENO => V);

a) Вызов стандартных функций с результатом и параметрами EN и ENO

Объявление

// Тело функции

END_FUNCTION

Текстовый и графический вызов

My_Function (In1:= a, Out1 => b; Out2 => c);

b) Объявление и вызов функции без результата, но с двумя выходными переменными

Текстовый и графический вызов

c:= b; // значение переменной b присвоено переменной c

c) Вызов функции с графическим представлением входных-выходных переменных

Текстовый и графический вызов

My_Function (In1:= a, Out1+Out2 => d); // не разрешен в языке ST

My_Function (In1:= a, Out1 => Tmp1, Out2 => Tmp2);

d:= Tmp1 + Tmp2;

d) Вызов функции без результата, но с выражением из выходных переменных

Примечание 2 - Данные примеры представляют различные представления одной и той же функциональности. Не требуется поддерживать какое-либо автоматическое преобразование между двумя формами представления.

6.6.2.4 Типизированные и перегруженные функции

Функция, которая нормально представляет перегруженный оператор, должна быть типизированной. Это можно сделать добавлением символа подчеркивания с последующим требуемым типом, как показано в таблице 21. Типизированная функции выполняется, используя тип данных для своих входных и выходных переменных. Может применяться неявное или явное преобразование типов.

Перегруженная функция преобразования TO_xxx или TRUNC_xxx с xxx , указывающим на типизированный элементарный выходной тип, может быть уточнена предшествующим требуемым элементарным типом входных данных и следующим символом подчеркивания.

Таблица 21 - Типизированные и перегруженные функции

Пример 1 - Типизированные и перегруженные функции

Примечание 1 - Преобразование типов в показанном выше примере не требуется.

Пример 2 - Явное и неявное преобразование типов типизированными функциями

Примечание 2 - Преобразование типов в показанном выше примере не требуется.

Явное преобразование типа данных

Неявное преобразование типа данных

Явное преобразование типа данных

Неявное преобразование типа данных

6.6.2.5 Стандартные функции

6.6.2.5.1 Общие положения

Стандартная функция, определенная в этом подпункте расширяемой, может иметь две или более входных переменных, к которым может быть применена указанная операция. Например, расширяемое сложение дает в качестве выхода сумму всех ее входов. Максимальное число входных переменных расширяемой функции определяется разработчиком. Фактическое число входных переменных в формальном вызове расширяемой функции определяется именем формальной входной переменной с самым большим индексом в последовательности имен переменной.

Пример 1 -

Оператор X:= ADD (Y1, Y2, Y3);

эквивалентен оператору X:= ADD (IN1:= Y1, IN2:= Y2, IN3:= Y3);

Пример 2 -

Оператор I:= MUX_INT (K:=3, IN0:= 1, IN2:= 2, IN4:= 3);

эквивалентен оператору I:= 0;

6.6.2.5.2 Функции преобразования типов данных

Как показано в таблице 22, функции преобразования типов *_TO_**, где - тип входной переменной IN, а - тип выходной переменной OUT, например, INT_TO_REAL. Влияние преобразований типов на точность и типы ошибок, которые могут возникать во время выполнения операций преобразования типов, определяется разработчиком.

Таблица 22 - Функция преобразования типов данных

6.6.2.5.3 Преобразование числовых типов данных

В преобразовании числовых типов данных используются следующие правила:

1 Тип данных источника расширяется до самого большого типа данных этой категории типов данных.

2 Затем результат преобразуется в самый большой тип данных категории типов данных, к которой принадлежит целевой тип данных.

3 Затем этот результат преобразуется в целевой тип данных.

Если значение исходной переменной не вмещается в целевой тип данных, то есть диапазон значений слишком мал, то значение целевой переменной определяется разработчиком.

Примечание - Реализация функции преобразования может использовать более эффективную процедуру.

Пример - X:= REAL_TO_INT (70_000.4)

1 Значение (70_000.4) типа REAL преобразуется в значение (70_000.400_000..) типа LREAL.

2 Значение (70_000.4000_000..) типа LREAL преобразуется в значение (70_000) типа LINT. Здесь значение округлено до целого.

3 Значение (70_000) типа LINT преобразуется в значение типа INT. Здесь окончательное значение определяется разработчиком, поскольку максимальное значение, которое может хранить тип INT равно 65536.

Затем результат записывается в переменную целевого типа данных. Теперь данная переменная хранит то же значение, что и исходная переменная, если целевой тип данных в состоянии хранить это значение.

При преобразовании чисел с плавающей точкой применяются нормальные правила округления, то есть округление до ближайшего целого и, если результат неоднозначен, до ближайшего четного целого.

Тип данных BOOL, используемый в качестве исходного типа данных, рассматривается как тип данных целого без знака, который может хранить значения 0 и 1.

В таблице 23 описаны функции преобразования с деталями, вытекающими из применения описанных выше правил.

Таблица 23 - Преобразование числовых типов данных