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

#include "tops/common/Printable.hpp"

#include <map>
#include <string>

namespace tops {

	class Constant;

	/**
	 * 単一化済み変数のための変数表です。
	 *
	 * @author トゥイー
	 */
	class Variables : public Printable {
	private:
		typedef std::map<std::string, const Constant*> VariableMap;
		typedef VariableMap::iterator iterator;
		typedef VariableMap::const_iterator const_iterator;

		/**
		 * 変数列です。
		 */
		VariableMap m_variables;

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

		/**
		 * 変数値を追加します。
		 *
		 * @param name 変数名を指定します。
		 * @param constant 変数値となる定数値を指定します。
		 *
		 * @return 既に同名の変数が登録されている場合は追加を中止してfalseを返します。
		 */
		bool add(const std::string& name, const Constant* constant);

		/**
		 * 変数値を取得します。
		 *
		 * @param name 変数名を指定します。
		 *
		 * @return 変数が登録されている場合は、変数値の定数を返します。登録されていない場合はNULLを返します。
		 */
		const Constant* get(const std::string& name) const;

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

}  // namespace tops

#endif
