/*
* TypeOfLink.cc
*
* Copyright (C) 2015, 2022 Linas Vepstas
*
* Author: Linas Vepstas <linasvepstas@gmail.com> January 2009
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU Affero General Public License v3 as
* published by the Free Software Foundation and including the
* exceptions at http://opencog.org/wiki/Licenses
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU Affero General Public
* License along with this program; if not, write to:
* Free Software Foundation, Inc.,
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*/
#include <opencog/atoms/signature/TypeNode.h>
#include <opencog/atoms/value/LinkValue.h>
#include <opencog/atomspace/AtomSpace.h>
#include "TypeOfLink.h"
using namespace opencog;
TypeOfLink::TypeOfLink(const HandleSeq&& oset, Type t)
: FunctionLink(std::move(oset), t)
{
if (not nameserver().isA(t, TYPE_OF_LINK))
{
const std::string& tname = nameserver().getTypeName(t);
throw InvalidParamException(TRACE_INFO,
"Expecting an TypeOfLink, got %s", tname.c_str());
}
}
// ---------------------------------------------------------------
/// Return a LinkValue vector of TypeNodes.
ValuePtr TypeOfLink::execute(AtomSpace* as, bool silent)
{
HandleSeq tipes;
for (const Handle& h : _outgoing)
{
ValuePtr vi(h->execute(as, silent));
Type t = vi->get_type();
tipes.emplace_back(as->add_atom(HandleCast(createTypeNode(t))));
}
// Return single element directly, else wrap in LinkValue
// Is unwrappng like this wise? Maybe. I dunno.
if (1 == tipes.size())
return tipes[0];
return createLinkValue(tipes);
}
DEFINE_LINK_FACTORY(TypeOfLink, TYPE_OF_LINK)
/* ===================== END OF FILE ===================== */