如何内爆替代符号的嵌入式选择？

问题描述

我有这个语法定义

Syntax RuleData
= rule_data: ID+ RulePart '-\>' (Command|RulePart)+ Message? Newlines
;

这在大多数情况下不会给我带来问题，唯一的问题是我不确定如何内爆 (Command|RulePart)+，我查看了 Rascal 文档，但没有找到任何内容如何定义“联合”类型。

这就是我目前的 ADT 的样子

data RULEDATA
= rule_data(list[str] prefix,list[RULEPART] left,list[???] right,list[str] message,str)
;

？？？它可以是 RulePart（为了简单起见，它是一个 list[str]）或一个 Command（它是一个 str）。

解决方法

结果是我把整个事情复杂化了。我没有尝试使用类型联合，而是简单地向 RULEPART 中添加了一个可以容纳 COMMAND 的附加结构。我想我最初可能也对某些问题感到困惑，因为我在代码的其他部分存在错误，我将这些错误解释为是由这个问题引起的。

data RULEDATA
    = rule_data(list[str] prefix,list[RULEPART] left,list[RULEPART] right,list[str] message,str)
    ;

data RULEPART
    = part(list[RULECONTENT] contents)
    | command(str command)
    ;