如何构造一个“X？”具体的语法值？

Question

我有这个具体的语法：

syntax SomeMore = [...] SyncBlock? sync;
syntax SyncBlock = "sync" "{" SyncStatement* stats "}";
syntax SyncStatement = [...];

[SyncBlock]"sync { <syncStrings> }" 似乎可以工作，但是当我尝试将其用作SyncBlock? 并分配它时：

SyncBlock? sync = [SyncBlock?]"sync { <syncStrings> }"

它不起作用：inline parsing not supported on SyncBlock?，建立这个X?-type 的值的最简单方法是什么？

我可以将SyncBlock 转换为SyncBlock? 吗？

这样的事情也行不通： syncBlock = (SyncBlock?)`sync { <SyncStatement* syncs>}`;

附： SyncBlock? syncBlock = … 导致 Ambiguous code (internal error), SyncBlock? syncBlock = …。可能是由于三元运算符的歧义？

Answer 1

我找到了一种解决方法，虽然并不理想，但它确实有效。 类型中的 ? 似乎引入了一些困难，但可以使用此类型的“别名”来规避：

我把语法改成：

syntax SomeMore = [...] MaybeSyncBlock sync;
syntax MaybeSyncBlock = SyncBlock?;
syntax SyncBlock = "sync" "{" SyncStatement* stats "}";
syntax SyncStatement = [...];

现在可以了：

MaybeSyncBlock syncBlock = [MaybeSyncBlock]"sync { <syncStrings> }";