diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-07 15:23:36 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-07 15:23:36 -0400 |
commit | 931b5641dfffcd3779239e014406aa057e21e0f7 (patch) | |
tree | cc37b63036dc8cd88af2c8cb1ac4511d0befbf17 /src/parser/parser_builder.h | |
parent | 6a329424666b4c4a6869dd7bcf9e7cfd69a219f5 (diff) |
Allow disabling include-file feature
Diffstat (limited to 'src/parser/parser_builder.h')
-rw-r--r-- | src/parser/parser_builder.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h index 607547beb..9779bf37b 100644 --- a/src/parser/parser_builder.h +++ b/src/parser/parser_builder.h @@ -71,6 +71,9 @@ class CVC4_PUBLIC ParserBuilder { /** Should we parse in strict mode? */ bool d_strictMode; + /** Should we allow include-file commands? */ + bool d_canIncludeFile; + /** Should we memory-map a file input? */ bool d_mmap; @@ -149,6 +152,13 @@ public: */ ParserBuilder& withStrictMode(bool flag = true); + /** + * Should the include-file commands be enabled? + * + * (Default: yes) + */ + ParserBuilder& withIncludeFile(bool flag = true); + /** Set the parser to use the given stream for its input. */ ParserBuilder& withStreamInput(std::istream& input); |