Создание AST с OMetaJS, которое включает значение токена и позицию

Question

Я пытаюсь разобрать DSL с OMetaJS и создать AST, который включает в себя значение токена, а также его индекс в исходном потоке.

Я знаю, что могу использовать синтаксис Index Capture Rule (@<rule>), чтобы дать мне объект, содержащий индексы обрамления маркера, но это возможно, чтобы захватить этот , а также лексемы значения?

например для грамматики:

export ometa Test { 
    start = @<identifier>, 
    identifier = (letter | digit)+ 
} 

Синтаксический "Боб" дает:

{ fromIdx : 0, toIdx : 3 } 

Если я удалить '@' от 'идентификатор', то разбор дает "Боб" в качестве результата. То, что я бы в идеале хотел бы получить это сочетание два:

{ fromIdx : 0, toIdx : 3, value: 'Bob' } 

Я, конечно, могу взломать источник, но есть лучший способ сделать это?

Я хочу иметь как значение, так и позицию, потому что я пытаюсь создать визуальное представление DSL, которое позволяет редактировать имена идентификаторов, например. В этом случае мне нужно знать, где в исходном источнике появился идентификатор, поэтому я могу его изменить.

Answer 1

Учитывая, что вы хотите вещь и диапазон, как насчет использования оператору peek &? Это вернет токен, но не будет потреблять вход. Возможно, что-то вроде

spannedThing = (&identifier:token @identifier:span) -> combineThemSomehow(token, span) 

может делать то, что вы хотите? (Предупреждение: мой OMeta ржавый, выше не может использовать правильную грамматику.) Вы можете превратить это в параметризованное правило.

Answer 2

Я думаю, что то, о чем вы просите, очень полезно и, вероятно, заслуживает того, чтобы иметь свой собственный синтаксический сахар. Я обязательно подумаю об этом. Тем временем вы можете сделать что-то вроде этого:

ometa Test { 
    parse :r = @<apply(r):value>:node !(node.value = value) -> node, 

    identifier = (letter | digit)+, 
    start = parse("identifier") 
} 

Надеюсь, что это поможет!