Ранее уже отмечалось, что XML-документы с точки зрения Флэнга - обычные термы, формируемые с помощью предопределенного набора структур. В главке "XML-документы" термы во Флэнг-программах представлялись в стандартном XML-синтаксисе. Однако это всего лишь синтаксический "сахар", позволяющий быстро писать выразительные и компактные программы. Во многих ситуациях удобнее использовать непосредственно термальное представление XML-выражений. В соответствии с типами вершин, используемыми в XML, во Флэнге для этого имеется семь структур:

xElem/4

4-х аргументная структура, определяющая XML-элемент

xDoc/1

структура, определяющая внешнюю вершину XML-документа

xEntityRef/1

структура, определяющая сущности XML

xCDATA/1

структура, определяющая необрабатываемые данные. Это структура позволяет явно использовать в тексте ключевые символы XML, например, '<'

xComments/1

структура, определяющая вершину комментариев

xPI/3

структура для определения XML-инструкций

xNS/2

структура, задающая пространства имен

xElem/4

Основной из предопределенных структур, с помощью которых строятся XML-документы, является структура xElem/4:

  ?- xElem("hello-elem", newHash(["id"/"hello"]), 
                                        ["Hello, everybody!"], _);

      <hello-elem id="hello">Hello, everybody!</hello-elem>
      

  xElem(TagName, TableOfAttrs, Contents, Namespaces)

TagName

первый аргумент содержит имя элемента, представленное в виде строки или атома

TableOfAttrs

этот аргумент определяет атрибуты XML-элемента. Атрибуты представляются в виде хэш-таблицы. Например, чтобы породить множество атрибутов для элемента

  <ha a="1" b="ququ"/>

нужно определить хэш-таблицу:

  newHash(["a"/1, "b"/"ququ"])

Вместо хэш-таблицы в качестве второго аргумента допустима и свободная переменная, которая воспринимается Флэнгом как пустое множество атрибутов.

Contents

содержимое элемента. Должно быть списком, либо вектором XML-термов. Допускаются вложенные списки и векторы, а также их смешение. Флэнг при "разворачивании" содержимого элемента автоматически использует перечисление типа eFlat/1. Пример:

  ?- vec:=newVector(["2 ", ["3 "]]);

     true

  ?- ^vec;

    ("2 ", ["3 "])

  ?- xElem("digits", FreeVar, ["1 ", [^vec], [["4 "]]], _);

    <digits>1 2 3 4 </digits>
          

Пустой список в качестве третьего аргумента соответствует пустому XML-элементу

  ?- xElem("empty-elem", _, [], _);

    <empty-elem/>
          

Namespaces

Этот аргумент содержит информацию о пространствах имен. Свободная переменная в качестве пространства имен означает пространство имен по умолчанию. Пространству имен - очень важному механизму организации XML-документов - будет посвящена одна из следующих главок.

  ?- xElem("a", _, [xElem("b", _, [], _)], _);

    <a><b/></a>
      

  ?- makeElem(Attr, Conts) :-
             xElem("elem", newHash(["id"/Attr]), [Conts], _);

  ?- makeElem("elem1", 
                makeElem("subelem", makeElem("subsubelem", [])));

    <elem id="elem1"><elem id="subelem"><elem id="subsubelem"/>
    </elem></elem>
      

countElem(xElem(_, _, Conts, _)) :-
            1 + countConts(eFlat(Conts))
            ;
countElem(_) :- 0;

countConts(Enum) :- exhausted(Enum), 0
            ;
countConts(Enum) :-
            N = countElem(eValue(Enum)),
            N + countConts(eNext(Enum))
            ;

  ?- xdoc() :- <a b="1"><c><a b="5"/>a</c></a>;

  ?- countElem(xdoc());

    3
      

Функция countAttr(XML, AttrName), определенная ниже, подсчитывает в документе XML число элементов, содержащих атрибут с именам AttrName.

countAttr(xElem(_, A, Conts, _), AttrName) :-
            hasKey(A, AttrName),
            1 + countContents(eFlat(Conts), AttrName)
            ;
countAttr(xElem(_, A, Conts, _), AttrName) :-
            countContents(eFlat(Conts), AttrName)
            ;
countAttr(_, _) :- 0
            ;
countContents(Enum, _) :- exhausted(Enum), 0
            ;
countContents(Enum, AttrName) :-
            N = countAttr(eValue(Enum), AttrName),
            N + countContents(eNext(Enum), AttrName)
            ;

  ?- countAttr(xdoc(), "b");

    2
      

