Оператор ветвления. Оператор ветвления состоит из трех частей, каждая из которых начинается соответствующим ключевым словом. Первая часть — условие, начинается с ключевого слова If и содержит логическое выражение. В зависимости от значения вычисленного логического выражения выполняется Then часть (истина) или Else часть (ложь). Третья (Else) часть оператора может быть опущена. Каждая из выполняемых частей состоит из ключевого слова и оператора. При необходимости выполнить несколько операторов, необходимо использовать операторные скобки Begin End.
Цикл For имеет следующий вид:
ForПеременная_цикла = Начальное_значение ToКонечное_значение [ ByШаг] Do<���Оператор>
Переменная цикла должна быть одного из целочисленных типов. В ходе выполнения оператора она пробегает значения от Начальное_значение до Конечное_значение с шагом Шаг. Если описание шага опущено, то шаг равен единице. При каждом значении переменной цикла из диапазона выполняется оператор, являющийся телом цикла. Если в теле цикла необходимо выполнить несколько операторов, то необходимо воспользоваться операторными скобками. Допускается любое число вложенных циклов. Выполнение цикла в зависимости от соотношения между значениями Начальное_значение, Конечное_значение и Шаг приведено в табл. 14.
Таблица 14. Способ выполнения цикла в зависимости от значений параметров цикла.
Конечное значение |
Шаг |
Способ выполнения |
>Начального значения |
>0 |
Цикл выполняется пока переменная цикла ≤ Конечного значения |
<���Начального значения |
>0 |
Тело цикла не выполняется |
=Начальному значению |
≠0 |
Тело цикла выполняется один раз |
>Начального значения |
<0 |
Тело цикла не выполняется |
<���Начального значения |
<0 |
Цикл выполняется пока переменная цикла ≥ Конечного значения |
Любое |
=0 |
Тело цикла не выполняется |
Цикл While. Тело цикла выполняется до тех пор, пока верно логическое выражение. Проверка истинности логического выражения производится перед выполнением тела цикла. Если тело цикла должно содержать более одного оператора, то необходимо использовать операторные скобки.
Описание распределения сигналов
Раздел описания распределения сигналов начинается с ключевого слова Connections. За ключевым словом Connections следует одна или несколько групп соответствий. Каждая группа соответствий состоит из правой и левой частей, разделенных символами «<=>«и описывает соответствие имен сигналов (параметров) различных структурных единиц. Каждая часть группы соответствий представляет собой список сигналов (параметров) или интервалов сигналов (параметров), разделенных между собой символом «;». Указанные в левой и правой частях сигналы (параметры) отождествляются. Если при указании сигнала (параметра) не указано имя подобъекта, то это сигнал (параметр) описываемого объекта. Использование интервала сигналов (параметров) в правой или левой части группы соответствий равносильно перечислению сигналов (параметров), с номерами, входящими в интервал, начиная с начального номера c шагом, указанным после символа «:». Если шаг не указан, то он полагается равным единице. Число сигналов в правой и левой частях группы соответствий должно совпадать. Если интервал пуст (например [2..1:1]), то описываемая им группа сигналов считается отсутствующей и пропускается. При использовании в описании соответствий явных циклов, во всех выражениях внутри цикла возможно использование переменной цикла. При этом подразумевается следующий порядок перечисления: Сначала изменяется номер в самом правом интервале, далее во втором справа, и т. д. В последнюю очередь изменяются значения переменных цикла явных циклов в порядке их вложенности (переменная самого внутреннего цикла меняется первой и т. д.). Рассмотрим следующий пример описания группы соответствий блока, содержащего две сети Net с 3 входами каждая. Ниже приведено две различных структуры связей по несколько эквивалентных вариантов описания.
Случай 1. Естественный порядок связей.
Вариант 1.
InSignals[1] <=> Net[1]. InSignals[1]
InSignals[2] <=> Net[1]. InSignals[2]
InSignals[3] <=> Net[1]. InSignals[3]
InSignals[4] <=> Net[2]. InSignals[1]
InSignals[5] <=> Net[2]. InSignals[2]
InSignals[6] <=> Net[2]. InSignals[3]
Читать дальше