michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(util/script_state): remove dead code

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-01-07 16:59:50 -08:00
parent 2cd2527d9f
commit 248d55d454
2 changed files with 0 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/util/script_state.cpp
View file

@ -25,16 +25,10 @@ extern "C" void * lua_realloc(void *, void * q, size_t, size_t new_size) { retur
namespace lean {
static std::vector<script_state::reg_fn> g_modules;
static std::vector<char const *> g_code;
void script_state::register_module(reg_fn f) {
g_modules.push_back(f);
}
void script_state::register_code(char const * code) {
g_code.push_back(code);
}
static unsigned g_check_interrupt_freq = 1048576;
void script_state::set_check_interrupt_freq(unsigned count) {
@ -96,10 +90,6 @@ struct script_state::imp {
for (auto f : g_modules) {
f(m_state);
}
for (auto c : g_code) {
dostring(c);
}
}
~imp() {

2
src/util/script_state.h
View file

@ -67,8 +67,6 @@ public:
typedef void (*reg_fn)(lua_State *); // NOLINT
static void register_module(reg_fn f);
static void register_code(char const * code);
/**
\brief Auxiliary function for writing API bindings
that release the lock to this object while executing