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());
109 const std::string& filename,
110 bool useMmap =
false)
124 const
std::
string& name,
125 bool lineBuffered = false)
135 const
std::
string& input,
136 const
std::
string& name)
144 virtual
std::
string getUnparsedText() = 0;
150 const
std::
string getInputStreamName(){
151 return getInputStream()->getName();
176 virtual void warning(
const std::string& msg) = 0;
181 virtual void parseError(
const std::string& msg,
bool eofException =
false)
193 virtual
void setParser(
Parser& parser) = 0;
Class encapsulating CVC4 expressions and methods for constructing new expressions.
A builder for input language parsers.
This class encapsulates all of the state of a parser, including the name of the file,...
Macros that should be defined everywhere during the building of the libraries and driver binary,...
Definition of input and output languages.
Exception class for parse errors.