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

#include "tops/common/Printable.hpp"

#include "tops/utilities/CloseContainer.hpp"

#include <string>

#include <boost/shared_ptr.hpp>

namespace tops {

	class Constant;
	typedef boost::shared_ptr<Constant> ConstantPtr;

	class AttributeOfFact;
	typedef boost::shared_ptr<AttributeOfFact> AttributeOfFactPtr;

	/**
	 * 事実の属性です。
	 *
	 * @author トゥイー
	 */
	class AttributeOfFact :
			public Printable,
			public Utility::CloseContainerElement {
	private:
		std::string m_name;
		ConstantPtr m_constant;

	public:
		/**
		 * 属性を構築します。
		 *
		 * @param name 属性名を指定します。
		 * @param constant 属性値となる定数を指定します。
		 */
		AttributeOfFact(const std::string& name, const ConstantPtr& constant);

	public:
		/**
		 * 名前を取得します。
		 */
		const std::string& getName() const {
			return m_name;
		}

		/**
		 * 属性値を取得します。
		 */
		const ConstantPtr& getValue() const {
			return m_constant;
		}

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

}  // namespace tops

#endif
