18 throw Exception(
"opening interpreted file: !stream");
20 stream.exceptions(std::ios::badbit);
30 std::ostream null_stream(&null_filebuf);
31 interpreter.
main_loop(stream, null_stream);
void main_loop(std::istream &in, std::ostream &out)
void set_echo(bool new_echo)
void set_rethrow(bool new_rethrow)
Readonly_Interpreted_File(std::istream &stream, bool readonly)
~Readonly_Interpreted_File()
static const Record_Id null
void soft_checkpoint() override
https://en.cppreference.com/w/cpp/io/basic_streambuf.html
@ create_new
fails if already exists, locks the file for writing