Доступ к _all_ нисходящим аннотациям узла в Rascal

Question

Я читал this question при попытке сделать что-то подобное. Ответ, данный там, не решает мою проблему.

Я хочу использовать заявление посещения, чтобы определить «массу» каждого поддерева, поэтому для каждого узла я хочу суммировать массы всех потомков. Например, шаг посещения который встречает это выражение узла со списком в нем:

\anode([\bnode()[@mass=1], \bnode()[@mass=2]], \cnode()[@mass=5]) 

должен дать это:

\anode([\bnode()[@mass=1], \bnode()[@mass=2]], \cnode()[@mass=5])[@mass=8] 

Так что я не хочу, чтобы отфильтровать не-узлы, но фактически пересекают их. Включение случая для списков в моем заявлении посещения не работает (по крайней мере, не очевидно), потому что списки не могут содержать аннотации.

Есть ли естественный способ распространения всей аннотации информации по дереву?

Answer 1

Это первое решение является точным и полезным, если число узлов с контейнерными детьми не так велико:

x = \anode([\bnode()[@mass=1], \bnode()[@mass=2]], \cnode()[@mass=5]); 

visit(x) { 
    case n:\anode(l) => n[@mass=(0 | it + e@mass | e <- l)] 
} 

(Вы, вероятно, также абстрактное выражение редуктора в локальной функции)

Второе решение было бы абстрагироваться от типа узла, в случае, если у вас есть много из них:

visit(x) { 
    case n:str _(l) => n[@mass=(0 | it + e@mass | e <- l)] 
} 

третье решение будет работать лучше в случае annotat ионы вложены еще глубже, так как в списках списков и т.д., и у вас есть много различных типов узлов:

import Node; 
int computeMass(list[value] x) { 
    mass = 0; 
    top-down-break visit(x) { 
    case node x : mass += (x@mass?) ? x@mass : 0; 
    } 
    return mass; 
} 

visit(x) { 
    case node n => n[@mass=computeMass(getChildren(n))] 
} 

Я предпочитаю очень первое решение, потому что это наиболее точные.

Обратите внимание, что мы заменяем функцию аннотаций на «параметры ключевых слов» в ближайшем будущем; с почти той же семантикой, различный синтаксис, например \cnode(mass=2) для \code()[@mass=2]. С новыми параметрами ключевого слова вы также имели бы лениво вычисленное значение по умолчанию для поля массы, например:

data N() 
    = anode(list[N] children, int mass=(0 | it + c.mass | c <- children)) 
    | cnode(int mass=0) 
    ; 

anode([cnode(mass=1),cnode(mass=2)]).mass == 3