diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-05-07 08:30:32 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-05-07 08:30:32 +0000 |
| commit | 687b326ed0ec67bd597c8e639e1f1e468622d26f (patch) | |
| tree | a3736023793f9aaec70bfb0748c89acc3ab0e2ef /src/runtime/c/pgf/parser.h | |
| parent | 7ba27229b314057104aeab8f46a7247fbb20352e (diff) | |
bug fix in the management of memory pools in the statistical parser
Diffstat (limited to 'src/runtime/c/pgf/parser.h')
| -rw-r--r-- | src/runtime/c/pgf/parser.h | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/runtime/c/pgf/parser.h b/src/runtime/c/pgf/parser.h index 9fae0a565..8c4ba77e9 100644 --- a/src/runtime/c/pgf/parser.h +++ b/src/runtime/c/pgf/parser.h @@ -34,7 +34,7 @@ typedef struct PgfParseState PgfParseState; /// Begin parsing PgfParseState* pgf_parser_init_state(PgfConcr* concr, PgfCId cat, size_t lin_idx, - GuPool* pool); + GuPool* pool, GuPool* out_pool); /**< * @param parser The parser to use * @@ -67,8 +67,7 @@ pgf_parser_next_state(PgfParseState* prev, PgfToken tok); */ GuEnum* -pgf_parser_completions(PgfParseState* prev, GuString prefix, - GuPool* pool); +pgf_parser_completions(PgfParseState* prev, GuString prefix); void pgf_parser_set_beam_size(PgfParseState* state, double beam_size); @@ -90,7 +89,7 @@ pgf_parser_add_literal(PgfConcr *concr, PgfCId cat, /// Retrieve the current parses from the parse state. PgfExprEnum* -pgf_parse_result(PgfParseState* state, GuPool* pool); +pgf_parse_result(PgfParseState* state); /**< * @param parse A parse state * |