Разница в сопоставлении с шаблоном без метки в посетителе в Rascal

Question

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

Возможно ли такое поведение? Или это плохо документировано? Или это может быть ошибка?

Первый гость:

visit(t) { 
    case IfCond: print("test"); 
} 

Второй посетитель (обратите внимание на тонкое различие: есть метка "я" после "IfCond"):

visit(t) { 
    case IfCond i: print("test"); 
} 

Код ниже,

module t::Test 

import ParseTree; 
import t::SyntaxTest; 

int countCmplFacts() { 
    Tree t = parse(#start[ClassDecl], |project://X++Analyzer/Test.xpp|); 
    int i = 0; 
    visit(t) { 
     case CmplFact: { 
      i += 1; 
     } 
    } 
    return i; 
} 

int countCmplFacts2() { 
    Tree t = parse(#start[ClassDecl], |project://X++Analyzer/Test.xpp|); 
    int i = 0; 
    visit(t) { 
     case CmplFact f: { 
      i += 1; 
     } 
    } 
    return i; 
} 

с грамматографом ниже,

module t::SyntaxTest 

layout Layout   = Whitespace* !>> Whitespace; 
lexical Whitespace  = [\ \t\n\r]; 

start syntax ClassDecl = ClassHeader LeftbrSym DclStmt RightbrSym; 
syntax ClassHeader  = Class StdId; 

syntax DclStmt   = Decl AsgClause; 
syntax Decl    = DeclType StdId; 

syntax AsgClause  = AsgSym CmplFact; 
syntax CmplFact   = IntSym; 
lexical IntSym   = [0-9]+; 

lexical Class   = ClassSym !>> [a-zA-Z0-9]; 
keyword ClassSym  = "class"; 
lexical StdId   = ([a-zA-Z][a-zA-Z0-9]*) !>> [a-zA-Z0-9]; 
lexical LeftbrSym  = "{"; 
lexical RightbrSym  = "}"; 
syntax DeclType   = IntTypeSym !>> [a-zA-Z0-9]; 
keyword IntTypeSym  = "int"; 
lexical AsgSym   = "="; 

показывает разницу в поведении случаев с меткой и без нее при применении к файлу, содержащему нижеприведенный фрагмент кода.

class A 
{ 
    int a = 0 
} 

countCmplFacts возвращает 1711, в то время как countCmplFacts2 возвращает 1 (что правильное значение в данном случае, на мой взгляд).

Answer 1

Этот код фактически соответствует любой значение:

case CmplFact: 

эквивалентно следующему:

case x: 

или

case value x: 

Видимо есть 1711 (вложенные) значения в данное дерево разбора!

Но альтернатива модель отличается:

case CmplFact f 

Это соответствует и связывает любой f, но только если он имеет тип CmplFact, в этом случае только один.