expr.c 40.8 KB
Newer Older
Miguel de Icaza's avatar
Miguel de Icaza committed
1 2 3 4 5 6
/*
 * expr.c: Expression evaluation in Gnumeriuc
 *
 * Author:
 *   Miguel de Icaza (miguel@gnu.org).
 */
7
#include <config.h>
Arturo Espinosa's avatar
Arturo Espinosa committed
8
#include <gnome.h>
Arturo Espinosa's avatar
Arturo Espinosa committed
9
#include <math.h>
10
#include <string.h>
Arturo Espinosa's avatar
Arturo Espinosa committed
11
#include "gnumeric.h"
Arturo Espinosa's avatar
Arturo Espinosa committed
12
#include "expr.h"
Arturo Espinosa's avatar
Arturo Espinosa committed
13
#include "eval.h"
Miguel de Icaza's avatar
Today:  
Miguel de Icaza committed
14
#include "format.h"
15
#include "func.h"
16
#include "utils.h"
17

18 19
Value *value_zero = NULL;

20
ExprTree *
21 22
expr_parse_string (const char *expr, Sheet *sheet, int col, int row,
		   const char **desired_format, char **error_msg)
23
{
24
	ExprTree *tree;
25
	g_return_val_if_fail (expr != NULL, NULL);
26 27

	switch (gnumeric_expr_parser (expr, sheet, col, row, desired_format, &tree)) {
28 29
	case PARSE_OK:
		*error_msg = NULL;
30 31
		tree->ref_count = 1;
		return tree;
32

Arturo Espinosa's avatar
Arturo Espinosa committed
33 34 35
	case PARSE_ERR_SYNTAX:
		*error_msg = _("Syntax error");
		break;
36

37 38 39
	case PARSE_ERR_NO_QUOTE:
		*error_msg = _("Missing quote");
		break;
40
	default:
Arturo Espinosa's avatar
Arturo Espinosa committed
41 42 43
		g_assert_not_reached ();
		*error_msg = _("Impossible!");
		break;
44
	}
45 46 47
	return NULL;
}

48

49
ExprTree *
Morten Welinder's avatar
Morten Welinder committed
50
expr_tree_new (void)
51
{
52 53 54 55 56 57
	ExprTree *ans;

	ans = g_new (ExprTree, 1);
	if (!ans)
		return NULL;
	
58 59 60 61 62 63
	ans->ref_count = 1;
	ans->oper = OPER_CONSTANT;
	ans->u.constant = NULL;
	return ans;
}

Arturo Espinosa's avatar
Arturo Espinosa committed
64 65 66 67
/*
 * expr_tree_ref:
 * Increments the ref_count for part of a tree
 */
68 69 70 71 72 73
void
expr_tree_ref (ExprTree *tree)
{
	g_return_if_fail (tree != NULL);
	g_return_if_fail (tree->ref_count > 0);

Morten Welinder's avatar
Morten Welinder committed
74
	tree->ref_count++;
Arturo Espinosa's avatar
Arturo Espinosa committed
75 76 77 78 79
}

static void
do_expr_tree_unref (ExprTree *tree)
{
Morten Welinder's avatar
Morten Welinder committed
80 81 82
	if (--tree->ref_count > 0)
		return;

Arturo Espinosa's avatar
Arturo Espinosa committed
83
	switch (tree->oper){
84
	case OPER_VAR:
Arturo Espinosa's avatar
Arturo Espinosa committed
85
		break;
86

87
	case OPER_CONSTANT:
Morten Welinder's avatar
Morten Welinder committed
88
		value_release (tree->u.constant);
Arturo Espinosa's avatar
Arturo Espinosa committed
89
		break;
90

Morten Welinder's avatar
Morten Welinder committed
91 92 93 94 95 96 97
	case OPER_FUNCALL: {
		GList *l;

		for (l = tree->u.function.arg_list; l; l = l->next)
			do_expr_tree_unref (l->data);
		g_list_free (tree->u.function.arg_list);
		symbol_unref (tree->u.function.symbol);
Arturo Espinosa's avatar
Arturo Espinosa committed
98
		break;
Morten Welinder's avatar
Morten Welinder committed
99
	}
Arturo Espinosa's avatar
Arturo Espinosa committed
100

101
	case OPER_ANY_BINARY:
Arturo Espinosa's avatar
Arturo Espinosa committed
102 103 104 105
		do_expr_tree_unref (tree->u.binary.value_a);
		do_expr_tree_unref (tree->u.binary.value_b);
		break;

106
	case OPER_ANY_UNARY:
Arturo Espinosa's avatar
Arturo Espinosa committed
107 108
		do_expr_tree_unref (tree->u.value);
		break;
109 110 111
	default:
		g_warning ("do_expr_tree_unref error\n");
		break;
Arturo Espinosa's avatar
Arturo Espinosa committed
112
	}
113

Morten Welinder's avatar
Morten Welinder committed
114
	g_free (tree);
115 116
}

