diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-02-01 09:29:43 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-02-01 09:29:43 +0000 |
| commit | 5e2474e3467e51d46314745d855d64921e4e0e4c (patch) | |
| tree | b2a17d5e23fe2410eb0e0c60e3f576d06164f661 /src/runtime/c/utils | |
| parent | c99ab058ea8ceb697456f321f0c57e15b5979480 (diff) | |
This patch removes Gregoire's parse_tokens function in the python binding and adds another implementation which builds on the existing API for lexers in the C runtime. Now it is possible to write incremental Lexers in Python
Diffstat (limited to 'src/runtime/c/utils')
| -rw-r--r-- | src/runtime/c/utils/pgf-chunk.c | 2 | ||||
| -rw-r--r-- | src/runtime/c/utils/pgf-parse.c | 2 | ||||
| -rw-r--r-- | src/runtime/c/utils/pgf-translate.c | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/runtime/c/utils/pgf-chunk.c b/src/runtime/c/utils/pgf-chunk.c index fada1c0b4..5f4b8972a 100644 --- a/src/runtime/c/utils/pgf-chunk.c +++ b/src/runtime/c/utils/pgf-chunk.c @@ -98,7 +98,7 @@ int main(int argc, char* argv[]) { GuReader *rdr = gu_string_reader(gu_str_string(line, ppool), ppool); PgfLexer *lexer = - pgf_new_lexer(rdr, ppool); + pgf_new_simple_lexer(rdr, ppool); pgf_print_chunks(from_concr, cat, lexer, ppool); diff --git a/src/runtime/c/utils/pgf-parse.c b/src/runtime/c/utils/pgf-parse.c index 4e1444806..648295312 100644 --- a/src/runtime/c/utils/pgf-parse.c +++ b/src/runtime/c/utils/pgf-parse.c @@ -123,7 +123,7 @@ int main(int argc, char* argv[]) { } GuReader *rdr = gu_string_reader(gu_str_string(line, ppool), ppool); - PgfLexer *lexer = pgf_new_lexer(rdr, ppool); + PgfLexer *lexer = pgf_new_simple_lexer(rdr, ppool); GuEnum* result = pgf_parse(concr, cat, lexer, ppool); PgfExprProb* ep = NULL; diff --git a/src/runtime/c/utils/pgf-translate.c b/src/runtime/c/utils/pgf-translate.c index ea3cca5af..ac427cb0e 100644 --- a/src/runtime/c/utils/pgf-translate.c +++ b/src/runtime/c/utils/pgf-translate.c @@ -164,7 +164,7 @@ int main(int argc, char* argv[]) { GuReader *rdr = gu_string_reader(gu_str_string(line, ppool), ppool); PgfLexer *lexer = - pgf_new_lexer(rdr, ppool); + pgf_new_simple_lexer(rdr, ppool); clock_t start = clock(); |