source: to-imperative/trunk/library/Convert/to_int.cc @ 767

// $Source$
// $Revision: 767 $
// $Date: 2003-05-27 12:11:02 +0000 (Tue, 27 May 2003) $
// $Author: orlov $

#include <rf_core.hh>

namespace refal
{

using namespace rfrt;
using namespace rftype;

namespace Convert
{

RF_FUNC (To_m_Int, (RF_ARG e_Exp), (RF_RES s_Int))
  uintptr_t len = 0;
  int flag = 0;

  Term* t = e_Exp.get_first();
  //пропускаем произвольное количество пробелов, если 
  //последовательность термов Char
  //
  //FIXME: А если там не пробел, а \n, \r, \v, \t или что там ещё разрешено?
  //И надо добавить соответствующие тесты.
  //Кроме того, если уж есть функция is_not_space(), почему бы её здесь не
  //использовать?
  //
  if (t->get_type() == type_char) {
    for (; ;)
      if (((Char*)t)->to_wchar_t() != ' ') {
        break;
      }
      else t++;
  }
  //в переменную flag присваиваем -1, если перед последовательностью
  //символов-чисел был знак '-', и 1, если перед последовательностью
  //был знак '+'
  //
  if (t->get_type() == type_char) {
    if (((Char*)t)->to_wchar_t() == '-') {
      flag = -1; t++;
    }
    else
    if (((Char*)t)->to_wchar_t() == '+') {
      flag = 1; t++;
    }
  };
  //функция is_number() проверяет, что терм типа Word является 
  //записью числа;
  //наличие или отсутствие знаков '+' или '-' у термов типа Word проверяет 
  // так же функция is_number(), 
  //в переменную flag записывается соответствующее значение:
  //-1, если знак '-', 1, если знак '+' и 0, если слово является числом
  //и у него нет знака
  //
  //FIXME: не надо вызывать is_number() каждый раз по новой.  Надо либо доп.
  //переменную использовать, либо switch.  Также очень неплохо вместо
  //обозначения возвращаемых значений цифрами завести enum.
  //
  if ((t->get_type() == type_word) )
    if (((Word*)t)->is_number() == -1)
       flag = -1;
    else
    if(((Word*)t)->is_number() == 1)
      flag = 1;
    else
    if(((Word*)t)->is_number() == 2)
      flag = 0;
    else 
      retfail;
    
  if (t->get_type() == type_short_int ||t->get_type() == type_word ) {
    t++;
  }

  //первый терм в выражении порверен, переходим к проверке
  //следующих в цикле
  //
 
  for (; t < e_Exp.get_last(); t++) {
    //если терм типа Char, то необходимо проверить, является ли он 
    //символом-числом, если да, то его длина добавляется к длине
    //выражения, которое будет построено из исходного
    //
    //FIXME: зачем два раза проверяется is_not_space()?
    //
    if (t->get_type() == type_char) { 

      if (((Char*)t)->is_not_space()) {

        if (((Char*)t)->is_digit()) { 

          if (len > UINTPTR_MAX - 1)
            RF_LIB_ERROR("Argument too large for conversion");
          else {
            len += 1;
          }
        }
        else {
          if (((Char*)t)->is_not_space()) 
            retfail;
          else
            continue;   
        }
      }
      //после символов-чисел допускается любое количество пробелов,
      // не допускаются пробелы между символами-числами
      //
      //FIXME: зачем внутри цикла всё время присваиваем t = temp?  Зачем вообще
      //нужна temp?
      //Что будет, если очередной символ -- это " "?  Надо добавить
      //соответствующий тест.
      //
      else { 
        Term* temp = t;
        while (temp->get_type()==type_char){
          if (((Char*)temp)->is_not_space() == false){
            temp++; t = temp;
          }
          else {
            retfail;
          }
        }
      }
    } 
    //для термов типа ShortInt не допускается появление отрицательных чисел
    //внутри исходного выражения; если число положительное,
    //то считается его длина и добавляется к длине выражения, которое будет 
    //построено из исходного
    //
    else
      if (t->get_type() == type_short_int) {
        if (((ShortInt*)t)->to_int() < 0)
          retfail;
        else {
          size_t num_len = ((ShortInt*)t)->get_char_len();
          if (len > UINTPTR_MAX - num_len)
            RF_LIB_ERROR("Argument too large for conversion");
          else
            len += num_len; 
        }
      }
    //для термов типа Word не допускается появление знаков '+' или '-'
    //внутри исходного выражения;
    //если слова являются правильной записью числа (допускается
    //произвольное количество пробелов в начале и в конце слова,
    //не допускаются пробелы внутри слова, что проверяет функция
    //is_number(), то считается длина слова и добавляется к
    //длине выражения, которое будет построено из исходного
    //
    //FIXME: что, если в начале слова идёт пробел, а у нас уже накоплены цифры?
    //Аналогично с концом слова.
    //
    else
      if (t->get_type() == type_word){
        if (((Word*)t)->is_number() == 1 ||((Word*)t)->is_number() == -1 )
          retfail;

        size_t word_len = ((Word*)t)->get_len();

        if (len > UINTPTR_MAX - word_len)
          RF_LIB_ERROR("Argument too large for conversion");
        else
          len += word_len;
      }
    else
      retfail;
  };
  //проверка, что длина выражения, которое может быть построено
  //из исходного, не превышает максимальной длины числа ShortInt
  //(в будущем если эта проверка не выполнится, будет построено число
  //типа Int)
  //
  if (len >= ShortInt::max_len)
    RF_LIB_ERROR("Argument too large for conversion");
  
  //посторение выражения, содержащего число, из исходного выражения
  s_Int = ShortInt::create_expr(e_Exp, flag);
 
RF_END
}
}