布局流氓

Question

当我导入Lisra配方，

import demo::lang::Lisra::Syntax; 

这将创建语法：

layout Whitespace  = [\t-\n\r\ ]*; 
lexical IntegerLiteral = [0-9]+ !>> [0-9]; 
lexical AtomExp  = (![0-9()\t-\n\r\ ])+ !>> ![0-9()\t-\n\r\ ]; 

start syntax LispExp 
     = IntegerLiteral 
     | AtomExp 
     | "(" LispExp* ")" 
     ; 

通过start syntax -definition，布局要围绕输入时，它被解析忽略，如文件中所述：http://tutor.rascal-mpl.org/Rascal/Declarations/SyntaxDefinition/SyntaxDefinition.html

但是，当我输入：

rascal>(LispExp)` (something)` 

这给了我concrete syntax fragment错误（或ParseError当使用parse -function），相比之下：

rascal>(LispExp)`(something)` 

哪些成功地解析。我在Rascal的最新版本以及Eclipse插件版本中尝试了这一点。我在这里做错了什么？

谢谢。

Ps。 Lisra的parse - 功能：

public Lval parse(str txt) = build(parse(#LispExp, txt)); 

也失败的例子：

rascal>parse(" (something)") 
|project://rascal/src/org/rascalmpl/library/ParseTree.rsc|(10329,833,<253,0>,<279,60>): ParseError(|unknown:///|(0,1,<1,0>,<1,1>)) 
    at *** somewhere ***(|project://rascal/src/org/rascalmpl/library/ParseTree.rsc|(10329,833,<253,0>,<279,60>)) 
    at parse(|project://rascal/src/org/rascalmpl/library/demo/lang/Lisra/Parse.rsc|(163,3,<7,44>,<7,47>)) 
    at $shell$(|stdin:///|(0,13,<1,0>,<1,13>)) 

Answer 1

当你定义一个start非终端流氓定义一气呵成两个非终端：

rascal>start syntax A = "a"; 
ok 

一个非终端是A，另一个是start[A]。鉴于布局非终端的范围，说L，后者是自动（像）这条规则规定：

syntax start[A] = L before A top L after; 

如果你调用一个解析器或要解析的具体片段，您可以使用非末端：

parse(#start[A], " a ") // parse using the start non-terminal and extra layout 
parse(A, "a") // parse only an A 
(start[A]) ` a ` // concrete fragment for the start-non-terminal 
(A) `a` // concrete fragment for only an A 
[start[A]] " a " 
[A] "a"