Morten Welinder's avatar
Morten Welinder committed
117 118 119 120 121 122
/*
 * expr_tree_unref:
 * Decrements the ref_count for part of a tree.  (All trees are expected
 * to have been created with a ref-count of one, so when we hit zero, we
 * go down over the tree and unref the tree and its leaves stuff.)
 */
123 124 125 126 127 128
void
expr_tree_unref (ExprTree *tree)
{
	g_return_if_fail (tree != NULL);
	g_return_if_fail (tree->ref_count > 0);

Arturo Espinosa's avatar
Arturo Espinosa committed
129
	do_expr_tree_unref (tree);
130 131
}

Miguel de Icaza's avatar
Today:  
Miguel de Icaza committed
132 133 134 135
/*
 * simplistic value rendering
 */
char *
Michael Meeks's avatar
Michael Meeks committed
136
value_get_as_string (const Value *value)
Miguel de Icaza's avatar
Today:  
Miguel de Icaza committed
137 138 139 140 141 142
{
	switch (value->type){
	case VALUE_STRING:
		return g_strdup (value->v.str->str);

	case VALUE_INTEGER:
Arturo Espinosa's avatar
Arturo Espinosa committed
143
		return g_strdup_printf ("%d", value->v.v_int);
Miguel de Icaza's avatar
Today:  
Miguel de Icaza committed
144 145

	case VALUE_FLOAT:
Arturo Espinosa's avatar
Arturo Espinosa committed
146
		return g_strdup_printf ("%g", value->v.v_float);
Miguel de Icaza's avatar
Today:  
Miguel de Icaza committed
147

148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176
	case VALUE_ARRAY: {
		GString *str = g_string_new ("{");
		guint lpx, lpy;
		char *ans;

		for (lpy=0;lpy<value->v.array.y;lpy++) {
			for (lpx=0;lpx<value->v.array.x;lpx++) {
				const Value *v = value->v.array.vals[lpx][lpy];
				g_return_val_if_fail (v->type == VALUE_STRING ||
						      v->type == VALUE_FLOAT ||
						      v->type == VALUE_INTEGER,
						      "Duff Array contents");
				if (lpx)
					g_string_sprintfa (str, ",");
				if (v->type == VALUE_STRING)
					g_string_sprintfa (str, "\"%s\"",
							   v->v.str->str);
				else
					g_string_sprintfa (str, "%g",
							   value_get_as_float (v));
			}
			if (lpy<value->v.array.y-1)
				g_string_sprintfa (str, ";");
		}
		g_string_sprintfa (str, "}");
		ans = str->str;
		g_string_free (str, FALSE);
		return ans;
	}
177

Miguel de Icaza's avatar
Today:  
Miguel de Icaza committed
178
	case VALUE_CELLRANGE:
Arturo Espinosa's avatar
Arturo Espinosa committed
179
		break;
180 181 182
	default:
		g_warning ("value_string problem\n");
		break;
Miguel de Icaza's avatar
Today:  
Miguel de Icaza committed
183
	}
184

Arturo Espinosa's avatar
Arturo Espinosa committed
185
	return g_strdup ("Internal problem");
Miguel de Icaza's avatar
Today:  
Miguel de Icaza committed
186 187
}

188 189 190
void
value_release (Value *value)
{
Arturo Espinosa's avatar
Arturo Espinosa committed
191
	g_return_if_fail (value != NULL);
192

193 194 195 196 197 198 199
	switch (value->type){
	case VALUE_STRING:
		string_unref (value->v.str);
		break;

	case VALUE_INTEGER:
		mpz_clear (value->v.v_int);
200
		break;
201

202 203 204 205
	case VALUE_FLOAT:
		mpf_clear (value->v.v_float);
		break;

206
	case VALUE_ARRAY:{
207
		guint lpx, lpy;
208

209 210 211 212 213
		for (lpx = 0; lpx < value->v.array.x; lpx++) {
			for (lpy = 0; lpy < value->v.array.y; lpy++)
				value_release (value->v.array.vals[lpx][lpy]);
			g_free (value->v.array.vals [lpx]);
		}
214

215
		g_free (value->v.array.vals);
Morten Welinder's avatar
Morten Welinder committed
216
		break;
Arturo Espinosa's avatar
Arturo Espinosa committed
217
	}
218

Arturo Espinosa's avatar
Arturo Espinosa committed
219 220
	case VALUE_CELLRANGE:
		break;
221

222 223 224
	default:
		g_warning ("value_release problem\n");
		break;
225
	}
Arturo Espinosa's avatar
Arturo Espinosa committed
226
	g_free (value);
227
}
228

Arturo Espinosa's avatar
Arturo Espinosa committed
229 230 231 232
/*
 * Copies a Value.
 */
