ГОСТ Р ИСО 13584-20—2006
EXPRESS-спецификаиия
*)
ENTITY Dlstance_function
SUBTYPE OF(real_defined_1unction);
pt1, pt2 . point.
END_ENTITY;
C
Приложение F
(справочное)
Статический анализ выражений
F.1 Введение
В данном приложении рассматриваются выражения в контексте настоящего стандарта. Могут быть выделе
ныдве возможные точки зрения всоответствиис введеннымипонятиямиипредположениями, сделаннымив разде
ле 4: период обмена и период оценки.
В настоящем стандартерассматривается толькообмен выражениями. Толькостатические свойства выраже
ний могут быть выведены на этом этапе. На нем не моделируются ни функция оценки, ни то. как эта оценка прово
дится.
В данном приложении рассматривается анализ выражений, который может быть выполнен в период обмена,
и даются некоторые пояснения по этим процессам.
На уровне обобщенных выражений возможны вычисления значений используемых переменных и функций.
Более того, ацикличность графа, представляющего выражение, также может быть проверена.
На уровне выражений можно вычислить тип данных выражения.
F.2 Функция ls_acycllc_functlon
Напомним.что:
- ориентированный граф представляет собой набор узлов, соединенных некоторыми однонаправленными
связями:
- ориентированный граф является ациклическим, если не существует пути из узла, приводящего обратно в
этот же узел.
Какустановленов разделе 4 настоящегостандарта,структурой, лежащей в основе выражения, является ори
ентированный ациклический граф. Эта структура является обязательной для обхода выражения и обеспечивает,
что асе функции, которые выполняют обход такого графа, завершаются, когда они достигают узла, из которого нет
исходящей связи, приводящей к этому узлу.
Функция is_acyclic проверяет, соответствует ли выражение этому условию.
Заметим, что дерево является частным случаем ориентированного ациклического графа.
F.3 Функции used_variables и used_functions
Функции used_variables и used_functlons являются функциями, которые в качестве результата возвращают
все объекты, представляющие переменные или функции, встречающиеся вданном выражении.
Эти функции осуществляютобходориентированного ациклического графа, который представляет собой выра
жение,для оценки и синтеза типа данных и возвращают переменные и функции, встречающиеся в этом выражении.
F.4 Функция ls_SQL_mappable
Функция is_SQL_mappable проверяет, является ли данное выражение отображаемым на языке SOLдля баз
данных с запросами.
Эта функция осуществляет обход ориентированного ациклического графа, который представляет собой
выражение,дляоценки исинтеза типаданных и возвращает значение TRUE, если выражение является отображае
мым.
В ИСО 13584-24 эта функция была использована для обработки структур данных, связанных с таблицами и
реляционными базами данных, а также для проверки отображаемости нескольких выражений, встречающихся в
ограничениях.
F.5 Контроль типа и синтез типа
Контроль типа является процессом, который позволяет проверить корректность типа выражения.
Синтез типа является процессом, который позволяет синтезировать тип данных выражения.
В IS013584_expre3eions_9chema, определенной в настоящем стандарте, контроль типа обеспечивается
ограничениями этой схемы. Синтезтипа является результатом применения EXPRESS-функции TYPEOF кобъекту.
который является носителем типа данных.
63