lua_interface.m

:- interface.

:- semipure pred is_number(lua_state_ptr::in, int::in) is semidet.
:- semipure pred is_nil(lua_state_ptr::in, int::in) is semidet.
:- semipure pred is_userdata(lua_state_ptr::in, int::in) is semidet.
:- semipure pred is_integer(lua_state_ptr::in, int::in) is semidet.
:- semipure pred is_lightuserdata(lua_state_ptr::in, int::in) is semidet.
:- semipure pred is_string(lua_state_ptr::in, int::in) is semidet.
:- semipure pred is_boolean(lua_state_ptr::in, int::in) is semidet.
:- semipure pred is_thread(lua_state_ptr::in, int::in) is semidet.


:- semipure pred pull_number(lua_state_ptr::in, float::out) is det.
:- semipure pred pull_userdata(lua_state_ptr::in, T::out) is det.
:- semipure pred pull_integer(lua_state_ptr::in, int::out) is det.
:- semipure pred pull_lightuserdata(lua_state_ptr::in, c_pointer::out) is det.
:- semipure pred pull_string(lua_state_ptr::in, string::out) is det.
:- semipure pred pull_boolean(lua_state_ptr::in, bool::out) is det.
:- semipure pred pull_thread(lua_state_ptr::in, lua_state_ptr::out) is det.


:- impure pred push_number(lua_state_ptr::in, float::in) is det.
:- impure pred push_nil(lua_state_ptr::in) is det.
:- impure pred push_userdata(lua_state_ptr::in, T::in) is det.
:- impure pred push_integer(lua_state_ptr::in, int::in) is det.
:- impure pred push_lightuserdata(lua_state_ptr::in, c_pointer::in) is det.
:- impure pred push_string(lua_state_ptr::in, string::in) is det.
:- impure pred push_boolean(lua_state_ptr::in, bool::in) is det.
:- impure pred push_thread(lua_state_ptr::in, lua_state_ptr::in) is det.


:- implementation.


:- pragma foreign_proc("C", is_number(L::in, Index::in),
 [promise_semipure, will_not_call_mercury],
"
     SUCCESS_INDICATOR = lua_isnumber(L, Index);
").

:- pragma foreign_proc("C", is_nil(L::in, Index::in),
 [promise_semipure, will_not_call_mercury],
"
     SUCCESS_INDICATOR = lua_isnil(L, Index);
").

:- pragma foreign_proc("C", is_userdata(L::in, Index::in),
 [promise_semipure, will_not_call_mercury],
"
     SUCCESS_INDICATOR = lua_isuserdata(L, Index);
").

:- pragma foreign_proc("C", is_integer(L::in, Index::in),
 [promise_semipure, will_not_call_mercury],
"
     SUCCESS_INDICATOR = lua_isinteger(L, Index);
").

:- pragma foreign_proc("C", is_lightuserdata(L::in, Index::in),
 [promise_semipure, will_not_call_mercury],
"
     SUCCESS_INDICATOR = lua_islightuserdata(L, Index);
").

:- pragma foreign_proc("C", is_string(L::in, Index::in),
 [promise_semipure, will_not_call_mercury],
"
     SUCCESS_INDICATOR = lua_isstring(L, Index);
").

:- pragma foreign_proc("C", is_boolean(L::in, Index::in),
 [promise_semipure, will_not_call_mercury],
"
     SUCCESS_INDICATOR = lua_isboolean(L, Index);
").

:- pragma foreign_proc("C", is_thread(L::in, Index::in),
 [promise_semipure, will_not_call_mercury],
"
     SUCCESS_INDICATOR = lua_isthread(L, Index);
").


:- pragma foreign_proc("C", pull_number(L::in, Index::in, V::out),
 [promise_semipure, will_not_call_mercury],
"
     V = lua_tonumber(L, Index);
").

:- pragma foreign_proc("C", pull_userdata(L::in, Index::in, V::out),
 [promise_semipure, will_not_call_mercury],
"
     V = lua_touserdata(L, Index);
").

:- pragma foreign_proc("C", pull_integer(L::in, Index::in, V::out),
 [promise_semipure, will_not_call_mercury],
"
     V = lua_tointeger(L, Index);
").
:- pragma foreign_proc("C", pull_lightuserdata(L::in, Index::in, V::out),
 [promise_semipure, will_not_call_mercury],
"
     V = lua_tolightuserdata(L, Index);
").

:- pragma foreign_proc("C", pull_string(L::in, Index::in, V::out),
 [promise_semipure, will_not_call_mercury],
"
     V = lua_tostring(L, Index);
").

:- pragma foreign_proc("C", pull_boolean(L::in, Index::in, V::out),
 [promise_semipure, will_not_call_mercury],
"
     V = lua_toboolean(L, Index);
").

:- pragma foreign_proc("C", pull_thread(L::in, Index::in, V::out),
 [promise_semipure, will_not_call_mercury],
"
     V = lua_tothread(L, Index);
").

:- pragma foreign_proc("C", push_number(L::in, V::in),
[will_not_call_mercury],
"
     lua_pushnumber(L, V);
").

:- pragma foreign_proc("C", push_nil(L::in),
[will_not_call_mercury],
"
     lua_pushnil(L);
").

:- pragma foreign_proc("C", push_userdata(L::in, V::in),
[will_not_call_mercury],
"
     lua_pushuserdata(L, V);
").

:- pragma foreign_proc("C", push_integer(L::in, V::in),
[will_not_call_mercury],
"
     lua_pushinteger(L, V);
").

:- pragma foreign_proc("C", push_lightuserdata(L::in, V::in),
[will_not_call_mercury],
"
     lua_pushlightuserdata(L, V);
").

:- pragma foreign_proc("C", push_string(L::in, V::in),
[will_not_call_mercury],
"
     lua_pushstring(L, V);
").

:- pragma foreign_proc("C", push_boolean(L::in, V::in),
[will_not_call_mercury],
"
     lua_pushboolean(L, V);
").

:- pragma foreign_proc("C", push_thread(L::in, V::in),
[will_not_call_mercury],
"
     lua_pushthread(L, V);
").