source: to-imperative/trunk/library/Vector/vector_set.cc @ 1045

#include <rf_core.hh>
#include <rf_types.hh>

using namespace rfrt;

namespace refal
{

namespace Vector
{

RF_DECL(Vector_m_Set);

RF_FUNC (Vector_m_Set, (RF_ARG _vector, _index, _exp), ())

  if (_vector.get_len() == 1) {
    Term* p_vector = _vector.get_first();
    rftype::Vector* v = p_vector->cast_to<rftype::Vector>(type_vector);
    if (!v)
      RF_LIB_ERROR("Invalid argument");
    Term* p_index = _index.get_first();
    rftype::ShortInt* numb = p_index->cast_to<rftype::ShortInt>(type_short_int);
    if (!numb)
      RF_LIB_ERROR("Invalid argument"); 
    else {
      size_t index = numb->to_int();
      if (index < v->get_length())
        (*v)[index] = _exp;
      else
        RF_LIB_ERROR("Index out of range");
    }
  } else
      RF_LIB_ERROR("Invalid argument");

RF_END

}
}