Bounded.h

Go to the documentation of this file.

/***************************************************************************
 *
 * Copyright (C) 2009-2010 Cassio Neri Moreira
 *
 * This file is part of the KeyValue library.
 *
 * The KeyValue library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License as published
 * by the Free Software Foundation, either version 3 of the License, or (at
 * your option) any later version.
 *
 * The KeyValue library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
 * Public License for more details.
 *
 * You should have received a copy of the GNU General Public License along
 * with KeyValue. If not, see <http://www.gnu.org/licenses/>.
 *
 * If you modify this library, or any covered work, by linking or combining
 * it with Excel (or a modified version of that program), containing parts
 * covered by the terms of End-User License Agreement for Microsoft
 * Software, the licensors of KeyValue grant you additional permission to
 * convey the resulting work.
 *
 **************************************************************************/

#ifndef KEYVALUE_KEY_GENERIC_BOUNDED_H_
#define KEYVALUE_KEY_GENERIC_BOUNDED_H_

#include "keyvalue/key/converter/StdSingle.h"
#include "keyvalue/key/generic/bound/NoBound.h"
#include "keyvalue/key/Traits.h"

namespace keyvalue {
namespace key {

template<typename ElementType, template <typename> class Bound1,
  template <typename> class Bound2 = NoBound>
class Bounded: public Traits<ElementType, StdSingle> {

public:

  Bounded(const string& name, const ElementType& bound1);

  Bounded(const string& name, const ElementType& bound1,
    const ElementType& bound2);

  void checkOutput(ElementType element) const;

private:

  const Bound1<ElementType> bound1_;
  const Bound2<ElementType> bound2_;

}; // class Bounded

/*--------------------------------------------------------------------------
 * Bounded()
 *------------------------------------------------------------------------*/

template<typename ElementType, template <typename> class Bound1,
  template <typename> class Bound2>
Bounded<ElementType, Bound1, Bound2>::Bounded(const string& name,
  const ElementType& bound1) :
  Bounded::Traits_(name),
  bound1_(bound1),
  bound2_() {
}

template<typename ElementType, template <typename> class Bound1,
  template <typename> class Bound2>
Bounded<ElementType, Bound1, Bound2>::Bounded(const string& name,
  const ElementType& bound1, const ElementType& bound2) :
  Bounded::Traits_(name),
  bound1_(bound1),
  bound2_(bound2) {
}

/*--------------------------------------------------------------------------
 * checkOutput()
 *------------------------------------------------------------------------*/

template<typename ElementType, template <typename> class Bound1,
  template <typename> class Bound2>
void
Bounded<ElementType, Bound1, Bound2>::checkOutput(const ElementType element)
  const {

  if (!bound1_.check(element))
    throw RuntimeError() & "Value for key '" & Key::getName() & "' must "
      "be " & bound1_.getName() & " " & bound1_.getBound() & ". Got " &
      element & "!";

  if (!bound2_.check(element))
    throw RuntimeError() & "Value for key '" & Key::getName() & "' must "
      "be " & bound2_.getName() & " " & bound2_.getBound() & ". Got " &
      element & "!";
}

} // namespace key
} // namespace keyvalue

#endif // KEYVALUE_KEY_GENERIC_BOUNDED_H_