为什么 Symbol 的字段(左和右)总是返回 0？

Question

我正在使用CUP和JFLEX开发pascal编译器。其中一个要求是从错误中恢复并显示错误的位置。

我一直在使用CUP的syntax_error和unrecovered_syntax_error方法

这是我的解析器中的解析器代码。

parser code
{:
public static Nodo padre;
public int cont = 0;
public void syntax_error(Symbol s) {
System.out.println("Error sintáctico. No se esperaba el siguiente token: <" + s.value + ">. Línea: " + (s.left + 1) + ", Columna: " + (s.right + 1));
}
public void unrecovered_syntax_error(Symbol s) throws java.lang.Exception {
System.out.println("Error sintáctico cerca del token: <" + s.value + ">. Línea: " + (s.left + 1) + ", Columna: " + (s.right + 1));
} 
:}

这是我的 CFG 的一部分，我只关注我声明错误产生的地方

programa ::=
inicioPrograma:inicProg declaraciones_const:declConst declaraciones_tipo:declTipo declaraciones_var:declVar declaraciones_subprogramas:declSubp proposicion_compuesta:propComp DOT
;
proposicion_compuesta ::=
BEGIN proposiciones_optativas END;
proposiciones_optativas ::=
lista_proposiciones
| /* lambda */;
lista_proposiciones ::=
proposicion SEMICOLON
| proposicion SEMICOLON lista_proposiciones;
proposicion ::=
variable ASSIGNMENT expresion
{:
System.out.println("hola");
:}
| proposicion_procedimiento
| proposicion_compuesta
| IF expresion THEN proposicion
| IF expresion THEN proposicion ELSE proposicion
| WHILE expresion DO proposicion
| FOR ID ASSIGNMENT expresion TO expresion DO proposicion
| FOR ID ASSIGNMENT expresion DOWNTO expresion DO proposicion
| REPEAT proposicion UNTIL expresion
| READ LPAR ID RPAR
| WRITE LPAR CONST_STR RPAR
| WRITE LPAR CONST_STR COMMA ID RPAR
| error;

这是我的主要.java

import java.io.*;
public class Main {
static public void main(String argv[]) {    
/* Start the parser */
try {
parser p = new parser(new LexicalElements(new FileReader(argv[0])));
p.parse(); 
} catch (Exception e) {
e.printStackTrace();
}
}
}

我相信当出现新错误时，s.right 和 s.left 应该更改其值，但是当我有两个错误时，例如：

program ejemplo;
begin
a  1;
b := 2;
while x+2 
a:= 1;
end.

它应该返回

Error sintáctico. No se esperaba el siguiente token: <1>. Línea: [numberX], Columna: [numberY]
Error sintáctico. No se esperaba el siguiente token: <a>. Línea: [numberW], Columna: [numberZ]

其中 numberX 和 Number Y 可能彼此相等，numberW 和 numberZ 可能相等，但一对不能等于另一对。

然而，它让我回来了

Error sintáctico. No se esperaba el siguiente token: <1>. Línea: 1, Columna: 1
Error sintáctico. No se esperaba el siguiente token: <a>. Línea: 1, Columna: 1

如果有人帮助我了解为什么会发生这种情况和/或如何解决它，我将不胜感激。

Answer 1

我真的无法回答你的问题：为什么符号的字段(左和右(总是返回 0？由于您没有向我们展示您的扫描仪规格代码;符号在扫描仪中初始化。

但是，如果您想要使每个符号的左值和右值分别等于其行和列，则必须从扫描仪设置该信息。解析器不会跟踪符号在源代码中的位置。

如果是这样，我假设您正在使用 jflex 作为扫描仪生成器;下面是如何使用%line和%column选项返回带有线条和列的符号的示例：

import java_cup.runtime.*;
%%
%cup
//switches line counting on (the current line is accessed via yyline) 
%line
//switches column counting on (the current column is accessed via yycolumn)
%column
IntegerRegex= [0-9]+
%%
<YYINITIAL> 
"keyword" { 
return new Symbol(sym.KEYWORD, yyline, yycolumn); 
}
{IntegerRegex} { 
return new Symbol(sym.INTEGER_LITERAL, yyline, yycolumn, Integer.valueOf(yytext())); 
}
</YYINITIAL>