В.Н. Пильщиков - Язык Плэнер, страница 13

Как и в языке лисп, в планере допускается, чтобы программа и данные для кее находились в одном и том же файле. Например, при работе с планер-системой в пакетном режиме программа к данные обычно образуют единый набор выражений, расположенный иа перфокартах **). В таких случаях транслятор языка и функции ввода считывают эти выражения вперемежку. Если, к примеру, при работе в пакетном режиме (когла активный файл ввода есть САКПЯ) па перфокартах были записаны выражения [СЯЕТ Р! [КЕАЩ,] ЗЛ4!59 :Р! *) Точнее, если в файле есть хотя бы один символ, отличный. от пробела. Эта оговорка необходима для случая, когда (по ошибке) оставшийся в файле текст пе образует правильпого плэнерского выражения. ") В диалоговом режиме программа и даипые, как правило„ находятся з разных файлах. 64 -го считывание их происходит так.

Первое выражение всегда рас<матривается как часть программы, поэтому его считывает и вычисляет транслятор, При вычислении этого выражения происходит обращение к фушщии ввода. Поскольку опа настроена на чтение с перфокарт, она вводит первое из еще не очи»ннных выра.жение, т. е. число 314159, которое и объявляет своим значением. .Закончив вычисление первого выражения и .напечатав его значе.ние, транслятор считывает новое выражение — то, которое сейчас первое на входе.

В нашем примере им является выражение:Р!, его-то транслятор сгитыэает и вычисляет. $Л6. Специальные функции В этом параграфе рассматривается несколько встроенных функций, полезных при составлении сложных программ. Иногда требуется прекратить вычисление некоторой функции, ве дожидаясь обычного окончания ее работы.

Например, довольно часто приходится выходить из «середипы» блочной функции РВОВ, , для чего, как яавестио„применяется функция ВЕТВЕЙ. Однако с ее помощью нельзя досрочно прекратить вычисление других «Руккций, поэтому в язык встроена более общая функция ЕХ1Т, которая позволяет завершить вычисление любой объемлющей функции. Функция ЕХГГ: [ЕХ1Т е ги п?), ЯПВВ.

Если третий аргумент не задан, функция ЕХ1Т полностью зазертпает вычисление ближайшей объемлющей функции с именем г"У (это значение аргумента 1в) и объявляет ее значением выражение Е. Если нужно осуществить выход не иа ближайшей функции зги, а пз второй, третьей или какой-то иной по счету объемлющей функции г)«', то при обрагцении к ЕХ1Т следует задать третий аргумент, аиачением которого может быть любое неотрицательное целое число Х В таком случае произойдет выход из (У+ 1)-й по счету, считая от ЕХ1Т, объемлющей функции с именем »1«', т. е. вкачала будет «аакрыто» М ближайших фуикцин Р)У, а затем бу.дет выполнено (ЕХ1Т Е гг«).

Если среди функций, объемлющих ЕХ1Т, нет нужной по-счету функции г"У или если значением аргумента гв не является идентификатор (как это имеет место, например, при обращении 1ЕХ1Т () ()]), тогда выход осуществляется на верхний уровень программы. Тем самым полностью вавершается вычисление того выражения верхнего уровня программы, в котором было данное обращение к функции ЕХ1Т, и его значением объявляется значение первого аргумента функции ЕХ1Т.

