gambas-source-code/main/gbx/gbx_subr_test.c
Benoît Minisini 5f900c0b68 [DEVELOPMENT ENVIRONMENT]
* NEW: English and french tips were updated. A new tip was added.
* NEW: Files that were opened at project close are automatically reopened
  when the project is loaded again.
* NEW: A warning message is displayed when the GNU translation tools are
  not installed.
* BUG: The code editor method combo-box is correctly updated now.
* BUG: Some fixes in the automatic completion.
* BUG: Replace points by dash in the name of packages generated by the IDE
  packager.
* NEW: Updated russian translation
* NEW: Updated french translation

[DATABASE MANAGER]
* NEW: Updated russian translation

[EXAMPLES]
* BUG: Fixed the Gravity and the GameOfLife examples so that they do not
  use public form controls anymore.

[INTERPRETER]
* OPT: Many optimizations in the string substitution routines, the 
  internal datatype conversions, the INPUT and LINE INPUT instructions, the 
  error messages generation, the object and string reference counting, and
  the memory allocation routines.
* NEW: Opening a device file in direct mode (FOR READ/WRITE) is now 
  automatically non blocking.
* OPT: Lof() now only tries its different methods (ioctl and lseek) once.
* BUG: Val() now ignores thousand separators characters at the end of the 
  number.
* NEW: A new flag for enabling the stack trace generation at each error.

[GB.DEBUG]
* BUG: The gb.debug component interface declaration was not 64-bits aware.

[GB.EVAL]
* BUG: The Highlight.Purge() method now correctly deals with non-ASCII 
 characters.

[GB.FORM]
* BUG: TableView.Edit() does not raise a "read-only combo-box" error 
  anymore.
  
[GB.FORM.DIALOG]
* BUG: Dialog buttons now are never cut.

[GB.GTK]
* BUG: Cached drawing areas are correctly redrawn now.
* BUG: Loading big images now works correctly. There is apparently a bug 
  in the GTK+ image loader, and I found a workaround.
* BUG: Message boxes correctly display the text of their buttons now.

[GB.QT]
* BUG: The Open, and initial Move and Resize event of embedded forms are 
  now always raised when you call the Show method or if you set the Visible
  property. Before, it was raised when the embedded form was actually 
  shown.

[GB.SETTINGS]
* NEW: Settings are now stored in ~/.config/gambasX, where X is the 
  gambas version number.
* BUG: Strings are correctly quoted inside the settings file now.

[GB.WEB]
* NEW: Application.Protocol is a new property that allows to tell the 
  component that the protocol is not necessarily "http".


git-svn-id: svn://localhost/gambas/trunk@1153 867c0c6c-44f3-4631-809d-bfa615b0a4ec
2008-03-11 13:29:47 +00:00

709 lines
12 KiB
C