void
233
value_copy_to (Value *dest, const Value *source)
Arturo Espinosa's avatar
Arturo Espinosa committed
234 235 236 237 238
{
	g_return_if_fail (dest != NULL);
	g_return_if_fail (source != NULL);

	dest->type = source->type;
239

Arturo Espinosa's avatar
Arturo Espinosa committed
240 241 242 243 244 245 246 247 248 249 250 251 252 253
	switch (source->type){
	case VALUE_STRING:
		dest->v.str = source->v.str;
		string_ref (dest->v.str);
		break;

	case VALUE_INTEGER:
		dest->v.v_int = source->v.v_int;
		break;

	case VALUE_FLOAT:
		dest->v.v_float = source->v.v_float;
		break;

Arturo Espinosa's avatar
Arturo Espinosa committed
254
	case VALUE_ARRAY: {
255
		value_array_copy_to (dest, source);
Arturo Espinosa's avatar
Arturo Espinosa committed
256 257 258 259 260
		break;
	}
	case VALUE_CELLRANGE:
		dest->v.cell_range = source->v.cell_range;
		break;
261 262 263
	default:
		g_warning ("value_copy_to problem\n");
		break;
Arturo Espinosa's avatar
Arturo Espinosa committed
264 265 266
	}
}

Arturo Espinosa's avatar
Arturo Espinosa committed
267 268 269 270
/*
 * Makes a copy of a Value
 */
Value *
271
value_duplicate (const Value *value)
Arturo Espinosa's avatar
Arturo Espinosa committed
272 273 274 275 276 277
{
	Value *new_value;

	g_return_val_if_fail (value != NULL, NULL);
	new_value = g_new (Value, 1);
	value_copy_to (new_value, value);
278

Arturo Espinosa's avatar
Arturo Espinosa committed
279 280 281
	return new_value;
}

282
Value *
Michael Meeks's avatar
Michael Meeks committed
283
value_new_float (float_t f)
284 285 286 287 288 289 290 291 292 293
{
	Value *v = g_new (Value, 1);

	v->type = VALUE_FLOAT;
	v->v.v_float = f;

	return v;
}

Value *
Michael Meeks's avatar
Michael Meeks committed
294
value_new_int (int i)
295 296 297 298 299 300 301 302 303
{
	Value *v = g_new (Value, 1);

	v->type = VALUE_INTEGER;
	v->v.v_int = i;

	return v;
}

304
Value *
Michael Meeks's avatar
Michael Meeks committed
305
value_new_string (const char *str)
306 307 308 309 310 311 312 313 314
{
	Value *v = g_new (Value, 1);

	v->type = VALUE_STRING;
	v->v.str = string_get (str);

	return v;
}

315
Value *
Michael Meeks's avatar
Michael Meeks committed
316
value_new_cellrange (const CellRef *a, const CellRef *b)
317 318
{
	Value *v = g_new (Value, 1);
Morten Welinder's avatar
Morten Welinder committed
319

320
	v->type = VALUE_CELLRANGE;
Morten Welinder's avatar
Morten Welinder committed
321 322 323
	v->v.cell_range.cell_a = *a;
	v->v.cell_range.cell_b = *b;

324 325 326
	return v;
}

Arturo Espinosa's avatar
Arturo Espinosa committed
327 328 329 330
/*
 * Casts a value to float if it is integer, and returns
 * a new Value * if required
 */
331
Value *
332
value_cast_to_float (Value *v)
Arturo Espinosa's avatar
Arturo Espinosa committed
333 334
{
	Value *newv;
335

Arturo Espinosa's avatar
Arturo Espinosa committed
336 337 338 339
	g_return_val_if_fail (VALUE_IS_NUMBER (v), NULL);

	if (v->type == VALUE_FLOAT)
		return v;
340

Arturo Espinosa's avatar
Arturo Espinosa committed
341 342 343
	newv = g_new (Value, 1);
	newv->type = VALUE_FLOAT;
	mpf_set_z (newv->v.v_float, v->v.v_int);
344
	value_release (v);
345

Arturo Espinosa's avatar
Arturo Espinosa committed
346 347 348
	return newv;
}

Arturo Espinosa's avatar
Arturo Espinosa committed
349
int
Michael Meeks's avatar
Michael Meeks committed
350
value_get_as_bool (const Value *v, int *err)
Arturo Espinosa's avatar
Arturo Espinosa committed
351 352 353
{
	*err = 0;

354 355
	switch (v->type) {
	case VALUE_STRING:
Arturo Espinosa's avatar
Arturo Espinosa committed
356 357
		return atoi (v->v.str->str);

358
	case VALUE_CELLRANGE:
Arturo Espinosa's avatar
Arturo Espinosa committed
359 360
		*err = 1;
		return 0;
361 362
		
	case VALUE_INTEGER:
Arturo Espinosa's avatar
Arturo Espinosa committed
363 364
		return v->v.v_int != 0;

365
	case VALUE_FLOAT:
Arturo Espinosa's avatar
Arturo Espinosa committed
366 367
		return v->v.v_float != 0.0;

368
	case VALUE_ARRAY:
Arturo Espinosa's avatar
Arturo Espinosa committed
369
		return 0;
370 371 372 373
	default:
		g_warning ("Unhandled value in value_get_boolean");
		break;
	}
Arturo Espinosa's avatar
Arturo Espinosa committed
374 375 376
	return 0;
}

