More work on console I/O and minor fixes
This commit is contained in:
@@ -194,7 +194,7 @@ public:
|
||||
|
||||
// Run all unit tests.
|
||||
//
|
||||
void run_unittests() { source_db_.run_unittests(); }
|
||||
void run_unittests();
|
||||
|
||||
// fetch_global_pointer
|
||||
//
|
||||
@@ -263,6 +263,10 @@ private:
|
||||
//
|
||||
void invoke_lua(int64_t actor_id, int64_t place_id, const std::string &action, const InvocationData &data);
|
||||
|
||||
// Invoke the flush-prints operation.
|
||||
//
|
||||
void invoke_flush_prints(int64_t actor_id, int64_t place_id, const std::string &action, const InvocationData &data);
|
||||
|
||||
public:
|
||||
////////////////////////////////////////////////////////////////////////////
|
||||
//
|
||||
|
||||
Reference in New Issue
Block a user