如果您想通过lemon
第 4 个参数将一些数据传递到 的块中,则必须在.y
文件中添加以下行:
%extra_argument { const char* arg }
查看柠檬的文档(http://www.hwaci.com/sw/lemon/lemon.html):
该%extra_argument
指令
该%extra_argument
指令指示 Lemon 将第四个参数添加到Parse()
它生成的函数的参数列表中。Lemon 本身并没有对这个额外的参数做任何事情,但它确实使该参数可用于 C 代码操作例程、析构函数等。例如,如果语法文件包含:
%extra_argument { MyStruct *pAbc }
然后Parse()
生成的函数将具有类型的第 4 个参数,MyStruct*
并且所有操作例程都可以访问名为的变量,该变量pAbc
是最近一次调用中的第 4 个参数的值Parse()
。
但请注意“这是最近一次调用中第四个参数的值Parse()
”
所以,我相信你想准确地传递令牌值。在这种情况下,您必须将令牌值包装到结构中:
struct SToken
{
int value;
const char* token;
};
您的程序以这种方式修改:
解析.y:
%include
{
#include "types.h"
#include "assert.h"
}
%syntax_error { fprintf(stderr, "Syntax error\n"); }
%token_type { struct SToken* }
%type expr { int }
%left PLUS MINUS.
%left TIMES DIVIDE.
program ::= expr(A). { printf("Result = %d\n", A); }
expr(A) ::= expr(B) PLUS expr(C). {A = B + C; }
expr(A) ::= expr(B) MINUS expr(C). {A = B - C; }
expr(A) ::= expr(B) TIMES expr(C). {A = B * C; }
expr(A) ::= expr(B) DIVIDE expr(C).
{
if (C != 0)
{
A = B / C;
}
else
{
fprintf(stderr, "divide by 0");
}
}
expr(A) ::= LPAR expr(B) RPAR. { A = B; }
expr(A) ::= INTEGER(B).
{
A = B->value;
printf("Passed argument: %s\n", B->token);
}
主.c:
#include "types.h"
#include "parse.h"
#include <stdlib.h>
#include <stdio.h>
int main(int argc, char ** argv)
{
int value;
void* pParser;
const char *c;
size_t i = 0;
struct SToken v[argc];
if (2 > argc)
{
printf("Usage: %s <expression>\n", argv[0]);
return 1;
}
pParser = (void *) ParseAlloc(malloc);
for (i = 1; i < argc; ++i)
{
c = argv[i];
v[i].token = c;
switch (*c)
{
case '0': case '1': case '2': case '3': case '4':
case '5': case '6': case '7': case '8': case '9':
for (value = 0; *c && *c >= '0' && *c <= '9'; c++)
value = value * 10 + (*c - '0');
v[i].value = value;
Parse(pParser, INTEGER, &v[i]);
break;
case '+':
Parse(pParser, PLUS, NULL);
break;
case '-':
Parse(pParser, MINUS, NULL);
break;
case '*':
Parse(pParser, TIMES, NULL);
break;
case '/':
Parse(pParser, DIVIDE, NULL);
break;
case '(':
Parse(pParser, LPAR, NULL);
break;
case ')':
Parse(pParser, RPAR, NULL);
break;
default:
fprintf(stderr, "Unexpected token %s\n", c);
}
}
Parse(pParser, 0, NULL);
ParseFree(pParser, free);
return 0;
}
类型.h:
#ifndef __TYPES_H__
#define __TYPES_H__
#include <stdlib.h>
struct SToken
{
int value;
const char* token;
};
extern void *ParseAlloc(void *(*)(size_t));
extern void Parse(void *, int, struct SToken*);
void ParseFree(void *, void (*)(void*));
#endif
样本输出:
veei@sauron:~/tmp/build$ ./test.it
Usage: ./test.it <expression>
veei@sauron:~/tmp/build$ ./test.it 12
Passed argument: 12
Result = 12
veei@sauron:~/tmp/build$ ./test.it 12 + 12
Passed argument: 12
Passed argument: 12
Result = 24
veei@sauron:~/tmp/build$ ./test.it 12 - 12
Passed argument: 12
Passed argument: 12
Result = 0
veei@sauron:~/tmp/build$ ./test.it 12 "*" 12
Passed argument: 12
Passed argument: 12
Result = 144
veei@sauron:~/tmp/build$ ./test.it "(" 12 + 12 ")" "*" 2
Passed argument: 12
Passed argument: 12
Passed argument: 2
Result = 48
veei@sauron:~/tmp/build$ ./test.it "(" 12 "*" 12 ")" "+" 2
Passed argument: 12
Passed argument: 12
Passed argument: 2
Result = 146
veei@sauron:~/tmp/build$ ./test.it 12 / 12
Passed argument: 12
Passed argument: 12
Result = 1
veei@sauron:~/tmp/build$
以防万一,CMake 脚本编译此示例:
CMakeLists.txt:
cmake_minimum_required(VERSION 3.0)
project(lemon.test)
add_executable(test.it main.c parse.c)
add_custom_target(parser DEPENDS ${CMAKE_SOURCE_DIR}/parse.c)
add_custom_command(OUTPUT ${CMAKE_SOURCE_DIR}/parse.c COMMAND lemon -s ${CMAKE_SOURCE_DIR}/parse.y DEPENDS ${CMAKE_SOURCE_DIR}/parse.y)
add_dependencies(test.it parser)