Arturo Espinosa's avatar
Arturo Espinosa committed
377
float_t
Michael Meeks's avatar
Michael Meeks committed
378
value_get_as_float (const Value *v)
Arturo Espinosa's avatar
Arturo Espinosa committed
379
{
380 381 382
	switch (v->type)
	{
	case VALUE_STRING:
Arturo Espinosa's avatar
Arturo Espinosa committed
383 384
		return atof (v->v.str->str);

385
	case VALUE_CELLRANGE:
Arturo Espinosa's avatar
Arturo Espinosa committed
386 387 388
		g_warning ("Getting range as a double: what to do?");
		return 0.0;

389
	case VALUE_INTEGER:
Arturo Espinosa's avatar
Arturo Espinosa committed
390
		return (float_t) v->v.v_int;
391 392
		
	case VALUE_ARRAY:
Arturo Espinosa's avatar
Arturo Espinosa committed
393
		return 0.0;
394

395 396 397
	case VALUE_FLOAT:
		return (float_t) v->v.v_float;
	default:
Michael Meeks's avatar
Michael Meeks committed
398
		g_warning ("value_get_as_float type error\n");
399 400 401
		break;
	}
	return 0.0;
Arturo Espinosa's avatar
Arturo Espinosa committed
402 403
}

404
int
405
value_get_as_int (const Value *v)
406
{
407 408 409
	switch (v->type)
	{
	case VALUE_STRING:
410 411
		return atoi (v->v.str->str);

412
	case VALUE_CELLRANGE:
413 414 415
		g_warning ("Getting range as a double: what to do?");
		return 0.0;

416
	case VALUE_INTEGER:
417 418
		return v->v.v_int;

419
	case VALUE_ARRAY:
420
		return 0.0;
421

422 423 424 425 426 427
	case VALUE_FLOAT:
		return (int) v->v.v_float;
	default:
		g_warning ("value_get_as_int unknown type\n");
		break;
	}
Michael Meeks's avatar
Michael Meeks committed
428
	return 0.0;
429 430
}

431 432 433
Value *
value_array_new (guint width, guint height)
{
434
	int x, y;
435 436 437 438 439

	Value *v = g_new (Value, 1);
	v->type = VALUE_ARRAY;
	v->v.array.x = width;
	v->v.array.y = height;
440
	v->v.array.vals = g_new (Value **, width);
441 442

	for (x = 0; x < width; x++){
443 444 445
		v->v.array.vals [x] = g_new (Value *, height);
		for (y = 0; y < height; y++)
			v->v.array.vals[x][y] = value_new_int (0);
446 447 448 449
	}
	return v;
}

Michael Meeks's avatar
Michael Meeks committed
450 451 452 453
void
value_array_set (Value *array, guint col, guint row, Value *v)
{
	g_return_if_fail (v);
454
	g_return_if_fail (array->type == VALUE_ARRAY);
Michael Meeks's avatar
Michael Meeks committed
455 456
	g_return_if_fail (col>=0);
	g_return_if_fail (row>=0);
457 458
	g_return_if_fail (array->v.array.y > row);
	g_return_if_fail (array->v.array.x > col);
Michael Meeks's avatar
Michael Meeks committed
459

460 461 462
	if (array->v.array.vals[col][row])
		value_release (array->v.array.vals[col][row]);
	array->v.array.vals[col][row] = v;
Michael Meeks's avatar
Michael Meeks committed
463 464
}

465 466 467
void
value_array_resize (Value *v, guint width, guint height)
{
468
	int x, y, xcpy, ycpy;
469
	Value *newval;
470
	Value ***tmp;
471

Michael Meeks's avatar
Michael Meeks committed
472
	g_warning ("Totally untested");
473 474 475 476 477 478 479 480
	g_return_if_fail (v);
	g_return_if_fail (v->type == VALUE_ARRAY);

	newval = value_array_new (width, height);

	if (width>v->v.array.x)
		xcpy = v->v.array.x;
	else
481
		xcpy = width;
482 483 484 485 486 487

	if (height>v->v.array.y)
		ycpy = v->v.array.y;
	else
		ycpy = height;

488 489 490 491 492
	for (x = 0; x < xcpy; x++)
		for (y = 0; y < ycpy; y++)
			value_array_set (newval, x, y, v->v.array.vals[x][y]);

	tmp = v->v.array.vals;
493
	v->v.array.vals = newval->v.array.vals;
494 495 496
	newval->v.array.vals = tmp ;
	value_release (newval);

497 498 499 500 501 502 503
	v->v.array.x = width;
	v->v.array.y = height;
}

