19 #ifndef __CVC4__PARSER__INPUT_H 20 #define __CVC4__PARSER__INPUT_H 55 bool d_fileIsTemporary;
62 d_fileIsTemporary(isTemporary) {
69 if( d_fileIsTemporary ) {
70 remove(d_name.c_str());
75 const std::string getName()
const;
109 const std::string& filename,
110 bool useMmap =
false)
124 const
std::
string& name,
125 bool lineBuffered = false)
126 throw (InputStreamException);
135 const
std::
string& input,
136 const
std::
string& name)
137 throw (InputStreamException);
144 virtual
std::
string getUnparsedText() = 0;
150 const
std::
string getInputStreamName(){
151 return getInputStream()->getName();
171 virtual Command* parseCommand() = 0;
176 virtual void warning(
const std::string& msg) = 0;
181 virtual void parseError(
const std::string& msg,
bool eofException =
false)
190 virtual Expr parseExpr() = 0;
193 virtual void setParser(
Parser& parser) = 0;
Class encapsulating CVC4 expressions and methods for constructing new expressions.
Exception class for parse errors.
Definition of input and output languages.
A builder for input language parsers.
Macros that should be defined everywhere during the building of the libraries and driver binary...
This class encapsulates all of the state of a parser, including the name of the file, line number and column information, and in-scope declarations.