Реализация функций eval и load в скриптовом движке с помощью Flex и Bison - PullRequest
Новая
       23

Реализация функций eval и load в скриптовом движке с помощью Flex и Bison

1 голос
/ 19 мая 2010

Ребята, я занимаюсь разработкой скриптового движка с flex и bison, а сейчас Я реализую функции eval и load для этого языка. Просто чтобы дать вам пример, синтаксис выглядит так: 

import std.*;

load( "some_script.hy" );

eval( "foo = 123;" );

println( foo );

Итак, в моем лексере я реализовал функцию: 

void hyb_parse_string( const char *str ){
    extern int yyparse(void);
    YY_BUFFER_STATE prev, next;
    /*
     * Save current buffer.
     */
    prev = YY_CURRENT_BUFFER;
    /*
     * yy_scan_string will call yy_switch_to_buffer.
     */
    next = yy_scan_string( str );
    /*
     * Do actual parsing (yyparse calls yylex).
     */
    yyparse();
    /*
     * Restore previous buffer.
     */
    yy_switch_to_buffer(prev);
}

Но, похоже, это не работает. Ну, это так, но когда строка (загружается из файла или напрямую оценено) закончено, я получаю sigsegv: 

Program received signal SIGSEGV, Segmentation fault.
0xb7f2b801 in yylex () at src/lexer.cpp:1658
1658            if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )

Как вы можете заметить, sigsegv генерируется кодом flex / bison, не мое ... какие-либо подсказки, или, по крайней мере, любой пример того, как реализовать такие функции?

PS: я успешно реализовал директиву include, но мне нужны eval и load для работы не во время синтаксического анализа, а во время выполнения (вид PHP-директив include / require).

1 Ответ

1 голос
/ 19 мая 2010

Эта ошибка может указывать на то, что YY_CURRENT_BUFFER недействительно, возможно, null. Это произойдет, если вы вызовете yypop_buffer_state для удаления последнего входного буфера. Если вы сделаете это в правиле <<EOF>> (например, имея дело с директивой include, как вы сказали, что вы реализовали), вам нужно проверить YY_CURRENT_BUFFER и, если оно пустое, вызвать yyterminate, иначе произойдет сбой как вы видите.

Редактировать

Симона, я не уверен, понимаю ли я твой комментарий. Если у вас есть правило <<EOF>>, это действие должно либо вызвать yyterminate (), либо каким-либо образом установить новый источник ввода, иначе вы получите сбой, аналогичный тому, о котором вы сообщаете. Когда вы видите сбой, это в функции hyb_parse_string (в вызове yyparse), которую вы опубликовали? Используйте команду gdb bt, чтобы увидеть трассировку стека. Какое ваше <<EOF>> действие правила?

...