запускается при помощи кнопки 
. Управление отображением расстановки производится при помощи кнопок 
, первая из которых включает режим отображения расстановки, вторая включает отображение сил взаимодействия объектов, а третья – отображения силовых рамок элементов.
5.4. Вычисление запроса.
Управление процессом вычисления запроса производится из графического редактора системы. Перед началом вычисления требуется установить соответствующие режимы, описанные ниже.
При помощи переключателя 
(
) устанавливаются режимы вычисления без разметки и с разметкой, соответственно. В большинстве случаев для повышения эффективности вычисления и использования
возможностей работы с системными типами данных и отношениями следует устанавливать режим вычисления с разметкой.
Переключатель 
(
) определяет, требуется ли получить все пары кортежей, принадлежащие вычисляемому отношению, или после получения одной такой пары вычисление следует завершить.
Переключатель 
(
) определяет стратегию поиска в ширину и в глубину, соответственно. Напомним, что при использовании поиска в глубину необходимо установить порядок подстановки (вычисления) элементов сетей нетерминальных сортов для каждого правила грамматики.
Для вычисления программы установите курсор на один из заранее созданных запросов и нажмите кнопку 
(F9). Остановить вычисление можно при помощи кнопки 
(Ctrl+F2), а приостановить его – кнопкой 
. В
рассматриваемой системе также предусмотрен режим пошагового
вычисления, используемый, как правило, при отладке программ. Для выполнения одного шага вычисления, нажмите кнопку 
, когда выполнение программы остановлено или приостановлено.
Во время выполнения программы для индикации статуса вычисления и
отображения полученных результатов соответствующие сообщения
выводятся в информационное текстовое окно редактора. Пример таких сообщений приведен ниже.
49
Начало вычисления...
Результат 1:
Вход 1: Succ(Null) Вход 2: Succ(Succ(Null))
Выход 1: Succ(Succ(Succ(Null)))
Вычисление завершено за 0.008 секунд (5 шагов)
5.5. Отладка программ.
Отладка программ производится путем анализа дерева подстановок в папке Отладка дерева объектов графического редактора. Для включения отображения дерева подстановок (далее просто дерева отладки) нажмите кнопку 
. Пример дерева отладки приведен на следующем рисунке:
В папках, имеющих имя “…”, помещена вспомогательная информация, позволяющая понять, каким образом была получена сеть, отображенная в родительской вершине указанной папки.
Если требуется, чтобы при добавлении каждой вершины в дерево она
автоматически «раскрывалась», установите соответствующий режим при помощи кнопки 
.
Кроме дерева отладки, в системе предусмотрен режим отображения
статистики вычисления, позволяющий отслеживать основные параметры выполнения запущенной программы. Режим отображения статистики включается при помощи кнопки 
, а окно отображения статистики выводится на экран в момент запуска программы на вычисление.
50