ListTerm.cpp File Reference

#include <gtest/gtest.h>
#include "knowrob/terms/ListTerm.h"
#include "knowrob/terms/String.h"
#include "knowrob/integration/python/utils.h"

Include dependency graph for ListTerm.cpp:

Go to the source code of this file.

Namespaces
	knowrob
	knowrob::py

Functions
template<>
void	knowrob::py::createType< ListTerm > ()
	TEST (list_term, NIL)
	TEST (list_term, lists)

Function Documentation

TEST() [1/2]

TEST	(	list_term	,
		lists
	)

Definition at line 67 of file ListTerm.cpp.

                       {
    auto x = std::make_shared<String>("x");
    auto y = std::make_shared<String>("y");
    EXPECT_TRUE(ListTerm({x}).isGround());
    EXPECT_FALSE(ListTerm({x}).isAtomic());
    EXPECT_FALSE(ListTerm({x}).elements().empty());
    EXPECT_EQ(ListTerm({x, y}).elements()[0], x);
    EXPECT_EQ(ListTerm({x, y}).elements()[1], y);
}

TEST() [2/2]

TEST	(	list_term	,
		NIL
	)

Definition at line 59 of file ListTerm.cpp.

                     {
    EXPECT_TRUE(ListTerm::nil()->elements().empty());
    EXPECT_TRUE(ListTerm({}).elements().empty());
    EXPECT_TRUE(ListTerm({}).isNIL());
    EXPECT_FALSE(ListTerm::nil()->isAtomic());
    EXPECT_TRUE(ListTerm::nil()->isGround());
}