Программа Flex / Bison Markdown для HTML - PullRequest
Новая
       15

Программа Flex / Bison Markdown для HTML

0 голосов
/ 04 ноября 2019

Это для домашнего задания. Единственный код, который я редактировал сам - это определения, правила и токены. То, что я до сих пор успешно компилирует, но вызывает ошибку сегментации, когда я пытаюсь запустить его в файле уценки (.md), и вывод HTML - просто пустой файл из-за этого. 

%{
#define YYSTYPE char *
#include <string.h>
#include "miniMD2html.tab.h"
extern YYSTYPE yylval;
%}
%option yylineno

/* Flex definitions */
whitespace [ \t]+
newline [\n]+|{whitespace}[\n]+
textword [a-zA-Z:/.\-,\']+
integer [0-9]+
header #|##|###|####|#####

%%
{header} { return T_HEADER; }
{integer} { return T_INTEGER; }
{textword} { return T_TEXTWORD; }
{whitespace} { return T_BLANK; }
{newline} { return T_NEWLINE; }
%%

Функции генерации приведены в другом файле. Большинство из них просто принимают char *, функция generate_header принимает int и char *, а функция generate_image принимает два char * и два int. Грамматика может выглядеть странно, но это то, что было дано в задании. 

%{
#include "global.h"
#include "stdlib.h"
#include "stdio.h"
#define YYSTYPE char *
extern int yylex();
int yywrap();
int yyerror(const char*);
int yyparse();
extern FILE *yyin;
Html_Doc *html_doc;
%}

/* Define tokens here */
%token T_BLANK T_NEWLINE
%token T_HEADER T_INTEGER T_TEXTWORD

%% /* Grammar rules and actions follow */
s: mddoc;
mddoc: /*empty*/ | mddoc paragraph;
paragraph: T_NEWLINE {add_linebreak(html_doc);} 
        | pcontent T_NEWLINE {add_element(html_doc, $1); free($1);} ;
pcontent: header
        | rftext {generate_paragraph($1);}
header: T_HEADER T_BLANK rftext {generate_header(strlen($1), $3);}
rftext: rftext T_BLANK rftextword {strappend($1, $3);}
        | rftext rftextword {strappend($1, $2);}
        | rftextword
rftextword: textnum | image | format
image: "![" text "](" text '=' T_INTEGER '@' T_INTEGER ')' {generate_image($2, $4, atoi($6), atoi($8));}
format: "**" text "**" {generate_bold($2);}
        | '_' text '_' {generate_italic($2);}
        | "**" format "**" {generate_bold($2);}
        | '_' format '_' {generate_italic($2);}
text: text T_BLANK textnum {strappend($1, $3);}
        | text textnum {strappend($1, $2);}
        | textnum
textnum: T_TEXTWORD | T_INTEGER
%%

int main(int argc, char *argv[]) {
    // yydebug = 1;

    FILE *fconfig = fopen(argv[1], "r");
    // make sure it is valid
    if (!fconfig) {
        printf("Error reading file!\n");
        return -1;
    }
    html_doc = new_html_doc();
    // set lex to read from file
    yyin = fconfig;
    int ret = yyparse();
    output_result(html_doc);
    del_html_doc(html_doc);
    return ret;
}

int yywrap(){
    return 1;
}

int yyerror(const char* s){
    extern int yylineno;
    extern char *yytext;
    printf("error while parsing line %d: %s at '%s', ASCII code: %d\n", yylineno, s, yytext, (int)(*yytext));
    return 1;
}

Ответы [ 2 ]

1 голос
/ 04 ноября 2019

Ни одно из ваших правил flex никогда не устанавливает значение yylval, поэтому оно будет иметь значение NULL. Так же как и все ссылки на семантические значения ($n) в вашей грамматике. Поскольку большинство функций, принимающих char*, предполагают, что это допустимая строка, весьма вероятно, что одна из них вскоре попытается проверить строковое значение, и тот факт, что указатель равен NULL, безусловно, приведет к ошибке.

Кроме того, в вашей грамматике есть как односимвольные, так и заключенные в кавычки строковые токены, ни один из которых не может быть создан вашим сканером. Поэтому вполне вероятно, что синтаксический анализатор остановится с синтаксической ошибкой, как только один из несловарных символов встретится во входных данных.

0 голосов
/ 06 ноября 2019

В файле зубров каждый токен должен быть разделен ;

s: mddoc;
mddoc: /*empty*/ | mddoc paragraph;
paragraph: ...

Обратите внимание на

;

после абзаца mmdoc.

Это правильно, но следующие токены не разделены должным образом.

Также, как сказано @Rockcat, в файле flex вы должны добавить 

yylval = strdup(yytext);

перед возвратом токена в файл зубров.

...