diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-06-26 09:08:47 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-06-26 09:08:47 +0000 |
| commit | cf0bc127afbc01320e15ddcc789809750909a4f9 (patch) | |
| tree | 89d4b38823e99cfe20d21d50c09c4f7b90479e54 /src/runtime | |
| parent | a2af8e216fc14e59f636521417ac6ed941f58154 (diff) | |
forgot to add jit.h
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/c/pgf/jit.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/jit.h b/src/runtime/c/pgf/jit.h new file mode 100644 index 000000000..eb9d7005e --- /dev/null +++ b/src/runtime/c/pgf/jit.h @@ -0,0 +1,16 @@ +#ifndef PGF_JIT_H_ +#define PGF_JIT_H_ + +typedef struct PgfJitState PgfJitState; + +PgfJitState* +pgf_jit_init(GuPool* tmp_pool, GuPool* pool); + +void +pgf_jit_done(PgfJitState* state, PgfAbstr* abstr); + +void +pgf_jit_predicate(PgfJitState* state, + PgfCIdMap* abscats, PgfAbsCat* abscat); + +#endif |