diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-12-10 15:00:52 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-12-10 15:00:52 +0000 |
| commit | 0ece8f19abf4dba1d3c568aca60d2c960d75efa6 (patch) | |
| tree | 88ad121f3ece72abd43491f1a95b1f70c992c991 /src/runtime/c/pgf/reader.h | |
| parent | 8121124d722b136b116dc27afaaae174233b6731 (diff) | |
loading and unloading of languages in the C runtime and in the Python bindings
Diffstat (limited to 'src/runtime/c/pgf/reader.h')
| -rw-r--r-- | src/runtime/c/pgf/reader.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/reader.h b/src/runtime/c/pgf/reader.h index 95dfc855f..7011eea17 100644 --- a/src/runtime/c/pgf/reader.h +++ b/src/runtime/c/pgf/reader.h @@ -14,6 +14,12 @@ PgfPGF* pgf_read_pgf(PgfReader* rdr); void +pgf_concrete_load(PgfConcr* concr, GuIn* in, GuExn* err); + +void +pgf_concrete_unload(PgfConcr* concr); + +void pgf_reader_done(PgfReader* rdr, PgfPGF* pgf); #endif // READER_H_ |