source: to-imperative/trunk/library/Vector/subvector_fill.cc @ 1114

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

using namespace rfrt;

namespace refal
{

namespace Vector
{

RF_DECL(Subvector_m_Fill);

RF_FUNC (Subvector_m_Fill, (RF_ARG _vector, _index, _length, _fill), ())

  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* t = _index.get_first();
    rftype::Int32* p = t->cast_to<rftype::Int32>(type_int32);
    if (!p)
      RF_LIB_ERROR("Invalid argument"); 
    size_t ind = p->to_int();
    t = _length.get_first();
    p = t->cast_to<rftype::Int32>(type_int32);
    if (!p)
      RF_LIB_ERROR("Invalid argument");
    size_t len = p->to_int();    
    if (ind + len > v->get_length())
      RF_LIB_ERROR("Index out of range");
    v->subvector_fill(ind, len, _fill);
  } else
      RF_LIB_ERROR("Invalid argument");

RF_END

}
}