diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-03-16 10:56:01 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-16 10:56:01 -0700 |
commit | d6890791897ddebf1212d3e3147bf7aeb2415b27 (patch) | |
tree | 51c69ba48a7550b6a7660e2488b4b39cbedba539 /src/parser/input.h | |
parent | 0d3ea6f2dcaf80d386c7765ee8a708c18e3ed574 (diff) |
cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)
The build system (cmake) will automatically generate an export header
cvc4_export.h, which makes sure that the correct export features are
defined depending on the compiler and target platform. The macro CVC4_EXPORT
replaces CVC4_PUBLIC and its usage is reduced by 2/3.
Co-authored-by: Gereon Kremer <nafur42@gmail.com>
Diffstat (limited to 'src/parser/input.h')
-rw-r--r-- | src/parser/input.h | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/src/parser/input.h b/src/parser/input.h index 10c53156e..f6be43028 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -19,12 +19,14 @@ #ifndef CVC4__PARSER__INPUT_H #define CVC4__PARSER__INPUT_H -#include <iostream> #include <stdio.h> + +#include <iostream> #include <string> #include <vector> #include "api/cvc4cpp.h" +#include "cvc4_export.h" #include "options/language.h" #include "parser/parser_exception.h" @@ -34,14 +36,15 @@ class Command; namespace parser { -class CVC4_PUBLIC InputStreamException : public Exception { +class InputStreamException : public Exception +{ public: InputStreamException(const std::string& msg); }; /** Wrapper around an input stream. */ -class CVC4_PUBLIC InputStream { - +class InputStream +{ /** The name of this input stream. */ std::string d_name; @@ -66,7 +69,7 @@ class CVC4_PUBLIC InputStream { /** Get the name of this input stream. */ const std::string getName() const; -};/* class InputStream */ +}; /* class InputStream */ class Parser; @@ -76,7 +79,8 @@ class Parser; * for the given input language and attach it to an input source of the * appropriate type. */ -class CVC4_PUBLIC Input { +class CVC4_EXPORT Input +{ friend class Parser; // for parseError, parseCommand, parseExpr friend class ParserBuilder; @@ -170,7 +174,7 @@ class CVC4_PUBLIC Input { /** Set the Parser object for this input. */ virtual void setParser(Parser& parser) = 0; -};/* class Input */ +}; /* class Input */ }/* CVC4::parser namespace */ }/* CVC4 namespace */ |