099fda7cd2
* BUG: The lowest long integer constant (-9223372036854775808) is correctly interpreted now. [GB.EVAL] * BUG: The lowest long integer constant (-9223372036854775808) is correctly interpreted now. git-svn-id: svn://localhost/gambas/trunk@4230 867c0c6c-44f3-4631-809d-bfa615b0a4ec
487 lines
7.9 KiB
C
487 lines
7.9 KiB
C
/***************************************************************************
|
|
|
|
gbx_number.c
|
|
|
|
(c) 2000-2011 Benoît Minisini <gambas@users.sourceforge.net>
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 2, or (at your option)
|
|
any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to the Free Software
|
|
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
|
|
MA 02110-1301, USA.
|
|
|
|
***************************************************************************/
|
|
|
|
#define __GBX_NUMBER_C
|
|
|
|
#include "gb_common.h"
|
|
#include "gb_error.h"
|
|
|
|
#include <ctype.h>
|
|
#include <float.h>
|
|
#include <math.h>
|
|
|
|
#include "gbx_type.h"
|
|
#include "gb_common_buffer.h"
|
|
#include "gbx_local.h"
|
|
|
|
#include "gbx_string.h"
|
|
#include "gbx_number.h"
|
|
|
|
#define buffer_init COMMON_buffer_init
|
|
#define get_char COMMON_get_char
|
|
#define last_char COMMON_last_char
|
|
#define look_char COMMON_look_char
|
|
#define put_char COMMON_put_char
|
|
#define jump_space COMMON_jump_space
|
|
#define get_current COMMON_get_current
|
|
#define buffer_pos COMMON_pos
|
|
#define get_size_left COMMON_get_size_left
|
|
|
|
#define IS_PURE_INTEGER(_int64_val) ((_int64_val) == ((int)(_int64_val)))
|
|
|
|
|
|
static bool read_integer(int base, bool minus, int64_t *result, bool local)
|
|
{
|
|
uint64_t nbr2, nbr;
|
|
int d, n, c; //, nmax;
|
|
char thsep;
|
|
int ndigit_thsep;
|
|
bool first_thsep;
|
|
|
|
thsep = LOCAL_get(local)->thousand_sep;
|
|
ndigit_thsep = 0;
|
|
first_thsep = FALSE;
|
|
|
|
n = 0;
|
|
nbr = 0;
|
|
|
|
/*switch (base)
|
|
{
|
|
case 2: nmax = 64; break;
|
|
case 8: nmax = 21; break;
|
|
case 10: nmax = 19; break;
|
|
case 16: nmax = 16; break;
|
|
}*/
|
|
|
|
c = last_char();
|
|
|
|
for(;;)
|
|
{
|
|
if (local && base == 10)
|
|
{
|
|
if (c == thsep && (ndigit_thsep == 3 || (!first_thsep && ndigit_thsep >= 1 && ndigit_thsep <= 3)))
|
|
{
|
|
c = get_char();
|
|
first_thsep = TRUE;
|
|
ndigit_thsep = 0;
|
|
}
|
|
}
|
|
|
|
if (c >= '0' && c <= '9')
|
|
{
|
|
d = c - '0';
|
|
if (local && base == 10)
|
|
ndigit_thsep++;
|
|
}
|
|
else if (c >= 'A' && c <='Z')
|
|
d = c - 'A' + 10;
|
|
else if (c >= 'a' && c <='z')
|
|
d = c - 'a' + 10;
|
|
else
|
|
break;
|
|
|
|
if (d >= base)
|
|
break;
|
|
|
|
n++;
|
|
|
|
nbr2 = nbr * base + d;
|
|
|
|
if ((nbr2 / base) != nbr || nbr2 > ((uint64_t)LLONG_MAX + minus))
|
|
return TRUE;
|
|
|
|
nbr = nbr2;
|
|
|
|
c = get_char();
|
|
if (c < 0)
|
|
break;
|
|
}
|
|
|
|
c = last_char();
|
|
|
|
if (base == 10)
|
|
{
|
|
if (local && first_thsep && ndigit_thsep != 3)
|
|
return TRUE;
|
|
}
|
|
else
|
|
{
|
|
if ((c == '&' || c == 'u' || c == 'U') && base != 10)
|
|
c = get_char();
|
|
else
|
|
{
|
|
if ((base == 16 && n == 4) || (base == 2 && n == 16))
|
|
{
|
|
if (nbr >= 0x8000L && nbr <= 0xFFFFL)
|
|
nbr |= INT64_C(0xFFFFFFFFFFFF0000);
|
|
}
|
|
else if ((base == 16 && n == 8) || (base == 2 && n == 32))
|
|
{
|
|
if (nbr >= 0x80000000L && nbr <= 0xFFFFFFFFL)
|
|
nbr |= INT64_C(0xFFFFFFFF00000000);
|
|
}
|
|
}
|
|
}
|
|
|
|
if (c > 0 && !isspace(c))
|
|
return TRUE;
|
|
|
|
if (n == 0)
|
|
return TRUE;
|
|
|
|
*((int64_t *)result) = nbr;
|
|
return FALSE;
|
|
}
|
|
|
|
|
|
static bool read_float(double *result, bool local)
|
|
{
|
|
LOCAL_INFO *local_info;
|
|
char point;
|
|
char thsep;
|
|
int ndigit_thsep;
|
|
bool first_thsep;
|
|
int c, n;
|
|
|
|
uint64_t mantisse;
|
|
int ndigit_frac;
|
|
bool frac;
|
|
bool nozero;
|
|
|
|
int nexp;
|
|
bool nexp_minus;
|
|
|
|
local_info = LOCAL_get(local);
|
|
point = local_info->decimal_point;
|
|
thsep = local_info->thousand_sep;
|
|
ndigit_thsep = 0;
|
|
first_thsep = FALSE;
|
|
|
|
c = last_char();
|
|
|
|
/* Integer and decimal part */
|
|
|
|
n = 0;
|
|
mantisse = 0;
|
|
frac = FALSE;
|
|
ndigit_frac = 0;
|
|
nexp = 0;
|
|
nexp_minus = FALSE;
|
|
nozero = FALSE;
|
|
|
|
for(;;)
|
|
{
|
|
if (c == point)
|
|
{
|
|
if (frac)
|
|
break;
|
|
c = get_char();
|
|
frac = TRUE;
|
|
}
|
|
|
|
if (local && !frac)
|
|
{
|
|
if (c == thsep && (ndigit_thsep == 3 || (!first_thsep && ndigit_thsep >= 1 && ndigit_thsep <= 3)))
|
|
{
|
|
c = get_char();
|
|
first_thsep = TRUE;
|
|
ndigit_thsep = 0;
|
|
}
|
|
}
|
|
|
|
if (!isdigit(c) || (c < 0))
|
|
break;
|
|
|
|
if (c != '0')
|
|
nozero = TRUE;
|
|
|
|
if (nozero)
|
|
n++;
|
|
|
|
if (n > DBL_DIG)
|
|
{
|
|
if (n == (DBL_DIG + 1) && (c >= '5'))
|
|
mantisse++;
|
|
if (!frac)
|
|
ndigit_frac--;
|
|
c = get_char();
|
|
continue;
|
|
}
|
|
|
|
mantisse = mantisse * 10 + (c - '0');
|
|
|
|
if (frac)
|
|
ndigit_frac++;
|
|
else if (local)
|
|
ndigit_thsep++;
|
|
|
|
c = get_char();
|
|
|
|
if (c == 'e' || c == 'E')
|
|
break;
|
|
|
|
if (c < 0)
|
|
goto __END;
|
|
}
|
|
|
|
/* Exponent */
|
|
|
|
if (c == 'e' || c == 'E')
|
|
{
|
|
c = get_char();
|
|
|
|
if (c == '+' || c == '-')
|
|
{
|
|
if (c == '-')
|
|
nexp_minus = TRUE;
|
|
|
|
c = get_char();
|
|
}
|
|
|
|
if (!isdigit(c) || (c < 0))
|
|
return TRUE;
|
|
|
|
for(;;)
|
|
{
|
|
nexp = nexp * 10 + (c - '0');
|
|
if (nexp > DBL_MAX_10_EXP)
|
|
return TRUE;
|
|
|
|
c = get_char();
|
|
if (!isdigit(c) || (c < 0))
|
|
break;
|
|
}
|
|
|
|
if (nexp_minus)
|
|
nexp = (-nexp);
|
|
}
|
|
|
|
if (c >= 0 && !isspace(c))
|
|
return TRUE;
|
|
|
|
__END:
|
|
|
|
if (local && first_thsep && ndigit_thsep != 3)
|
|
return TRUE;
|
|
|
|
//*result = (nint + nfrac) * pow(10, nexp_minus ? (-nexp) : nexp);
|
|
|
|
nexp -= ndigit_frac;
|
|
*result = ((double)mantisse * pow(10, nexp));
|
|
|
|
return FALSE;
|
|
}
|
|
|
|
|
|
bool NUMBER_from_string(int option, const char *str, int len, VALUE *value)
|
|
{
|
|
int c;
|
|
int64_t val = 0;
|
|
double dval = 0.0;
|
|
TYPE type;
|
|
int base = 10;
|
|
bool minus = FALSE;
|
|
int pos;
|
|
|
|
buffer_init(str, len);
|
|
|
|
jump_space();
|
|
|
|
c = get_char();
|
|
|
|
if (c == '+' || c == '-')
|
|
{
|
|
minus = (c == '-');
|
|
c = get_char();
|
|
}
|
|
|
|
if (option & NB_READ_INT_LONG)
|
|
{
|
|
if (option & NB_READ_HEX_BIN)
|
|
{
|
|
if (c == '&')
|
|
{
|
|
c = get_char();
|
|
|
|
if (c == 'H' || c == 'h')
|
|
{
|
|
base = 16;
|
|
c = get_char();
|
|
}
|
|
else if (c == 'O' || c == 'o')
|
|
{
|
|
base = 8;
|
|
c = get_char();
|
|
}
|
|
else if (c == 'X' || c == 'x')
|
|
{
|
|
base = 2;
|
|
c = get_char();
|
|
}
|
|
else
|
|
base = 16;
|
|
}
|
|
else if (c == '%')
|
|
{
|
|
base = 2;
|
|
c = get_char();
|
|
}
|
|
}
|
|
}
|
|
|
|
if (c < 0)
|
|
return TRUE;
|
|
|
|
if (c == '-' || c == '+')
|
|
return TRUE;
|
|
|
|
errno = 0;
|
|
pos = COMMON_pos - 1;
|
|
|
|
if (!read_integer(base, minus, &val, (option & NB_LOCAL) != 0))
|
|
{
|
|
if (minus) val = (-val);
|
|
|
|
if ((option & NB_READ_INTEGER) && IS_PURE_INTEGER(val))
|
|
{
|
|
type = T_INTEGER;
|
|
goto __END;
|
|
}
|
|
else if ((option & NB_READ_LONG))
|
|
{
|
|
type = T_LONG;
|
|
goto __END;
|
|
}
|
|
else if ((option & NB_READ_FLOAT) && base == 10)
|
|
{
|
|
type = T_FLOAT;
|
|
dval = (double)val;
|
|
goto __END;
|
|
}
|
|
}
|
|
|
|
if ((option & NB_READ_FLOAT) && base == 10)
|
|
{
|
|
COMMON_pos = pos;
|
|
get_char();
|
|
if (!read_float(&dval, (option & NB_LOCAL) != 0))
|
|
{
|
|
if (minus) dval = (-dval);
|
|
type = T_FLOAT;
|
|
goto __END;
|
|
}
|
|
}
|
|
|
|
return TRUE;
|
|
|
|
__END:
|
|
|
|
if (last_char() >= 0) //(c >= 0 && !isspace(c))
|
|
return TRUE;
|
|
|
|
value->type = type;
|
|
|
|
if (type == T_INTEGER)
|
|
value->_integer.value = val;
|
|
else if (type == T_LONG)
|
|
value->_long.value = val;
|
|
else
|
|
value->_float.value = dval;
|
|
|
|
//fprintf(stderr, "return FALSE\n");
|
|
return FALSE;
|
|
}
|
|
|
|
|
|
void NUMBER_int_to_string(uint64_t nbr, int prec, int base, VALUE *value)
|
|
{
|
|
char *ptr;
|
|
char *src;
|
|
int digit, len;
|
|
bool neg;
|
|
|
|
//if (prec < 0)
|
|
// ERROR_panic("NUMBER_int_to_string: prec < 0");
|
|
|
|
len = 0;
|
|
ptr = &COMMON_buffer[COMMON_BUF_MAX];
|
|
|
|
if (nbr == 0 && prec == 0)
|
|
{
|
|
STRING_char_value(value, '0');
|
|
return;
|
|
}
|
|
|
|
neg = (nbr & (1LL << 63)) != 0;
|
|
|
|
if (base == 10 && neg)
|
|
nbr = 1 + ~nbr;
|
|
|
|
while (nbr > 0)
|
|
{
|
|
digit = nbr % base;
|
|
nbr /= base;
|
|
|
|
ptr--;
|
|
len++;
|
|
|
|
if (digit < 10)
|
|
*ptr = '0' + digit;
|
|
else
|
|
*ptr = 'A' + digit - 10;
|
|
}
|
|
|
|
if (neg)
|
|
{
|
|
if (prec)
|
|
{
|
|
ptr += len - prec;
|
|
len = prec;
|
|
}
|
|
|
|
if (base == 10)
|
|
{
|
|
len++;
|
|
ptr--;
|
|
*ptr = '-';
|
|
}
|
|
|
|
STRING_new_temp_value(value, NULL, len);
|
|
src = value->_string.addr;
|
|
|
|
memcpy(src, ptr, len);
|
|
}
|
|
else
|
|
{
|
|
STRING_new_temp_value(value, NULL, Max(len, prec));
|
|
src = value->_string.addr;
|
|
|
|
while (prec > len)
|
|
{
|
|
*src++ = '0';
|
|
prec--;
|
|
}
|
|
|
|
memcpy(src, ptr, len);
|
|
}
|
|
}
|