File Metadata

Created: Tue, Jul 7, 4:22 AM

polymorph.cpp
View Options

	/*
	* This Source Code Form is subject to the terms of the Mozilla Public
	* License, v. 2.0. If a copy of the MPL was not distributed with this
	* file, You can obtain one at http://mozilla.org/MPL/2.0/.
	*
	* File: polymorph.cpp
	* Author: pgess <v.melnychenko@xreate.org>
	*
	* Created on November 9, 2017, 12:14 PM
	*/

	#include "polymorph.h"

	using namespace std;
	namespace xreate { namespace polymorph {

	const std::string atomPolymorph = "dfa_callguard";

	void
	PolymorphQuery::init(TranscendLayer* transcend){
	__transcend = transcend;

	StaticModel queryResult = transcend->query(atomPolymorph);
	if (queryResult.size()){
	for (auto entry: queryResult){
	auto answer = TranscendLayer::parse<SymbolNode, Expression>(entry.second);
	SymbolNode symbCaller = std::get<0>(answer);
	SymbolGeneralized symbCallerUnpacked = transcend->unpack(symbCaller);
	Expression guard = std::get<1>(answer);

	__cacheEarlyReasoning.emplace(symbCallerUnpacked, guard);
	}
	}
	}

	Expression
	PolymorphQuery::get(const Expression& e){
	SymbolGeneralized symbol=Attachments::exists<SymbolAlias>(e)?
	SymbolGeneralized(Attachments::get<SymbolAlias>(e))
	: SymbolGeneralized(SymbolAnonymous{e.id});

	if (__cacheEarlyReasoning.count(symbol)){
	return __cacheEarlyReasoning.at(symbol);
	}

	SymbolNode symbolPacked = __transcend->pack(symbol, "");
	StaticModel answer = __transcend->queryCompiled().queryLate(atomPolymorph, symbolPacked);
	assert(answer.size() && "Can't find a guard");

	Expression result;
	tie(result) = TranscendLayer::parse<Expression>(answer.begin()->second);
	return result;
	}

	}} //end of xreate::polymorph

polymorph.cpp
No OneTemporary
Actions

File Metadata

polymorph.cpp
View Options

Event Timeline

polymorph.cppNo OneTemporaryActions

File Metadata

polymorph.cppView Options

Event Timeline

polymorph.cpp
No OneTemporary
Actions

polymorph.cpp
View Options