/***************************************************************************
subr_test.c
Test and Boolean routines
(c) 2000-2007 Benoit 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 1, 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., 675 Mass Ave, Cambridge, MA 02139, USA.
***************************************************************************/
#include "gb_common.h"
#include <math.h>
#include "gbx_value.h"
#include "gbx_subr.h"
#include "gbx_date.h"
#include "gbx_object.h"
#include "gbx_math.h"
#include "gbx_compare.h"
#define STT_NAME SUBR_case
#define STT_TEST ==
#define STT_CASE
#include "gbx_subr_test_temp.h"
void SUBR_bit(void)
{
static void *jump[16] = {
&&__ERROR, &&__BCLR, &&__BSET, &&__BTST, &&__BCHG, &&__ASL, &&__ASR, &&__ROL,
&&__ROR, &&__LSL, &&__LSR, &&__ERROR, &&__ERROR, &&__ERROR, &&__ERROR, &&__ERROR
};
int64_t val;
uint64_t uval;
int bit;
TYPE type;
int n;
SUBR_ENTER_PARAM(2);
type = PARAM->type;
switch (type)
{
case T_BYTE: n = 8; break;
case T_SHORT: n = 16; break;
case T_INTEGER: n = 32; break;
default: n = 64; type = T_LONG; break;
}
VALUE_conv(PARAM, T_LONG);
val = PARAM->_long.value;
VALUE_conv(&PARAM[1], T_INTEGER);
bit = PARAM[1]._integer.value;
if ((bit < 0) || (bit >= n))
THROW(E_ARG);
RETURN->type = type;
goto *jump[EXEC_code & 0xF];
__BCLR:
val &= ~(1 << bit);
goto __END;
__BSET:
val |= (1 << bit);
goto __END;
__BTST:
RETURN->type = T_BOOLEAN;
val = (val & (1 << bit)) ? (-1) : 0;
goto __END;
__BCHG:
val ^= (1 << bit);
goto __END;
__ASL:
if (type == T_LONG)
val <<= bit;
else
val = ((int)val << bit);
goto __END;
__ASR:
if (type == T_LONG)
val >>= bit;
else
val = ((int)val >> bit);
goto __END;
__ROL:
val = (val << bit) | (val >> (n - bit));
goto __END;
__ROR:
val = (val >> bit) | (val << (n - bit));
goto __END;
__LSL:
if (type == T_LONG)
{
uval = (uint64_t)val;
uval <<= bit;
val = (int64_t)uval;
}
else
{
uval = (unsigned int)val;
uval <<= bit;
val = (int)uval;
}
goto __END;
__LSR:
if (type == T_LONG)
{
uval = (uint64_t)val;
uval >>= bit;
val = (int64_t)uval;
}
else
{
uval = (unsigned int)val;
uval >>= bit;
val = (int)uval;
}
goto __END;
__ERROR:
EXEC_ILLEGAL();
__END:
if (type == T_LONG)
RETURN->_long.value = val;
else
RETURN->_integer.value = val;
SUBR_LEAVE();
}
#if 0
void SUBR_min_max(void)
{
TYPE type = T_VOID;
int i;
boolean is_max;
SUBR_ENTER();
is_max = ((EXEC_code >> 8) == CODE_MAX);
for (i = 0; i < NPARAM; i++)
{
VARIANT_undo(&PARAM[i]);
type = Max(type, PARAM[i].type);
}
if (!TYPE_is_number_date(type))
THROW(E_TYPE, "Number or Date", TYPE_get_name(type));
VALUE_conv(PARAM, type);
switch (type)
{
case T_FLOAT:
for (i = 1; i < NPARAM; i++)
{
VALUE_conv(&PARAM[i], type);
if ((PARAM[i]._float.value < PARAM[0]._float.value) ^ is_max)
PARAM[0]._float.value = PARAM[i]._float.value;
}
break;
case T_DATE:
for (i = 1; i < NPARAM; i++)
{
VALUE_conv(&PARAM[i], type);
if (DATE_comp_value(&PARAM[i], &PARAM[0]) == (is_max ? 1 : -1))
{
PARAM[0]._date.date = PARAM[i]._date.date;
PARAM[0]._date.time = PARAM[i]._date.time;
}
}
break;
case T_LONG:
for (i = 1; i < NPARAM; i++)
{
VALUE_conv(&PARAM[i], type);
if ((PARAM[i]._long.value < PARAM[0]._long.value) ^ is_max)
PARAM[0]._long.value = PARAM[i]._long.value;
}
break;
default:
for (i = 1; i < NPARAM; i++)
{
VALUE_conv(&PARAM[i], type);
if ((PARAM[i]._integer.value < PARAM[0]._integer.value) ^ is_max)
PARAM[0]._integer.value = PARAM[i]._integer.value;
}
break;
}
SP -= NPARAM;
SP++;
}
#endif
void SUBR_if(void)
{
SUBR_ENTER_PARAM(3);
VALUE_conv(PARAM, T_BOOLEAN);
switch (EXEC_code & 0x1F)
{
case 0:
if (PARAM[1].type == PARAM[2].type)
{
*PC |= 1;
goto __TYPE;
}
else
{
*PC |= 2;
goto __VARIANT;
}
case 1:
__TYPE:
*RETURN = PARAM->_boolean.value ? PARAM[1] : PARAM[2];
break;
case 2:
__VARIANT:
if (PARAM->_boolean.value)
{
VALUE_conv(&PARAM[1], T_VARIANT);
*RETURN = PARAM[1];
}
else
{
VALUE_conv(&PARAM[2], T_VARIANT);
*RETURN = PARAM[2];
}
break;
}
SUBR_LEAVE();
}
void SUBR_choose(void)
{
int val;
SUBR_ENTER();
VALUE_conv(PARAM, T_INTEGER);
val = PARAM->_integer.value;
if (val >= 1 && val <= NPARAM)
{
VALUE_conv(&PARAM[val], T_VARIANT);
*RETURN = PARAM[val];
}
else
{
RETURN->type = T_VARIANT;
RETURN->_variant.vtype = T_NULL;
}
SUBR_LEAVE();
}
void SUBR_near(void)
{
int result;
SUBR_ENTER_PARAM(2);
VALUE_conv_string(&PARAM[0]);
VALUE_conv_string(&PARAM[1]);
//result = STRING_comp_value_ignore_case(&PARAM[0], &PARAM[1]) ? -1 : 0;
result = STRING_equal_ignore_case(PARAM[0]._string.addr + PARAM[0]._string.start, PARAM[0]._string.len, PARAM[1]._string.addr + PARAM[1]._string.start, PARAM[1]._string.len) ? -1 : 0;
RELEASE(&PARAM[0]);
RELEASE(&PARAM[1]);
PARAM->type = T_BOOLEAN;
PARAM->_boolean.value = result;
SP--;
}
void SUBR_comp(void)
{
static void *jump[17] = {
&&__VARIANT, &&__BOOLEAN, &&__BYTE, &&__SHORT, &&__INTEGER, &&__LONG, &&__SINGLE, &&__FLOAT, &&__DATE,
&&__STRING, &&__STRING, &&__ERROR, &&__ERROR, &&__ERROR, &&__ERROR,
&&__NULL, &&__OBJECT
};
static void *test[] = { &&__EQ, &&__NE, &&__GT, &&__LE, &&__LT, &&__GE };
char result = 0; // prevents a gcc warning
char op;
VALUE *P1;
VALUE *P2;
bool variant;
TYPE type, typem;
P1 = SP - 2;
P2 = P1 + 1;
type = EXEC_code & 0x1F;
op = (EXEC_code - C_EQ) >> 8;
goto *jump[type];
__BOOLEAN:
__BYTE:
__SHORT:
__INTEGER:
{
int tmp = P1->_integer.value - P2->_integer.value;
result = tmp > 0 ? 1 : tmp < 0 ? -1 : 0;
goto __END;
}
__LONG:
VALUE_conv(P1, T_LONG);
VALUE_conv(P2, T_LONG);
result = llsgn(P1->_long.value - P2->_long.value);
goto __END;
__DATE:
VALUE_conv(P1, T_DATE);
VALUE_conv(P2, T_DATE);
result = DATE_comp_value(P1, P2);
goto __END;
__NULL:
if (op < 2)
{
if (P2->type == T_NULL)
{
result = !VALUE_is_null(P1);
goto __END_RELEASE;
}
else if (P1->type == T_NULL)
{
result = !VALUE_is_null(P2);
goto __END_RELEASE;
}
}
__STRING:
VALUE_conv_string(P1);
VALUE_conv_string(P2);
// if (op < 2 && P1->_string.len != P2->_string.len)
// result = 1;
// else
// result = STRING_comp_value(P1, P2);
if (op < 2)
{
if (P1->_string.len != P2->_string.len)
result = 1;
else
result = !STRING_equal_same(P1->_string.addr + P1->_string.start, P2->_string.addr + P2->_string.start, P1->_string.len);
}
else
result = STRING_compare(P1->_string.addr + P1->_string.start, P1->_string.len, P2->_string.addr + P2->_string.start, P2->_string.len);
goto __END_RELEASE;
__SINGLE:
__FLOAT:
VALUE_conv(P1, T_FLOAT);
VALUE_conv(P2, T_FLOAT);
result = fsgn(P1->_float.value - P2->_float.value);
goto __END;
__OBJECT:
result = OBJECT_comp_value(P1, P2);
goto __END_RELEASE;
__VARIANT:
variant = FALSE;
if (TYPE_is_variant(P1->type))
{
VARIANT_undo(P1);
variant = TRUE;
}
if (TYPE_is_variant(P2->type))
{
VARIANT_undo(P2);
variant = TRUE;
}
type = Max(P1->type, P2->type);
if (op > 1)
{
if (type == T_NULL || TYPE_is_string(type))
{
typem = Min(P1->type, P2->type);
if (!TYPE_is_string(typem))
THROW(E_TYPE, TYPE_get_name(typem), TYPE_get_name(type));
}
else if (TYPE_is_object(type))
goto __ERROR;
}
else
{
if (TYPE_is_object_null(P1->type) && TYPE_is_object_null(P2->type))
type = T_OBJECT;
else if (TYPE_is_object(type))
THROW(E_TYPE, "Object", TYPE_get_name(Min(P1->type, P2->type)));
}
if (!variant)
*PC |= type;
goto *jump[type];
__ERROR:
THROW(E_TYPE, "Number, Date or String", TYPE_get_name(type));
__END_RELEASE:
RELEASE(P1);
RELEASE(P2);
__END:
P1->type = T_BOOLEAN;
SP--;
goto *test[(int)op];
__EQ:
P1->_boolean.value = result == 0 ? -1 : 0;
return;
__NE:
P1->_boolean.value = result != 0 ? -1 : 0;
return;
__GT:
P1->_boolean.value = result > 0 ? -1 : 0;
return;
__GE:
P1->_boolean.value = result >= 0 ? -1 : 0;
return;
__LT:
P1->_boolean.value = result < 0 ? -1 : 0;
return;
__LE:
P1->_boolean.value = result <= 0 ? -1 : 0;
return;
}
void SUBR_strcomp(void)
{
int mode = GB_COMP_BINARY;
char *s1, *s2;
int l1, l2;
int ret;
SUBR_ENTER();
VALUE_conv_string(&PARAM[0]);
VALUE_conv_string(&PARAM[1]);
if (NPARAM == 3)
mode = SUBR_get_integer(&PARAM[2]);
mode &= GB_COMP_TYPE_MASK;
if (mode == GB_COMP_BINARY)
ret = STRING_compare(PARAM[0]._string.addr + PARAM[0]._string.start, PARAM[0]._string.len, PARAM[1]._string.addr + PARAM[1]._string.start, PARAM[1]._string.len);
else if (mode == GB_COMP_TEXT)
ret = STRING_compare_ignore_case(PARAM[0]._string.addr + PARAM[0]._string.start, PARAM[0]._string.len, PARAM[1]._string.addr + PARAM[1]._string.start, PARAM[1]._string.len);
else
{
SUBR_get_string_len(&PARAM[0], &s1, &l1);
SUBR_get_string_len(&PARAM[1], &s2, &l2);
ret = COMPARE_string_lang(s1, l1, s2, l2, mode, FALSE);
}
RETURN->_integer.type = T_INTEGER;
RETURN->_integer.value = ret;
SUBR_LEAVE();
}
void SUBR_is(void)
{
VALUE *P1 = SP - 2;
VALUE *P2 = SP - 1;
void *object;
CLASS *klass;
bool res;
VALUE_conv(P1, T_OBJECT);
object = P1->_object.object;
klass = P2->_class.class;
if (!object)
res = FALSE;
else
res = (OBJECT_class(object) == klass || CLASS_inherits(OBJECT_class(object), klass));
OBJECT_UNREF(&object, "SUBR_is");
P1->type = T_BOOLEAN;
P1->_boolean.value = res ? -1 : 0;
SP--;
}
void SUBR_min_max(void)
{
static void *jump[] = {
&&__VARIANT, &&__BOOLEAN, &&__BYTE, &&__SHORT, &&__INTEGER, &&__LONG, &&__FLOAT, &&__FLOAT, &&__DATE
};
TYPE type;
VALUE *P1, *P2;
void *jump_end;
bool is_max;
P1 = SP - 2;
P2 = P1 + 1;
jump_end = &&__END;
type = EXEC_code & 0x0F;
is_max = ((EXEC_code >> 8) == CODE_MAX);
goto *jump[type];
__BOOLEAN:
__BYTE:
__SHORT:
__INTEGER:
P1->type = type;
if (is_max)
{
if (P2->_integer.value > P1->_integer.value)
P1->_integer.value = P2->_integer.value;
}
else
{
if (P2->_integer.value < P1->_integer.value)
P1->_integer.value = P2->_integer.value;
}
goto *jump_end;
__LONG:
VALUE_conv(P1, T_LONG);
VALUE_conv(P2, T_LONG);
if (is_max)
{
if (P2->_long.value > P1->_long.value)
P1->_long.value = P2->_long.value;
}
else
{
if (P2->_long.value < P1->_long.value)
P1->_long.value = P2->_long.value;
}
goto *jump_end;
__FLOAT:
VALUE_conv(P1, T_FLOAT);
VALUE_conv(P2, T_FLOAT);
if (is_max)
{
if (P2->_float.value > P1->_float.value)
P1->_float.value = P2->_float.value;
}
else
{
if (P2->_float.value < P1->_float.value)
P1->_float.value = P2->_float.value;
}
goto *jump_end;
__DATE:
VALUE_conv(P1, T_DATE);
VALUE_conv(P2, T_DATE);
if (DATE_comp_value(P1, P2) == (is_max ? -1 : 1))
*P1 = *P2;
goto *jump_end;
__VARIANT:
type = Max(P1->type, P2->type);
if (TYPE_is_number_date(type))
{
*PC |= type;
goto *jump[type];
}
if (TYPE_is_variant(P1->type))
VARIANT_undo(P1);
if (TYPE_is_variant(P2->type))
VARIANT_undo(P2);
type = Max(P1->type, P2->type);
if (TYPE_is_number_date(type))
{
jump_end = &&__VARIANT_END;
goto *jump[type];
}
goto __ERROR;
__ERROR:
THROW(E_TYPE, "Number or date", TYPE_get_name(type));
__VARIANT_END:
VALUE_conv(P1, T_VARIANT);
__END:
SP--;
}