如何解决如何内爆替代符号的嵌入式选择?
我有这个语法定义
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)
;
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。