/**
 * 最初の著者:: トゥイー
 * リポジトリ情報:: $Id: ComputeValue.hpp 11 2011-05-14 02:11:18Z yutaka_at_home $
 * 著作権:: Copyright (C) Ownway.info, 2011. All rights reserved.
 * ライセンス:: CPL(Common Public Licence)
 */

#ifndef _TOPS_COMPUTE_VALUE_HPP_
#define _TOPS_COMPUTE_VALUE_HPP_

#include "tops/value/Value.hpp"

#include <map>

#include <antlr/AST.hpp>

#include <boost/shared_ptr.hpp>

namespace tops {

	class Variable;
	typedef boost::shared_ptr<Variable> VariablePtr;
	typedef std::map<std::string, VariablePtr> VariableMapForCompute;

	/**
	 * 計算値です。
	 *
	 * @author トゥイー
	 */
	class ComputeValue : public Value {
	private:
		/**
		 * 式です。
		 */
		std::string m_expression;

		/**
		 * 式から得られた解析木です。
		 */
		antlr::RefAST m_parseTree;

	public:
		/**
		 * 計算値を構築します。
		 *
		 * @param expression 式を指定します。
		 */
		ComputeValue(const std::string& expression);

	public:
		/**
		 * 式の値を取得します。
		 */
		int getValue(const Variables& variables) const;

	public:
		/**
		 * 指定された定数と単一化を行います。
		 *
		 * @param value 単一化対象となる定数を指定します。
		 * @param variables 単一化に使用する変数表を指定します。
		 * @return 単一化に成功したらtrueを、失敗したらfalseを返します。
		 */
		bool unificate(const Constant& value, Variables& variables) const;

		/**
		 * 値を具体化します。
		 *
		 * @param variables 具体化に使用する変数表を指定します。
		 */
		ConstantPtr instantiate(const Variables& variables) const;

	public:
		// ConditionVariableに由来する比較演算子群です。

		bool operator==(const ConstantAndVariables& a) const;
		bool operator!=(const ConstantAndVariables& a) const;
		bool operator< (const ConstantAndVariables& a) const;
		bool operator> (const ConstantAndVariables& a) const;
		bool operator<=(const ConstantAndVariables& a) const;
		bool operator>=(const ConstantAndVariables& a) const;

		// ここでは片方（instantiate）が定数であることがわかったので、
		// 演算子の順番を「ひっくり返し」ます。

		bool operator==(const ValueAndVariables& a) const;
		bool operator!=(const ValueAndVariables& a) const;
		bool operator< (const ValueAndVariables& a) const;
		bool operator> (const ValueAndVariables& a) const;
		bool operator<=(const ValueAndVariables& a) const;
		bool operator>=(const ValueAndVariables& a) const;

	public:
		/**
		 * ストリームに出力します。
		 */
		void print(std::ostream& stream) const;
	};

}  // namespace tops

#endif
