解析 – Scheme – LALR解析器生成 – 从字符串输入

2024年1月24日 208次阅读

我们正试图生成(在guile中)一个解析器和一个从字符串而不是stdin读取字符的词法分析器.

我们开始修改代码中包含的计算器示例
http://code.google.com/p/lalr-scm/source/browse/trunk/calc.scm?r=52

问题似乎在以下几行：

(let* ((location (make-source-location "*stdin*" 
(port-line (current-input-port)) 
(port-column (current-input-port)) -1 -1))

我们尝试定义一个新的输入端口：

(let* ((location (make-source-location "*stdin*" 
(port-line (open-input-string program)) 
(port-column (open-input-string program)) -1 -1))

和变量程序是这样定义的：

(define program
"int x = 2;
 int y = 0;
 y= x*(2+3);"
 )

但它不起作用,它仍然等待标准输入字符.

文档缺乏细节,所以我们无法弄清楚如何解决这个问题.

谢谢

最佳答案 你非常非常接近解决方案！好吧,有点.但这是一个开始.查看原始代码,修改它的位置：

(let* ((location (make-source-location "*stdin*" (port-line (current-input-port)) (port-column (current-input-port)) -1 -1))
       (c (read-char)))
  ...)

在这里,您将所有(当前输入端口)更改为字符串端口(BTW,不要多次调用open-input-string,因为每次都创建一个新的字符串端口,每个端口都有独立的游标),但是它不是唯一真正使用的地方(当前输入端口).

你看到了吗？它实际上是在(read-char)调用中！该函数实际上采用端口参数,默认为(current-input-port).

事实上,如果你看上面并搜索(read-char)和(peek-char)的实例,你会注意到(current-input-port)的使用已经完全融入了整个make-lexer函数.所以你需要改变它.

我建议您指定make-lexer函数的输入端口：

(define* (make-lexer errorp #:optional (input (current-input-port)))
  ...

然后更改(read-char)和(peek-char)的所有实例以使用输入端口.另外,请不要忘记更改您的make-source-location电话：

(let* ((location (make-source-location "*stdin*" (port-line input) (port-column input) -1 -1))
       (c (read-char input)))
  ...)

现在,您可以使用(make-lexer errorp(open-input-string program))它应该可以工作. (我还没有测试过.)

点赞