Загрузка файла структуры. При запуске главного окна модуля автоматически проверяется наличие в каталоге, откуда был открыт содержащий апплет файл HTML, файла с именем STRUCT.DAT . Если данный файл обнаруживается в каталоге, то структура загружается из него. Если же файл с таким именем отсутствует, то на экран выдается сообщение об ошибке и работа модуля завершается.
Сразу после загрузки структура подвергается анализу на корректность. В случае обнаружения в ней некорректных связей выдается соответствующее сообщение и в окне просмотра отображается некорректная цепочка понятий.
В этом случае необходимо исправить в учебнике указанные некорректности, сформировать заново его структуру и затем уже продолжить работу по ее анализу. При успешном открытии и чтении файла в окне просмотра отобразится искомый граф понятий и модуль будет готов для работы с ним. 4.5.4. Окно просмотра структурыОкно просмотра предназначено для отображения структуры учебника. Структура отображается в виде ориентированного графа, в котором вершинами являются понятия учебника, то есть определения и теоремы, а дуги изображают связи между ними. Определения изображаются в виде прямоугольников, внутри которых находится определяемое понятие.
Теоремы изображены эллипсами, внутри которых расположено краткое название теоремы. Окно просмотра имеет две линейки прокрутки - вертикальную и горизонтальную, с помощью которых можно прокручивать изображение соответственно по обоим осям. Для выбора какого-либо понятия в окне структуры необходимо щелкнуть по нему мышкой.
При этом данный элемент будет отмечен по периметру точками. Выбор элемента используется для построения подструктур, содержащих заданный элемент или несколько заданных элементов. Выбрать сразу несколько элементов можно нажав и удерживая клавишу SHIFT и щелкая курсором мыши по требуемым элементам. Также множественный выбор можно провести, нажав кнопку мыши и, удерживая ее, обвести нужный прямоугольник и отпустить кнопку.
При этом все вершины, попавшие внутрь этого прямоугольника, будут помечены как выбранные. При двойном щелчке мышью на какой-либо вершине графа активизируется окно браузера, и в нем открывается текст выбранного определения или теоремы. Вершины графа в окне просмотра можно перемещать. Для этого необходимо навести курсор мыши на вершину, нажать кнопку мыши и, не отпуская, вести ее в нужном направлении. При этом все связи этой вершины автоматически потянутся за ней. Доведя вершину до нужного места, нужно отпустить кнопку мыши и вершина зафиксируется на новом месте. 4.5.5. Панель управленияНа панели управления расположены элементы, предназначенные для управления просмотром структуры учебника, а именно положением окна просмотра и масштабом изображения.
Эти элементы включают в себя индикатор положения окна просмотра, кнопку центрирования окна и кнопки управления масштабом. Индикатор положения окна просмотра представляет из себя квадратную область, в которой находится черная рамка.
Квадратная область обозначает все поле, на котором может располагаться изображение структуры, а рамка показывает границы видимой части, то есть той, которая отображается в данный момент в окне просмотра. Положение окна просмотра можно изменять с помощью данной рамки следующим образом наведя курсор мыши внутрь рамки, нажать на кнопку мыши и, удерживая ее в нажатом состоянии, двигать в нужном направлении. При этом в окне просмотра изображение структуры также будет сдвигаться соответственно движениям рамки.
Для фиксации положения окна необходимо отпустить кнопку мыши. Кнопка По центру, расположенная под индикатором положения окна просмотра, предназначена для возвращения области просмотра в центр изображения. При запуске модуля окно просмотра всегда находится в центре изображения. Ниже расположены три кнопки управления масштабом. Кнопка Масштаб 2 уменьшает текущий масштаб изображения вдвое, кнопка Масштаб 2 увеличивает текущий масштаб вдвое, кнопка Масштаб 1 устанавливает масштаб 1 1. Текущее значение масштаба изображения можно проконтролировать по индикатору масштаба, расположенному чуть выше кнопок и представляющего из себя надпись Масштаб и после него численное значение текущего масштаба. При запуске модуля масштаб устанавливается один к одному. 4.5.6. Настройка параметров модуляДля настройки параметров используется меню Свойства. Оно содержит следующие пункты Показывать панель управления. Представляет собой элемент меню типа переключатель.
С его помощью можно отключить или включить отображение панели управления, при этом в случае отключения панели окно просмотра структуры разворачивается на весь экран, позволяя охватить большую часть отображаемой структуры.
Данный переключатель продублирован нажатием клавиши S на клавиатуре. Отображать теоремы. Данный пункт меню также является переключателем. Он служит для переключения режима отображения графа. Если он включен, то отображается полная структура - определения и теоремы и все связи между ними. Если его отключить, то в окне просмотра будут отображены только определения и их связи.
Расстояние между узлами. Служит для установки горизонтального и вертикального промежутков между вершинами графа. При выборе данного пункта меню выводится окно диалога, изображенное на Рис. 4.3 В полях ввода Расстояние по вертикали и Расстояние по горизонтали указывается соответственно вертикальный и горизонтальный промежуток между узлами в пикселах. Чтобы применить сделанные изменения, необходимо нажать кнопку Применить, для отказа от изменений - кнопку Отмена. Шрифт. Пункт предназначен для выбора типа и размера шрифта, которым будут отображаться названия элементов структуры.
При выборе данного пункта на экране появляется диалоговое окно, изображенное на Рис. 4.4 Введя желаемые значения в поля Название шрифта и Размер шрифта, можно либо применить сделанные изменения, нажав кнопку Применить, либо отказаться от них, нажав кнопку Отмена . 4.5.7.