void
value_array_copy_to (Value *v, const Value *src)
{
504
	int x, y;
505 506 507 508 509

	g_return_if_fail (src->type == VALUE_ARRAY);
	v->type = VALUE_ARRAY;
	v->v.array.x = src->v.array.x;
	v->v.array.y = src->v.array.y;
510
	v->v.array.vals = g_new (Value **, v->v.array.x);
511

512 513 514 515
	for (x = 0; x < v->v.array.x; x++) {
		v->v.array.vals [x] = g_new (Value *, v->v.array.y);
		for (y = 0; y < v->v.array.y; y++)
			v->v.array.vals [x][y] = value_duplicate (src->v.array.vals [x][y]);
516 517 518 519 520 521 522 523 524
	}
}

guint
value_area_get_width (Value *v)
{
	g_return_val_if_fail (v, 0);
	g_return_val_if_fail (v->type == VALUE_ARRAY ||
			      v->type == VALUE_CELLRANGE, 1);
525

526 527
	if (v->type == VALUE_ARRAY)
		return v->v.array.x;
528 529 530 531 532 533 534 535
	else {
		guint ans = v->v.cell_range.cell_b.col -
			    v->v.cell_range.cell_a.col + 1;
		if (v->v.cell_range.cell_a.sheet && 
		    v->v.cell_range.cell_a.sheet->max_col_used < ans)
			ans = v->v.cell_range.cell_a.sheet->max_col_used+1;
		return ans;
	}
536 537 538 539 540 541 542 543
}

guint
value_area_get_height (Value *v)
{
	g_return_val_if_fail (v, 0);
	g_return_val_if_fail (v->type == VALUE_ARRAY ||
			      v->type == VALUE_CELLRANGE, 1);
544

545 546
	if (v->type == VALUE_ARRAY)
		return v->v.array.y;
547 548 549 550 551 552 553 554
	else {
		guint ans = v->v.cell_range.cell_b.row -
		            v->v.cell_range.cell_a.row + 1;
		if (v->v.cell_range.cell_a.sheet && 
		    v->v.cell_range.cell_a.sheet->max_row_used < ans)
			ans = v->v.cell_range.cell_a.sheet->max_row_used+1;
		return ans;
	}
555 556 557 558 559 560 561 562
}

const Value *
value_area_get_at_x_y (Value *v, guint x, guint y)
{
	g_return_val_if_fail (v, 0);
	g_return_val_if_fail (v->type == VALUE_ARRAY ||
			      v->type == VALUE_CELLRANGE,
Michael Meeks's avatar
Michael Meeks committed
563
			     value_new_int (0));
564 565

	if (v->type == VALUE_ARRAY){
566
		g_return_val_if_fail (v->v.array.x < x &&
567
				      v->v.array.y < y,
Michael Meeks's avatar
Michael Meeks committed
568
				     value_new_int (0));
569
		return v->v.array.vals [x][y];
570 571 572
	} else {
		CellRef *a, *b;
		Cell *cell;
573

574 575
		a = &v->v.cell_range.cell_a;
		b = &v->v.cell_range.cell_b;
576 577 578 579 580 581 582 583 584 585 586
		g_return_val_if_fail (!a->col_relative, value_zero);
		g_return_val_if_fail (!b->col_relative, value_zero);
		g_return_val_if_fail (!a->row_relative, value_zero);
		g_return_val_if_fail (!b->row_relative, value_zero);
		g_return_val_if_fail (a->col<=b->col, value_zero);
		g_return_val_if_fail (a->row<=b->row, value_zero);

		/* Speedup */
		if (a->sheet->max_col_used < a->col+x ||
		    a->sheet->max_row_used < a->row+y)
			return value_zero;
587

588
		cell = sheet_cell_get (a->sheet, a->col+x, a->row+y);
589

590 591 592
		if (cell && cell->value)
			return cell->value;
	}
Michael Meeks's avatar
Michael Meeks committed
593
	
594
	return value_zero;
595 596
}

597 598 599 600 601 602
static void
cell_ref_make_absolute (CellRef *cell_ref, int eval_col, int eval_row)
{
	g_return_if_fail (cell_ref != NULL);

	if (cell_ref->col_relative)
603
		cell_ref->col = eval_col + cell_ref->col;
604 605 606

	if (cell_ref->row_relative)
		cell_ref->row = eval_row + cell_ref->row;
607

Arturo Espinosa's avatar
Arturo Espinosa committed
608 609
	cell_ref->row_relative = 0;
	cell_ref->col_relative = 0;
610 611
}

612 613 614 615 616 617 618 619 620 621 622 623 624 625
static void
cell_ref_restore_absolute (CellRef *cell_ref, const CellRef *orig, int eval_col, int eval_row)
{
	if (orig->col_relative) {
		cell_ref->col -= eval_col;
		cell_ref->col_relative = 1;
	}

	if (orig->row_relative) {
		cell_ref->row -= eval_row;
		cell_ref->row_relative = 1;
	}
}

