主页 / coding / 问题 / 79343282
Accepted
hdz1412
Asked: 2025-01-09 23:56:54 +0800 CST

如何在 ANTLR 语法中将返回语句限制为函数声明？

  • 772

问题：我正在使用 ANTLR 开发自定义解析器来定义一种小型编程语言。其中一个要求是返回语句只能出现在函数主体内。如果返回语句出现在函数外部，解析器应该抛出错误。

以下是我正在使用的简化语法（在 ANTLR 中）：

grammar Grammar;

options {
    language=Python3;
}

// Parser Rules
program: (var_decl | fun_decl)*;

fun_decl: type_spec ID '(' param_decl* (';' param_decl)* ')' body; // Function declarations
param_decl: type_spec ID (',' ID)* ; // Parameters for functions
type_spec: 'int' | 'float' ; // Valid types

body: '{' stmt* '}'; 
expr: 'expr';

stmt: assignment | call | r_return | var_decl;
var_decl: param_decl ';'; // Variable declarations
assignment: ID '=' expr ';';
call: ID '(' expr* (',' expr)* ')' ';';
r_return: 'return' expr ';';

// Lexer Rules
WS: [ \t\r\n] -> skip ; // Skip whitespace
ID: [a-zA-Z]+ ; // Identifiers (variable and function names)
ERROR_CHAR: . {raise ErrorToken(self.text)} ; // Error handling

问题是，此语法允许返回语句 (r_return) 出现在允许 stmt 的任何地方，包括全局范围内。例如：

int x;
return x; // This should throw an error.

但在函数内部，它应该可以工作：

int myFunction() {
    return 42; // Valid
}

我想了想，但没有找到解决办法。请帮帮我。

parsing

2 个回答

  1. Best Answer

    将 EOF 添加到解析器规则的末尾program...

    program: (var_decl | fun_decl)* EOF;

    ...导致解析器在您的第一个测试用例中指示错误。

    与您的问题没有直接关系，我建议定义词法分析器规则，例如......

    OPEN_PAREN: '(';
CLOSE_PAREN: ')';
SEMICOLON: ';';
COMMA: ',';
OPEN_CURLY: '{';
CLOSE_CURLY: '}';
EQ: '=';
INT: 'int';
FLOAT: 'float';
RETURN: 'return';

    ...在解析器规则中使用而不是字符文字。

    • 0

  2. 仅允许 a在 a 内部作为最后一条语句r_return出现并将其从 中删除：r_bodystmt

    r_body
 : '{' stmt* r_return? '}'
 ;

stmt
 : assignment
 | call
 //| r_return <-- removed
 | var_decl
 ;

r_return
 : 'return' expr ';'
 ;
    • 0

相关问题