From c2db18a003a82425efcf8afe3f9d43fffacbea3d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 11 Nov 2013 09:51:07 -0800 Subject: [PATCH] test(lua): add tests for sexpr object Signed-off-by: Leonardo de Moura --- tests/lua/sexpr4.lua | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 tests/lua/sexpr4.lua diff --git a/tests/lua/sexpr4.lua b/tests/lua/sexpr4.lua new file mode 100644 index 000000000..9f00988fc --- /dev/null +++ b/tests/lua/sexpr4.lua @@ -0,0 +1,28 @@ +assert(sexpr("a") < sexpr("b")) +assert(sexpr("a") == sexpr("a")) +assert(sexpr("a") ~= sexpr("b")) +assert(not sexpr("a"):is_cons()) +assert(sexpr(10, 20):is_cons()) +assert(not sexpr(10, 20):is_list()) +assert(sexpr(10, 20, nil):is_list()) +assert(not sexpr(10, 20):is_atom()) +assert(not sexpr(10, 20):is_atom()) +assert(sexpr("a"):is_atom()) +assert(sexpr(mpz(10)):is_atom()) +assert(sexpr("a"):is_string()) +assert(not sexpr(mpz(10)):is_string()) +assert(sexpr(10):is_int()) +assert(not sexpr(10, 20, 30):is_int()) +assert(not sexpr(10):is_name()) +assert(not sexpr("a"):is_name()) +assert(sexpr(name("a")):is_name()) +assert(not sexpr(10):is_mpz()) +assert(not sexpr(mpq(10)):is_mpz()) +assert(sexpr(mpz(10)):is_mpz()) +assert(not sexpr(10):is_mpq()) +assert(not sexpr(mpz(10)):is_mpq()) +assert(sexpr(mpq(10)):is_mpq()) +check_error(function() sexpr(10):length() end) +assert(sexpr(10):to_int() == 10) + +