В статье описана реализация геометрического языка спецификаций DROL, пред¬назначенная для описания геометрических построений и записи алгоритмов решения геометрических задач на плоскости. Предлагается также использовать этот язык для создания банков типовых рисунков для учебных курсов, презентаций и публикаций. Препроцессор DROL2TеX преобразует программу на языке DROL в набор команд гра¬фического пакета TikZ, результатом выполнения которых служит получение запро¬граммированного изображения. Расширение графических возможностей системы LATEX демонстрируется на примерах. C. 45-56.
The paper introduces an implementation of the geometrical specification language DROL originally designed to describe geometric structures and to write algorithms solving geometric problems on a plane. DROL can be also used to create banks of standard figures for courses, presentations and publications. The preprocessor DROL2TeX transforms DROL program into a set of commands of the graphics package TikZ. The result is the desired figure. We use examples to demonstrate extensions to the graphical capabilities of LATEX.
Ключевые слова: геометрический язык спецификаций, язык DROL, LATEX, ООП, графические пакеты
Keywords: geometrical specification language, language DROL, OOP, LATEX, graphic packages.