source: src/Parameters/Value_impl.hpp@ e5d7970

/*
 * Value_impl.hpp
 *
 *  Created on: Apr 13, 2012
 *      Author: ankele
 */

#ifndef VALUE_IMPL_HPP_
#define VALUE_IMPL_HPP_


// include config.h
#ifdef HAVE_CONFIG_H
#include <config.h>
#endif


#include <boost/any.hpp>

#include "CodePatterns/Assert.hpp"

#include "CodePatterns/Log.hpp"

#include "Validators/DummyValidator.hpp"
#include "Validators/DiscreteValidator.hpp"
#include "Validators/RangeValidator.hpp"



// static member
template <class T> ConvertTo<T> Value<T>::Converter;

/** Constructor of class Value.
 */
template <class T>
Value<T>::Value() :
  ValueSet(false),
  validator(new DummyValidator<T>)
{}

/** Constructor of class Value with a validator.
 *
 * @param _validator general validator to use
 */
template <class T>
Value<T>::Value(const Validator<T> &_validator) :
  ValueSet(false),
  validator(_validator.clone())
{}

/** Constructor of class Value with a discrete validator.
 *
 * @param _ValidValues vector with all valid values
 */
template <class T>
Value<T>::Value(const std::vector<T> &_ValidValues) :
  ValueSet(false),
  validator(NULL)
{
  validator = new DiscreteValidator<T>(_ValidValues);
}

/** Constructor of class Value with a range validator.
 *
 * @param _ValidRange range of valid values
 */
template <class T>
Value<T>::Value(const range<T> &_ValidRange) :
  ValueSet(false),
  validator(NULL)
{
  validator = new RangeValidator<T>(_ValidRange);
}

/** Destructor of class Value.
 */
template <class T>
Value<T>::~Value()
{
  ASSERT(validator,
      "Value<T>::~Value() - validator missing.");
  delete(validator);
}

/** Checks whether \a _value is a valid value.
 * \param _value value to check for validity.
 * \return true - \a _value is valid, false - is not
 */
template <class T>
bool Value<T>::isValid(const T & _value) const
{
  ASSERT(validator,
      "Value<T>::isValid() - validator missing.");
  return (*validator)(_value);
}

/** Compares this discrete value against another \a _instance.
 *
 * @param _instance other value to compare to
 * @return true - if value and valid ranges are the same, false - else
 */
template <class T>
bool Value<T>::operator==(const Value<T> &_instance) const
{
  ASSERT(validator,
      "Value<T>::operator==() - validator missing.");
  ASSERT(_instance.validator,
      "Value<T>::operator==() - instance.validator missing.");
  bool status = true;
  status = status && (*validator == *_instance.validator);
  status = status && (ValueSet == _instance.ValueSet);
  if (ValueSet && _instance.ValueSet)
    status = status && (value == _instance.value);
  return status;
}


/** Getter of value
 *
 * @return value
 */
template <class T>
const T & Value<T>::get() const
{
  ASSERT(ValueSet,
      "Value<T>::get() - value has never been set.");
  return value;
}

/** Setter of value
 *
 * @param _value new value
 */
template <class T>
void Value<T>::set(const T & _value)
{
  ASSERT(isValid(_value),
      "Value<T>::setValue() - trying to set invalid value "+toString(_value)+".");
  if (!ValueSet)
    ValueSet = true;
  value = _value;
}


/** Tests, if a value has been set
 *
 * @return true, if a value has been set
 */
template <class T>
bool Value<T>::isSet() const
{
  return ValueSet;
}



/** Checks whether \a _value is a valid value.
 * \param _value value to check for validity.
 * \return true - \a _value is valid, false - is not
 */
template <class T>
bool Value<T>::isValidAsString(const std::string _value) const
{
  const T castvalue = Converter(_value);
//  LOG(0, "Converted value reads " << castvalue <<".");
  return isValid(castvalue);
}

template <>
inline bool Value<std::string>::isValidAsString(const std::string _value) const
{
  return isValid(_value);
}

/** Getter of value, returning string.
 *
 * @return string value
 */
template <class T>
const std::string Value<T>::getAsString() const
{
  ASSERT(ValueSet,
      "Value<T>::getAsString() - requesting unset value.");
  return toString(value);
}

/** Setter of value for string
 *
 * @param _value string containing new value
 */
template <class T>
void Value<T>::setAsString(const std::string _value)
{
  const T castvalue = Converter(_value);
//  LOG(0, "Converted value reads " << castvalue <<".");
  set(castvalue);
//  LOG(0, "STATUS: Value is now set to " << value << ".");
}

template <>
inline void Value<std::string>::setAsString(const std::string _value)
{
  set(_value);
//  LOG(0, "STATUS: Value is now set to " << value << ".");
}

/** Returns the validator as a const reference.
 *
 * @return the validator
 */
template <class T>
const Validator<T> &Value<T>::getValidator() const
{
  ASSERT(validator,
      "Value<T>::getValidator() const - validator missing.");
  return *validator;
}

/** Returns the validator.
 *
 * @return the validator
 */
template <class T>
Validator<T> &Value<T>::getValidator()
{
  ASSERT(validator,
      "Value<T>::getValidator() - validator missing.");
  return *validator;
}



template <class T>
const range<T> & Value<T>::getValidRange() const
{
  dynamic_cast<RangeValidator<T>&>(getValidator()).getValidRange();
}

/** Setter for the valid range.
 *
 * If value is invalid in new range, we throw AssertFailure and set ValueSet to false.
 *
 * @param _range range (pair of values)
 */
template <class T>
void Value<T>::setValidRange(const range<T> &_range)
{
  dynamic_cast<RangeValidator<T>&>(getValidator()).setValidRange(_range);
  if (ValueSet) {
      //std::cout << "Checking whether " << value << " is in range " << _range << "." << std::endl;
    if (!isValid(value)){
      //std::cout << "ValueSet to false." << std::endl;
      ValueSet = false;
      // have full check again in assert such that it appears in output, too
      ASSERT(isValid(value),
            "Value<T>::setValidRange() - new range "
            +toString(_range)+" invalidates current value "+toString(value)+".");
    }
  }
  //  LOG(0, "STATUS: Valid range is now " << ValidRange << ".");
}

template <class T>
void Value<T>::appendValidValue(const T &_value)
{
  dynamic_cast<DiscreteValidator<T>&>(getValidator()).appendValidValue(_value);
}

template <class T>
const std::vector<T> &Value<T>::getValidValues() const
{
  dynamic_cast<DiscreteValidator<T>&>(getValidator()).getValidValues();
}



#endif /* VALUE_IMPL_HPP_ */