Рассмотрим для примера определение функции МХ2, катерам проверяет, есть ли среди элементов первого (верхнего) или второго уровней списка Е хотя бы одно число: [ВЕР1ХЕ МХ2 (1АМВВА (1) [МООР Е1 .1 [СОХО ([ХСМ .Е1] [ЕХ1Т Т 100Р]) ([ОК [АТОМ1С .Е1] [ЕМРТ«' .Е(]] ()) ([ЕООР Е2 .Е1 [СОХО ([ХОМ .Е2] [ЕХ)Т Т МООР 1])Ц)]])] В этой функции организован цикл по элементам верхнего. уровня списка 1.. Если среди них встретится число, то цикл сразу же прекращается: с помощью функции ЕХ1Т осуществляется выход со значением Т иа ближайшей функции МООР, т. е.

из тела функции МХ2. Подсписки списка Е анализируются с помощью внутреннего цикла. Если среди элементов этих под«писков встречается число, тогда вычисляется [ЕХ1Т Т ЖОР 1], т. е. прекращается работа сразу двух функций МООР, внутренней и внешней. В этом примере с помощью функции ЕХ1Т осуществляетсл выход нз функций, которые объемлют ее статически (текстуально). Но с помощью функции ЕХ1Т можно прекращать вычисление н тех процедур, которые объемлют ее динамически.

Имена таких процедур, как правило, заранее неизвестны, однако узнать их можно с помощью следующей встроенной функции. Функция ТКАСК: [ТКАСК]. Значением этой функции является «след» программы — список имен всех объемлющих процедур. В нем первым злементом указывается название процедуры, которая вызвала функцию ТКАСК, вторым элементом — название процедуры, вызвавшей агу процедуру, и т. д, Последний элемент списка — имя самой внешней объемлющей процедуры. Например, если функции Р и 6 определены следующим образом: [ОЕР1ХЕ Р (1АМВОА () [РК1ХТ [ТКАСК]])] [ПЕР)ХЕ 6 (1АМВВА (') [Р])] то прн вычислении [6] на печать будет выдан список (РК1ХТ Р 6), а нри вычислении [РКОО () [Р]] — список (РК1ХГ Р РК06). Следующей мы рассмотрим функцию, с помощью ноторой можно «ловить» ошибки в программе, соответствующим образом реагировать на ннх и затем продолжать вычисление программы.

Такая воаможнссть полезна, когда нежелательна стандартная реакция на ошибки — прекращение счета программы. Функция САТСН: [САТСН «~ е»], РЯ()ВВ. Данная функция вычисляет простую форму «1 и, если это вычисление безошибочно, аакавчивает свою работу со аначением атой формы, Но если при вычислении «, была обнаружена ошибка, тогда данное вычисление прекращаетсн и управление возвращается функции САТСН, которая в этом случае вычисляет «реакцию на ошибки» вЂ” простую форму «», а аатем с ее значением заканчивает свою работу.

(Отметим, что ошибки при вычислении «, данная функция САТСН уже не «ловит», их может «поймать» только объемлющая функция САТСН, если, конечно, такая есть.) Например, следующая функция: [ПЕГВЧЕ ВЕЯТ( (ЕАМВПА (Н Ь) [САТСН [ВЕЯТ «4 Л] ()])] действует аналогично встроенной функции ВЕЕТ, однако в тоы случае, когда число )«) по абсолютной величине превосходит длину списка Ь, она выдает в качестве своего аначения пустой список ( ), тогда как ВЕЯТ сигналиаирует об ошибке. Часта, для того чтобы правильно прореагировать иа ошибку, необходимо иметь информацию об ошибне. Такие сведения цоаволяет получить Функция ЕВВ1ВР«[ЕВВ1НР]. Значением этой функции является список вида (НОМОШ ПЛВЫР ИМЯ), где НОМОШ вЂ” номер последней ошибки в программе (каждому воаможному тдпу ошибок поставлен в соответствие некоторый номер), ПЛВЫР— «плохое» выражение, иа-эа которого возникла ошибка, а ИМЯ вЂ” наавание той процедуры, при выполнении которой проявилась ошибка.

Например, если ошибке «аргумент — не идентификатор» поставлен в соответствие номер 4, то при вычислении выражения [САТСН [ПО [ЯЕТ Х (А)] [АПП(,Х]] [00 [РВ1ЕТ [ЕВВ1(«(Р]] [00 М]]] будет напечатан описок (4 (А) АПП1) и будет осуществлен пе- реход по метке М. »Л7. Списки свойств Довольно часто с идентификаторами приходится связывать некоторую информацию, которая. характеривует объекты, обоэначенные этими идентификаторами.

Например, в программах, обрабатывающих тексты на естественном языке, приходится с каждым идентификатором, обозначающим слово естественного языка, свя- 64 вывать синтаксические и семантические характеристики этого слова, например: грамматический класс слова, род, одушевленность, родовое понятие и т. п. Такие характеристики обычно эадаются в виде пар «название характеристики — значение характеристикик Например, для слова «столе они могут быть такими« грамматический класс — существительное, род — мужской, одушевленность †п, родовое понятие †мебе и т, д. Организовать хранение такой информации и реалиэовать соответствующие операции можно с помощью уже рассмотренных нами средств яэыка.

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

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

Поэтому в пленер встроен аппарат так наэываемых окисков свойств, который повьппает эффективность хранения и доступа к подобной информации. В пленерских программах разрешаетсн связывать с каждым чдентлфикатором сиисок свойств, который представляет собой совокупность с«обста Каждое свойство — это пара: название (индикатор) свойства 'и «качение свойства. Наэвакиями свойств могут быть только идентификаторы, а вначениями — любые выражения.

Например, навванкями могут быть идентификаторы ЦВЕТ, ВЕС, КООРДИНАТЫ, а вначепиями — выражения БЕЛЫЙ, 50, (2 6 1). В каждый момент с любым идентификатором программы свяэано только конечное число свойств, однако можно считать, что у идентификатора есть свойства с любыми нааваниями.

Дело в том, что в языке принято следующее соглашение: отсутствие свойства эквивалентно наличию этого свойства со вначением Г ). В частности, для уничтожения свойские достаточно дать ему значение (.). Для работы со списками свойств и языке имеется ряд встроенных функций. При их описании, а также в дальнейшем наложении мы будем пользоваться следующими обоаначе~иями: через «вб будем обозначать простую форму, виачеиием которой должен 5 В, Н, Пильжююв быть идентификатор (обозначаемый 1)УР), играющий роль названия свойства, а через и — простую форму с любым значением, обоаначаемым У и иопользуемым в качестве значения свойства, Для задания начального списка свойств идентификатора или полной аамены его прежнего списка овойств на новый используется Функция Р1 |ЯТ: (Р1,1ЯТ 1 1], ЯПБВ.

Значением второго аргумента этой функции должен быть список вида (1ПР~ У~ РУРг Уз ... РУРь Уь), Ь ) О, где 1)УР~ — кДентифнкаторы, а У» — любые выражения. Функция РЫЯТ уничтожает прежний список свойств идентификатора 1, являющегося значением первого аргумента, и связывает с~идентификатором й новых свойств с названиями ИР, и вначениями Уь Значение функции равно значению ее второго аргумента. Например, после вычисления (Р1.1ЯТ НЕ А П ( ) ) у идентификатора НЕАР не останется ни одного свойства, а после вычисления '1РЫЯТ АТОМ (РОД ФУНКЦИЯ КЛАСС ЯПБВ ЧИСЛОАРГ 1 ТИПАРГ (ЛЮБОЕ ВЫРАЖЕНИЕ))) с идентификатором АТОМ будет связано четыре свойства: одно— с названием РОД и значением ФУНКЦИЯ, другое — с навванием КЛАСС и виачением ЯПВВ, третье — с названием ЧИСЛОАРГ н значением 1, четвертое — с названием ТИПАРГ л значением (ЛЮБОЕ ВЫРАЖЕНИЕ).