/**
 * 最初の著者:: トゥイー
 * リポジトリ情報:: $Id: AttributesOfFact.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_ATTRIBUTES_OF_FACT_HPP_
#define _TOPS_ATTRIBUTES_OF_FACT_HPP_

#include "tops/attribute/AttributeOfFact.hpp"
#include "tops/attribute/Attributes.hpp"

#include "tops/utilities/CloseContainer.hpp"
#include "tops/utilities/Iterator/MapIterator.hpp"
#include "tops/utilities/Iterator/SharedToPointerIterator.hpp"

#include <map>
#include <string>

#include <boost/shared_ptr.hpp>

namespace tops {

	class Constant;
	typedef boost::shared_ptr<Constant> ConstantPtr;
	class Value;
	typedef boost::shared_ptr<Value> ValuePtr;
	class Variables;

	class AttributesOfFact;
	typedef boost::shared_ptr<AttributesOfFact> AttributesOfFactPtr;

	/**
	 * 事実の属性列です。
	 *
	 * @author トゥイー
	 */
	class AttributesOfFact : public Attributes {
	private:
		typedef Utility::CloseMap<std::string, AttributeOfFactPtr> AttributeMap;

		/**
		 * 属性列です。
		 */
		AttributeMap m_attributes;

	public:
		typedef AttributeMap::iterator InnerMapIterator;
		typedef AttributeMap::const_iterator ConstInnerMapIterator;

		typedef Utility::MapIteratorSecond<InnerMapIterator, AttributeOfFactPtr> MapSecondIterator;
		typedef Utility::ConstMapIteratorSecond<ConstInnerMapIterator, AttributeOfFactPtr> ConstMapSecondIterator;

		typedef Utility::SharedToPointerIterator<MapSecondIterator, AttributeOfFact> MapIterator;
		typedef Utility::ConstSharedToPointerIterator<ConstMapSecondIterator, AttributeOfFact> ConstMapIterator;

	public:
		/**
		 * サイズを取得します。
		 */
		size_t size() const {
			return m_attributes.size();
		}

		/**
		 * 先頭の属性への反復子を取得します。
		 */
		MapIterator begin() {
			return m_attributes.begin();
		}

		/**
		 * 先頭の属性への定数反復子を取得します。
		 */
		ConstMapIterator begin() const {
			return m_attributes.begin();
		}

		/**
		 * 末尾の属性への反復子を取得します。
		 */
		MapIterator end() {
			return m_attributes.end();
		}

		/**
		 * 末尾の属性への定数反復子を取得します。
		 */
		ConstMapIterator end() const {
			return m_attributes.end();
		}

		/**
		 * 属性を追加します。
		 * 既に同名の属性が登録されている場合は失敗します。
		 *
		 * @param name 属性名を指定します。
		 * @param constant 属性値となる定数を指定します。
		 *
		 * @return 属性の追加に成功した場合はその属性を、失敗した場合はNULLを返します。
		 */
		AttributeOfFact* add(const std::string& name, const ConstantPtr& constant);

		/**
		 * 名前から属性値を取得します。
		 *
		 * @param name 属性名を指定します。
		 * @param result 属性値を返します。
		 *
		 * @return 与えられた名前を持つ属性が見つかった場合はその属性を、そうでない場合はNULLを返します。
		 */
		AttributeOfFact* find(const std::string& name) const;

	private:
		/**
		 * 属性の存在を判断します。
		 *
		 * @param name 属性名を指定します。
		 * @param constant 属性値を指定します。
		 */
		bool exists(const std::string& name, const ConstantPtr& constant) const;

	public:
		/**
		 * 単一化を行います。
		 *
		 * @param name 属性の名前を指定します。
		 * @param value 単一化対象となる変数を指定します。
		 * @param variables 単一化に使用する変数表を指定します。
		 *
		 * @return 単一化に成功した場合はその属性を、失敗した場合はNULLを返します。
		 */
		AttributeOfFact* unificate(const std::string& name, const ValuePtr& value, Variables& variables) const;

	public:
		/**
		 * 等値判断を行います。
		 *
		 * @param attributes 等値判断対象となる事実の属性列を指定します。
		 *
		 * @return 等値ならtrueを、そうじゃないならfalseを返します。
		 */
		bool equals(const AttributesOfFact& attributes) const;

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

}  // namespace tops

#endif
