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

#include "tops/value/Constant.hpp"

namespace tops {

	/**
	 * 整数値です。
	 *
	 * @author トゥイー
	 */
	class Integer : public Constant {
	private:
		/**
		 * 値です。
		 */
		int m_value;

	public:
		/**
		 * 整数値を構築します。
		 *
		 * @param value 整数値を指定する。
		 */
		Integer(int value);

	public:
		/**
		 * 値を取得します。
		 */
		int getValue() const {
			return m_value;
		}

	public:
		/**
		 * 同一判断を行います。
		 *
		 * @param constant 等値判断対象となる値を指定します。
		 * @return 等値ならtrueを、そうじゃないならfalseを返します。
		 */
		bool equals(const Constant& constant) const;

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

	public:
		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;

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

}  // namespace tops

#endif
