latereasoning.h
No OneTemporary
Actions

Subscribers

None

File Metadata

	/*
	* 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: latereasoning.h
	* Author: pgess <v.melnychenko@xreate.org>
	*
	* Created on May 26, 2018, 3:44 PM
	*/

	#ifndef CMPLLATEREASONING_H
	#define CMPLLATEREASONING_H

	#include "ast.h"
	#include "pass/compilepass.h"
	#include "llvmlayer.h"

	namespace xreate{ namespace latereasoning {

	class LateReasoningCompiler {
	public:
	LateReasoningCompiler(compilation::Context ctx): context(ctx){}
	llvm::Value* compile(const Expression& expr, const std::string& identHint);

	private:
	compilation::Context context;
	};

	}}

	#endif /* CMPLLATEREASONING_H */