Arturo Espinosa's avatar
Arturo Espinosa committed
626 627
static Value *
eval_cell_value (Sheet *sheet, Value *value)
628
{
Arturo Espinosa's avatar
Arturo Espinosa committed
629
	Value *res;
630

Arturo Espinosa's avatar
Arturo Espinosa committed
631 632
	res = g_new (Value, 1);
	res->type = value->type;
633

Arturo Espinosa's avatar
Arturo Espinosa committed
634 635 636
	switch (res->type){
	case VALUE_STRING:
		res->v.str = value->v.str;
637
		string_ref (res->v.str);
Arturo Espinosa's avatar
Arturo Espinosa committed
638
		break;
639

Arturo Espinosa's avatar
Arturo Espinosa committed
640
	case VALUE_INTEGER:
641
		res->v.v_int = value->v.v_int;
Arturo Espinosa's avatar
Arturo Espinosa committed
642
		break;
643

Arturo Espinosa's avatar
Arturo Espinosa committed
644
	case VALUE_FLOAT:
645
		res->v.v_float = value->v.v_float;
Arturo Espinosa's avatar
Arturo Espinosa committed
646
		break;
Arturo Espinosa's avatar
Arturo Espinosa committed
647 648

	case VALUE_ARRAY:
Michael Meeks's avatar
Michael Meeks committed
649
		res = value_duplicate (value);
Arturo Espinosa's avatar
Arturo Espinosa committed
650
		break;
651

Arturo Espinosa's avatar
Arturo Espinosa committed
652 653 654
	case VALUE_CELLRANGE:
		res->v.cell_range = value->v.cell_range;
		break;
655 656 657
	default:
		g_warning ("eval_cell_value error\n");
		break;
Arturo Espinosa's avatar
Arturo Espinosa committed
658 659 660 661
	}
	return res;
}

662 663 664 665
static void
free_values (Value **values, int top)
{
	int i;
666

667 668 669 670 671
	for (i = 0; i < top; i++)
		value_release (values [i]);
	g_free (values);
}

Arturo Espinosa's avatar
Arturo Espinosa committed
672 673 674 675 676 677 678
static Value *
eval_funcall (Sheet *sheet, ExprTree *tree, int eval_col, int eval_row, char **error_string)
{
	FunctionDefinition *fd;
	GList *l;
	int argc, arg, i;
	Value *v;
679

Arturo Espinosa's avatar
Arturo Espinosa committed
680
	fd = (FunctionDefinition *) tree->u.function.symbol->data;
681

Arturo Espinosa's avatar
Arturo Espinosa committed
682 683 684 685 686 687 688 689 690 691 692 693
	l = tree->u.function.arg_list;
	argc = g_list_length (l);

	if (fd->expr_fn)
	{
		/* Functions that deal with ExprNodes */
		v = fd->expr_fn (sheet, l, eval_col, eval_row, error_string);
	}
	else
	{
		/* Functions that take pre-computed Values */
		Value **values;
Arturo Espinosa's avatar
Arturo Espinosa committed
694 695 696
		int fn_argc_min = 0, fn_argc_max = 0, var_len = 0;
		char *arg_type = fd->args;
		char *argptr = fd->args;
697

698
		/* Get variable limits */
Arturo Espinosa's avatar
Arturo Espinosa committed
699 700 701 702
		while (*argptr){
			if (*argptr++ == '|'){
				var_len = 1;
				continue;
703 704
			}
			if (!var_len)
Arturo Espinosa's avatar
Arturo Espinosa committed
705 706
				fn_argc_min++;
			fn_argc_max++;
707
		}
708

Arturo Espinosa's avatar
Arturo Espinosa committed
709
		if (argc > fn_argc_max || argc < fn_argc_min){
Arturo Espinosa's avatar
Arturo Espinosa committed
710 711 712 713
			*error_string = _("Invalid number of arguments");
			return NULL;
		}

714
		values = g_new (Value *, fn_argc_max);
715

716
		for (arg = 0; l; l = l->next, arg++, arg_type++){
Arturo Espinosa's avatar
Arturo Espinosa committed
717
			ExprTree *t = (ExprTree *) l->data;
718
			int type_mismatch = 0;
719

Arturo Espinosa's avatar
Arturo Espinosa committed
720 721
			if (*arg_type=='|')
				arg_type++;
722 723 724 725 726 727 728 729 730

			if ((*arg_type != 'A' &&          /* This is so a cell reference */
			     *arg_type != 'r') ||         /* can be converted to a cell range */
			    !t || (t->oper != OPER_VAR)) { /* without being evaluated */
				if ((v = eval_expr (sheet, t, eval_col,
						    eval_row, error_string))==NULL)
					goto free_list;
			} else {
				g_assert (t->oper == OPER_VAR);
Michael Meeks's avatar
Michael Meeks committed
731 732
				v =value_new_cellrange (&t->u.ref,
							 &t->u.ref);
733 734 735 736 737
				if (!v->v.cell_range.cell_a.sheet)
					v->v.cell_range.cell_a.sheet = sheet;
				if (!v->v.cell_range.cell_b.sheet)
					v->v.cell_range.cell_b.sheet = sheet;
			}
738

Arturo Espinosa's avatar
Arturo Espinosa committed
739
			switch (*arg_type){
740
			case 'f':
741

742 743 744 745
				if (v->type != VALUE_INTEGER &&
				    v->type != VALUE_FLOAT)
					type_mismatch = 1;
				break;
746
			case 's':
747 748
				if (v->type != VALUE_STRING)
					type_mismatch = 1;
Arturo Espinosa's avatar
Arturo Espinosa committed
749
				break;
750
			case 'r':
751 752 753 754 755
				if (v->type != VALUE_CELLRANGE)
					type_mismatch = 1;
				else {
					cell_ref_make_absolute (&v->v.cell_range.cell_a, eval_col, eval_row);
					cell_ref_make_absolute (&v->v.cell_range.cell_b, eval_col, eval_row);
756
				}
Arturo Espinosa's avatar
Arturo Espinosa committed
757
				break;
758 759 760 761 762 763 764 765
			case 'a':
				if (v->type != VALUE_ARRAY)
					type_mismatch = 1;
				break;
			case 'A':
				if (v->type != VALUE_ARRAY &&
				    v->type != VALUE_CELLRANGE)
					type_mismatch = 1;
Michael Meeks's avatar
Michael Meeks committed
766 767 768 769 770

				if (v->type == VALUE_CELLRANGE) {
					cell_ref_make_absolute (&v->v.cell_range.cell_a, eval_col, eval_row);
					cell_ref_make_absolute (&v->v.cell_range.cell_b, eval_col, eval_row);
				}
771 772
				break;
			}
773
			if (type_mismatch){
774 775 776
				free_values (values, arg);
				*error_string = _("Type mismatch");
				return NULL;
777
			}
Arturo Espinosa's avatar
Arturo Espinosa committed
778 779
			values [arg] = v;
		}
Arturo Espinosa's avatar
Arturo Espinosa committed
780 781
		while (arg < fn_argc_max)
			values [arg++] = NULL;
782
		v = fd->fn (fd, values, error_string);
Arturo Espinosa's avatar
Arturo Espinosa committed
783 784

	free_list:
785
		for (i = 0; i < arg; i++){
Arturo Espinosa's avatar
Arturo Espinosa committed
786 787
			if (values [i] != NULL)
				value_release (values [i]);
788
		}
Arturo Espinosa's avatar
Arturo Espinosa committed
789 790 791 792 793 794
		g_free (values);
		return v;
	}
	return v;
}