replaceElem(xElem(Old, A, Conts, NS), Old, New) :-
            xElem(New, A, 
                  replaceConts(eFlat(Conts), Old, New), NS)
            ;
replaceElem(xElem(Other, A, Conts, NS), Old, New) :-
            xElem(Other, A, 
                  replaceConts(eFlat(Conts), Old, New), NS)
            ;
replaceElem(Other, _, _) :- Other;

replaceConts(Enum, Old, New) :- exhausted(Enum), []
            ;
replaceConts(Enum, Old, New) :-
            Result = replaceElem(eValue(Enum), Old, New),
            [Result | replaceConts(eNext(Enum), Old, New)]
            ;

  ?- replaceElem(xdoc(), "a", "hrrr");

      <hrrr b="1"><c><hrrr b="5"/>a</c></hrrr>
      

xDoc/1

Следующей по важности структурой является xDoc/1. Эта структура является внешней структурой XML-документа и (информация для тех, кто работал с XML на Java) аналогична элементам класса Document в библиотеке jdom. Класс Document и структура xDoc необходимы, поскольку на самом внешнем уровне у xml-документа может быть несколько узлов. Только один из этих узлов являятся XML-элементом, остальные же могут быть xml-инструкциями, ссылками на dtd-файлы как, например, в XML-документе

  <?xml version="1.0" encoding="ISO-8859-1"?>
  <?translate russian encoding="win-1251"?>
  <a/>

    xDoc(Contents)

Подчеркнем, что xDoc/1 - всегда внешняя структура. В правильно построенном XML-терме аргумент Contents содержать элементы xDoc/1 не может, поскольку это не соответствует стандартной структуре XML-документа.

Правила использования xDoc/1 во Флэнге следующие:

1. При чтении XML-файлов с помощью функции readXML документы всегда обрамляются структурой xDoc. Это надо учитывать при доступе к элементам XML-документа, загруженного с помощью этой функции.
2. XML-термы, представленные во Флэнг-программе в стандартном XML-синтаксисе, транслируются Флэнг-системой в представление, не содержащее структуру xDoc/1. Например, тело правила

     segm() :- <a b="1"><c/></a>;
   

   при трансляции во внутреннее представление Флэнг-системы переводится в терм

     xElem("a", newHash(["b"/1]), 
                           [xElem("b", newHash([]), [], _)], _)
   

   Таким образом, при формировании этого XML-терма используется только структура xElem/4.
3. При записи XML-терма в XML-файл, например, с помощью функции writeXML, обрамлять этот терм структурой xDoc/1 не обязательно. Если xDoc явно отсутствует, то Флэнг-система добавит его автоматически.

  countElem(xDoc(Conts)) :- countConts(eFlat(Conts));

  count(xDoc(Conts)) :- countConts(eFlat(Conts));
  count(XML) :- countElem(XML);

xEntityRef/1

  <

  xEntityRef("lt")

xCDATA/1

  <![CDATA[  ...необрабатываемый текст...  ]]>

  xCDATA("...необрабатываемый текст...")

  ?- xElem(a, _, ["&"], _);

      <a>&amp;</a>

  ?- xElem(a, _, [xCDATA("&")], _);

      <a><![CDATA[&]]></a>s
      

xComments/1

  <!--   ...комментарии...   -->

  ?- xElem(a, _, [xComments("комментарии")], _);

      <a><!--комментарии--></a>
      

Processing instruction

  <?xml version="1.0" encoding="ISO-8859-1"?>

   <?translate russian encoding="ISO-8859-1"?>

  xPI("translate", newHash(["encoding"/"win-1251"]), 
                           "russian encoding='win-1251'")

xNS/2

С помощью двуместной структуры xNS/2 определяется пространство имен документа. Стандартное использование этой структуры - в качестве четвертого аргумента структуры xElem/4. Формат у xNS следующий:

  xNS('пространство имен данного элемента', 
                     'таблица доп. пространств имен')

Заметим, что если используется только пространство имен по умолчанию, то применять структуру xNS/2 не обязательно. Вместо этого в качестве четвертого аргумента xElem/4 можно подставить свободную переменную. Мы этим довольно часто пользовались выше.

Во Флэнге реализованы полноценные, и в то же время прозрачные и простые механизмы работы с пространствами имен. Подробно эти механизмы описаны в главке "Пространства имен и их поддержка во Флэнге".

???

mПримечания

Работа в интерпретаторе:

???

m Что делалось