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

// $Source$
// $Revision: 772 $
// $Date: 2003-05-28 05:14:15 +0000 (Wed, 28 May 2003) $
// $Author: luba $

#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
  //Eсли там не пробел, а \n, \r, \v, \t или не символ-число,
  // то выдать сообщение об ошибке
  //
  if (t->get_type() == type_char) {
    for (; ;)
      if (((Char*)t)->is_not_space()) {
        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, если слово является числом
  //и у него нет знака
  //
  if ((t->get_type() == type_word) ) {
    int res_is_number = ((Word*)t)->is_number();
    if (res_is_number == minus)
       flag = -1;
    else
    if(res_is_number == plus)
      flag = 1;
    else
    if(res_is_number == positive_number)
      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, то необходимо проверить, является ли он 
    //символом-числом, если да, то его длина добавляется к длине
    //выражения, которое будет построено из исходного
    //
    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  
          retfail;
      }
      //после символов-чисел допускается любое количество пробелов,
      // не допускаются пробелы между символами-числами
      //
      else { 
        t++;
        while (t->get_type()==type_char){
          if (((Char*)t)->is_not_space() == false){
            t++;
          }
          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(), то считается длина слова и добавляется к
    //длине выражения, которое будет построено из исходного
    //
    else
      if (t->get_type() == type_word){
        if (((Word*)t)->is_number() == plus ||
            ((Word*)t)->is_number() == minus )
          retfail;
        //не допускаются пробелы в начале слова, если слово не первое в
        //выражении 
        //
        if ( ((Word*)t)->has_space() == 1 )
          retfail;
        //не допускаются пробелы в конце слова, если оно не последнее
        //в выражении
        //
        if ( (((Word*)t)->has_space() == 2) && (t != e_Exp.get_last()) )
          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
}
}