795 796 797 798 799
Value *
function_def_call_with_values (Sheet *sheet, FunctionDefinition *fd, int argc,
			       Value *values [], char **error_string)
{
	Value *retval;
800

801 802 803 804 805 806 807 808 809 810 811
	if (fd->expr_fn){
		/*
		 * If function deals with ExprNodes, create some
		 * temporary ExprNodes with constants.
		 */
		ExprTree *tree = NULL;
		GList *l = NULL;
		int i;

		if (argc){
			tree = g_new (ExprTree, argc);
812

813
			for (i = 0; i < argc; i++){
814
				tree [i].oper = OPER_CONSTANT;
815 816
				tree [i].ref_count = 1;
				tree [i].u.constant = values [i];
817

818 819 820
				l = g_list_append (l, &(tree[i]));
			}
		}
821

822 823 824 825 826 827 828
		retval = fd->expr_fn (sheet, l, 0, 0, error_string);

		if (tree){
			g_free (tree);
			g_list_free (l);
		}

829
	} else
830 831 832 833 834 835 836 837 838 839
		retval = fd->fn (fd, values, error_string);

	return retval;
}

/*
 * Use this to invoke a register function: the only drawback is that
 * you have to compute/expand all of the values to use this
 */
Value *
840
function_call_with_values (Sheet *sheet, const char *name, int argc, Value *values[], char **error_string)
841 842 843 844 845 846 847 848 849
{
	FunctionDefinition *fd;
	Value *retval;
	Symbol *sym;

	g_return_val_if_fail (sheet != NULL, NULL);
	g_return_val_if_fail (IS_SHEET (sheet), NULL);
	g_return_val_if_fail (name != NULL, NULL);

Miguel de Icaza's avatar
Miguel de Icaza committed
850
	sym = symbol_lookup (global_symbol_table, name);
851
	if (sym == NULL){
852
		*error_string = _("Function does not exist");
853 854
		return NULL;
	}
855
	if (sym->type != SYMBOL_FUNCTION){
856
		*error_string = _("Calling non-function");
857 858
		return NULL;
	}
859

860 861 862 863 864 865 866 867 868 869
	fd = sym->data;

	symbol_ref (sym);
	retval = function_def_call_with_values (sheet, fd, argc, values, error_string);

	symbol_unref (sym);

	return retval;
}

870
typedef enum {
Arturo Espinosa's avatar
Arturo Espinosa committed
871 872
	IS_EQUAL,
	IS_LESS,
873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897
	IS_GREATER,
	TYPE_ERROR
} compare_t;

