Requality

h1. План улучшений requality

h2. Идентификаторы узлов

Каждому узлу дерева соответствует идентификатор. Идентификатор - это последовательность "безопасных" символов. Кроме того, для идентификаторов узлов в исходном дереве допускаются символы ''{'', ''}'' и ''$''. Подстроки вида ${name}, где name-имя атрибута контекста, называются параметрами. Идентификатор узла, содержащий параметры, называется параметризованным. При инстанцировании параметры заменяются на значение атрибутов. Таким образом идентификаторы исходного дерева преобразуются в параметры производного дерева.

h2. Укороченные ссылки на узлы дерева

Возможно использовать не полный идентификатор для указания узла в дереве, если его достаточно для однозначного определения узла дерева. Если узел, на который ссылаются, имеет идентификатор "c" и родителя "b", родителем "b" является узел "a", то на узел "с" возможно сослаться следующими образами:

* ".a.b.c" - полный идентификатор;

* "с" - идентификатор узла в описанном дереве является уникальным, что делает такой вариант допустимым;

* "a.**.c" - узел "с" в поддереве "a";

* "b.c" - узел "с", являющийся ребенком узла "b"

h2. Необязательное название узлов

Одним из обязательных атрибутов узла является его имя. Предполагается, что оно будет использоваться вместо идентификатора узла при генерации отчетов.

h2. Базовые узлы

Свойство узла являться базовым нужно указывать явно. Это нужно по следующим причинам: базовые требования не попадают в производное дерево, если на них не ссылаются; при указании ссылки на базовое требование желательно позволять указывать только базовые узлы.