diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2015-04-06 20:34:12 +0200 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2015-04-06 20:34:12 +0200 |
commit | 1bb22babd9f978be24c203d919f3c9760df8f3d8 (patch) | |
tree | 9097dee4ab008219096dc90dc47be116001464fb /src/output.hpp | |
parent | fda24d9c220b8288c297922793f933897d8fa28c (diff) | |
download | solar-1bb22babd9f978be24c203d919f3c9760df8f3d8.tar solar-1bb22babd9f978be24c203d919f3c9760df8f3d8.zip |
output: emit include statement for header
Diffstat (limited to 'src/output.hpp')
-rw-r--r-- | src/output.hpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/output.hpp b/src/output.hpp index 439e754..913f123 100644 --- a/src/output.hpp +++ b/src/output.hpp @@ -41,6 +41,8 @@ private: const generator_t *generator; + std::string header_filename; + std::FILE *header_file; std::FILE *source_file; @@ -67,6 +69,7 @@ private: void emit_state_reduce(const item_t &item, int rule_id); void emit_state(unsigned i); void emit_states(); + void emit_header_include(); void emit_source(); public: |