static compare_t
compare_int_int (int a, int b)
{
	if (a == b)
		return IS_EQUAL;
	else if (a < b)
		return IS_LESS;
	else
		return IS_GREATER;
}

static compare_t
compare_float_float (float_t a, float_t b)
{
	if (a == b)
		return IS_EQUAL;
	else if (a < b)
		return IS_LESS;
	else
		return IS_GREATER;
}
Arturo Espinosa's avatar
Arturo Espinosa committed
898

899 900 901 902
/*
 * Compares two (Value *) and returns one of compare_t
 */
static compare_t
Arturo Espinosa's avatar
Arturo Espinosa committed
903 904
compare (Value *a, Value *b)
{
905 906
	if (a->type == VALUE_INTEGER){
		int f;
907

908 909 910 911 912 913 914 915
		switch (b->type){
		case VALUE_INTEGER:
			return compare_int_int (a->v.v_int, b->v.v_int);

		case VALUE_FLOAT:
			return compare_float_float (a->v.v_int, b->v.v_float);

		case VALUE_STRING:
Michael Meeks's avatar
Michael Meeks committed
916
			f =value_get_as_float (b);
917 918 919 920 921 922
			return compare_float_float (a->v.v_int, f);

		default:
			return TYPE_ERROR;
		}
	}
923

924 925 926 927 928 929 930 931 932 933 934
	if (a->type == VALUE_FLOAT){
		float_t f;

		switch (b->type){
		case VALUE_INTEGER:
			return compare_float_float (a->v.v_float, b->v.v_int);

		case VALUE_FLOAT:
			return compare_float_float (a->v.v_float, b->v.v_float);

		case VALUE_STRING:
Michael Meeks's avatar
Michael Meeks committed
935
			f =value_get_as_float (b);
936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955
			return compare_float_float (a->v.v_float, f);

		default:
			return TYPE_ERROR;
		}
	}

	if (a->type == VALUE_STRING && b->type == VALUE_STRING){
		int t;

		t = strcasecmp (a->v.str->str, b->v.str->str);
		if (t == 0)
			return IS_EQUAL;
		else if (t > 0)
			return IS_GREATER;
		else
			return IS_LESS;
	}

	return TYPE_ERROR;
Arturo Espinosa's avatar
Arturo Espinosa committed
956 957
}

Arturo Espinosa's avatar
Arturo Espinosa committed
958
Value *
959
eval_expr (Sheet *sheet, ExprTree *tree, int eval_col, int eval_row, char **error_string)
Arturo Espinosa's avatar
Arturo Espinosa committed
960 961
{
	Value *a, *b, *res;
Arturo Espinosa's avatar
Arturo Espinosa committed
962 963

	g_return_val_if_fail (tree != NULL, NULL);
964
	g_return_val_if_fail (sheet != NULL, NULL);
Arturo Espinosa's avatar
Arturo Espinosa committed
965
	g_return_val_if_fail (error_string != NULL, NULL);
966
	g_return_val_if_fail (IS_SHEET (sheet), NULL);
967

968
	switch (tree->oper){
969 970 971 972 973 974
	case OPER_EQUAL:
	case OPER_NOT_EQUAL:
	case OPER_GT:
	case OPER_GTE:
	case OPER_LT:
	case OPER_LTE: {
Arturo Espinosa's avatar
Arturo Espinosa committed
975
		int comp;
976

Arturo Espinosa's avatar
Arturo Espinosa committed
977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992
		a = eval_expr (sheet, tree->u.binary.value_a,
			       eval_col, eval_row, error_string);
		b = eval_expr (sheet, tree->u.binary.value_b,
			       eval_col, eval_row, error_string);
		if (!(a && b)){
			if (a)
				value_release (a);
			if (b)
				value_release (b);
			return NULL;
		}
		res = g_new (Value, 1);
		res->type = VALUE_INTEGER;

		comp = compare (a, b);

993 994 995 996 997 998
		if (comp == TYPE_ERROR){
			value_release (a);
			value_release (b);
			*error_string = _("Type error");
			return NULL;
		}
999

Arturo Espinosa's avatar
Arturo Espinosa committed
1000
		switch (tree->oper){
1001
		case OPER_EQUAL:
Arturo Espinosa's avatar
Arturo Espinosa committed
1002 1003 1004
			res->v.v_int = comp == IS_EQUAL;
			break;

1005
		case OPER_GT:
1006
			res->v.v_int = comp == IS_GREATER;
Arturo Espinosa's avatar
Arturo Espinosa committed
1007 1008
			break;

1009
		case OPER_LT:
Arturo Espinosa's avatar
Arturo Espinosa committed
1010 1011 1012
			res->v.v_int = comp == IS_LESS;
			break;

1013
		case OPER_LTE:
Arturo Espinosa's avatar
Arturo Espinosa committed
1014 1015 1016
			res->v.v_int = (comp == IS_EQUAL || comp == IS_LESS);
			break;

1017
		case OPER_GTE:
1018
			res->v.v_int = (comp == IS_EQUAL || comp == IS_GREATER);