在ADT替代品的開頭，`\`是什麼意思？

Question

從http://tutor.rascal-mpl.org/Rascal/Libraries/lang/java/m3/TypeSymbol/Bound/Bound.html：

data Bound 
    = \super(list[TypeSymbol] bound) 
    | \extends(list[TypeSymbol] bound) 
    | \unbounded() 
    ; 

有爲什麼所有的替代品開始與\任何具體的原因是什麼？這是什麼意思？這是某種約定還是特殊的Rascal語法？

Answer 1

這是一種轉義標識符的方法。假設你想命名一個構造函數（或函數）if，這將與if語句（因此是保留的）重疊。

如果您將\放在標識符的前面，那麼您就會轉義該名稱。就像一個字符串文字中的\"。

現在，對於Java AST，選擇是爲了對齊。而不是：

| method(...) 
| \if(...) 
| variable(...) 

您在每個備選方案前添加一個\。