Allow disabling include-file feature

1 files changed, 10 insertions, 0 deletions

diff --git a/src/parser/parser.h b/src/parser/parser.h
index 4f943a0b5..b4e79b427 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -158,6 +158,12 @@ class CVC4_PUBLIC Parser {
   /** Are we only parsing? */
   bool d_parseOnly;
 
+  /**
+   * Can we include files?  (Set to false for security purposes in
+   * e.g. the online version.)
+   */
+  bool d_canIncludeFile;
+
   /** The set of operators available in the current logic. */
   std::set<Kind> d_logicOperators;
 
@@ -252,6 +258,10 @@ public:
 
   bool strictModeEnabled() { return d_strictMode; }
 
+  bool allowIncludeFile() { d_canIncludeFile = true; }
+  bool disallowIncludeFile() { d_canIncludeFile = false; }
+  bool canIncludeFile() const { return d_canIncludeFile; }
+
   /**
    * Returns a variable, given a name.
    *