Аннотирование дерева ADT/Node с «родительскими» метками в Rascal

Question

Я хочу создать дерево (используя Node или ADT), в котором каждый узел имеет аннотацию, указывающую обратно на родителя. Ниже приведен пример с простой связанной структуры данных списка:

import util::Math; 
import IO; 
import Node; 

anno LinkedList LinkedList@parent; 
anno int LinkedList@something; 

data LinkedList = item(int val, LinkedList next) 
       | last(int val) 
       ; 

public LinkedList linkedList = item(5, 
            item(4, 
             item(3, 
              item(2, 
               last(1)[@something=99] 
              )[@something=99] 
             )[@something=99] 
            )[@something=99] 
           )[@something=99]; 

public LinkedList addParentAnnotations(LinkedList n) { 
    return top-down visit (n) { 
     case LinkedList x: { 
      /* go through all children whose type is LinkedList */ 
      for (LinkedList cx <- getChildren(x), LinkedList ll := cx) { 
       /* setting the annotation like this doesn't seem to work */ 
       cx@parent = x; 
       // DOESN'T WORK EITHER: setAnnotation(cx, getAnnotations(cx) + ("parent": x)); 
      } 
     } 
    } 
} 

Выполнение addParentAnnotations(linkedList) дает следующий результат:

rascal>addParentAnnotations(linkedList); 
LinkedList: item(
    5, 
    item(
    4, 
    item(
     3, 
     item(
     2, 
     last(1)[ 
      @something=99 
     ])[ 
     @something=99 
     ])[ 
     @something=99 
    ])[ 
    @something=99 
    ])[ 
    @something=99 
] 

Answer 1

Дело в том, что данные Rascal неизменна, так что вы ничего не можете обновить используя назначение. Назначение просто даст вам новую привязку для cx с набором аннотаций, но не изменит исходное дерево.

Чтобы изменить исходное дерево, вы можете использовать либо => оператор для случая заявления, или insert заявление следующим образом:

case LinkedList x => x[@parent=...] // replace x by a new x that is annotated 

или:

case LinkedList x : { 
    ... 
    x@parent= ...; 
    insert x; // replace original x by new x in tree 
} 

Некоторые другие наконечник, в Traversal.rsc вы можете найти функцию под названием getTraversalContext(), которая выдает список родителей текущего посещенного узла, если вызвана из тела корпуса:

import Traversal; 

visit (...) { 
    case somePattern: { 
     parents = getTraversalContext(); 
     parent = parents[1]; 
    } 
}