qse/ase/awk/run.c

2886 lines
67 KiB
C
Raw Normal View History

2006-01-26 15:35:20 +00:00
/*
2006-04-29 12:09:29 +00:00
* $Id: run.c,v 1.79 2006-04-29 12:09:29 bacon Exp $
2006-01-26 15:35:20 +00:00
*/
2006-03-31 16:35:37 +00:00
#include <xp/awk/awk_i.h>
2006-03-02 15:36:30 +00:00
2006-04-14 10:56:42 +00:00
/* TODO: remove this dependency...*/
2006-04-11 15:44:30 +00:00
#include <math.h>
2006-04-16 04:31:38 +00:00
#ifndef XP_AWK_STAND_ALONE
2006-01-26 15:35:20 +00:00
#include <xp/bas/assert.h>
2006-03-07 16:09:18 +00:00
#include <xp/bas/string.h>
#include <xp/bas/memory.h>
2006-01-26 15:35:20 +00:00
#endif
2006-03-24 06:33:36 +00:00
#define STACK_INCREMENT 512
2006-04-21 17:24:31 +00:00
#define STACK_AT(run,n) ((run)->stack[run->stack_base+(n)])
#define STACK_NARGS(run) (STACK_AT(run,3))
#define STACK_ARG(run,n) STACK_AT(run,3+1+(n))
#define STACK_LOCAL(run,n) STACK_AT(run,3+(xp_size_t)STACK_NARGS(run)+1+(n))
#define STACK_RETVAL(run) STACK_AT(run,2)
#define STACK_GLOBAL(run,n) ((run)->stack[(n)])
#define STACK_RETVAL_GLOBAL(run) ((run)->stack[(run)->nglobals+2])
2006-03-28 16:33:09 +00:00
2006-03-26 16:36:30 +00:00
#define EXIT_NONE 0
2006-03-27 10:19:33 +00:00
#define EXIT_BREAK 1
#define EXIT_CONTINUE 2
#define EXIT_FUNCTION 3
#define EXIT_GLOBAL 4
2006-04-21 06:06:32 +00:00
#define EXIT_ABORT 5
2006-03-26 14:03:08 +00:00
2006-04-21 17:24:31 +00:00
#define PANIC(run,code) \
2006-04-22 13:54:53 +00:00
do { (run)->errnum = (code); return XP_NULL; } while (0)
2006-04-21 17:24:31 +00:00
#define PANIC_I(run,code) \
2006-04-22 13:54:53 +00:00
do { (run)->errnum = (code); return -1; } while (0)
2006-04-21 17:24:31 +00:00
2006-04-22 13:54:53 +00:00
static int __open_run (
xp_awk_run_t* run, xp_awk_t* awk, xp_awk_io_t txtio, void* txtio_arg);
2006-04-21 17:24:31 +00:00
static void __close_run (xp_awk_run_t* run);
static int __run_main (xp_awk_run_t* run);
2006-04-22 13:54:53 +00:00
static int __run_pattern_blocks (xp_awk_run_t* run);
2006-04-21 17:24:31 +00:00
static int __run_block (xp_awk_run_t* run, xp_awk_nde_blk_t* nde);
static int __run_statement (xp_awk_run_t* run, xp_awk_nde_t* nde);
static int __run_if_statement (xp_awk_run_t* run, xp_awk_nde_if_t* nde);
static int __run_while_statement (xp_awk_run_t* run, xp_awk_nde_while_t* nde);
static int __run_for_statement (xp_awk_run_t* run, xp_awk_nde_for_t* nde);
2006-04-29 12:09:29 +00:00
static int __run_foreach_statement (xp_awk_run_t* run, xp_awk_nde_for_t* nde);
2006-04-21 17:24:31 +00:00
static int __run_break_statement (xp_awk_run_t* run, xp_awk_nde_break_t* nde);
static int __run_continue_statement (xp_awk_run_t* run, xp_awk_nde_continue_t* nde);
static int __run_return_statement (xp_awk_run_t* run, xp_awk_nde_return_t* nde);
static int __run_exit_statement (xp_awk_run_t* run, xp_awk_nde_exit_t* nde);
2006-04-22 16:16:40 +00:00
static int __run_next_statement (xp_awk_run_t* run, xp_awk_nde_next_t* nde);
static int __run_nextfile_statement (xp_awk_run_t* run, xp_awk_nde_nextfile_t* nde);
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_expression (
xp_awk_run_t* run, xp_awk_nde_t* nde);
2006-04-24 15:34:52 +00:00
static xp_awk_val_t* __eval_group (xp_awk_run_t* run, xp_awk_nde_t* nde);
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_assignment (
xp_awk_run_t* run, xp_awk_nde_t* nde);
2006-04-02 16:22:36 +00:00
static xp_awk_val_t* __do_assignment (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_nde_var_t* var, xp_awk_val_t* val);
2006-04-18 11:26:48 +00:00
static xp_awk_val_t* __do_assignment_map (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_nde_var_t* var, xp_awk_val_t* val);
2006-04-03 14:55:34 +00:00
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_binary (
xp_awk_run_t* run, xp_awk_nde_t* nde);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_lor (
2006-04-29 12:09:29 +00:00
xp_awk_run_t* run, xp_awk_nde_t* left, xp_awk_nde_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_land (
2006-04-29 12:09:29 +00:00
xp_awk_run_t* run, xp_awk_nde_t* left, xp_awk_nde_t* right);
2006-04-25 15:20:10 +00:00
static xp_awk_val_t* __eval_binop_in (
2006-04-27 15:20:10 +00:00
xp_awk_run_t* run, xp_awk_nde_t* left, xp_awk_nde_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_bor (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_bxor (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_band (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_eq (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_ne (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_gt (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_ge (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_lt (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_le (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_lshift (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_rshift (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_plus (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_minus (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_mul (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_div (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-03 14:55:34 +00:00
static xp_awk_val_t* __eval_binop_mod (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-11 15:44:30 +00:00
static xp_awk_val_t* __eval_binop_exp (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-12 03:54:12 +00:00
static xp_awk_val_t* __eval_binop_ma (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
2006-04-12 03:54:12 +00:00
static xp_awk_val_t* __eval_binop_nm (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
static xp_awk_val_t* __eval_unary (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_incpre (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_incpst (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_cnd (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_call (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_int (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_real (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_str (xp_awk_run_t* run, xp_awk_nde_t* nde);
2006-04-24 11:22:42 +00:00
static xp_awk_val_t* __eval_rex (xp_awk_run_t* run, xp_awk_nde_t* nde);
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_named (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_global (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_local (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_arg (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_namedidx (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_globalidx (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_localidx (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_argidx (xp_awk_run_t* run, xp_awk_nde_t* nde);
static xp_awk_val_t* __eval_pos (xp_awk_run_t* run, xp_awk_nde_t* nde);
static int __raw_push (xp_awk_run_t* run, void* val);
static void __raw_pop (xp_awk_run_t* run);
static void __raw_pop_times (xp_awk_run_t* run, xp_size_t times);
2006-03-25 17:04:36 +00:00
2006-04-22 13:54:53 +00:00
static int __read_text_input (xp_awk_run_t* run);
2006-04-16 06:16:42 +00:00
static int __val_to_num (xp_awk_val_t* v, xp_long_t* l, xp_real_t* r);
2006-04-20 05:44:29 +00:00
static xp_char_t* __val_to_str (xp_awk_val_t* v, int* errnum);
2006-04-16 04:31:38 +00:00
2006-04-03 14:55:34 +00:00
typedef xp_awk_val_t* (*binop_func_t) (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right);
typedef xp_awk_val_t* (*eval_expr_t) (xp_awk_run_t* run, xp_awk_nde_t* nde);
2006-04-03 14:55:34 +00:00
2006-04-21 17:24:31 +00:00
/* TODO: remove this function */
static int __printval (xp_awk_pair_t* pair)
2006-03-05 17:07:33 +00:00
{
xp_printf (XP_TEXT("%s = "), (const xp_char_t*)pair->key);
xp_awk_printval ((xp_awk_val_t*)pair->val);
xp_printf (XP_TEXT("\n"));
return 0;
}
2006-04-22 13:54:53 +00:00
int xp_awk_run (xp_awk_t* awk, xp_awk_io_t txtio, void* txtio_arg)
2006-04-21 17:24:31 +00:00
{
2006-04-22 13:54:53 +00:00
xp_awk_run_t* run;
int n;
2006-04-21 17:24:31 +00:00
2006-04-22 13:54:53 +00:00
run = (xp_awk_run_t*) xp_malloc (xp_sizeof(xp_awk_run_t));
if (run == XP_NULL)
{
awk->errnum = XP_AWK_ENOMEM;
return -1;
}
2006-04-21 17:24:31 +00:00
2006-04-22 13:54:53 +00:00
if (__open_run (run, awk, txtio, txtio_arg) == -1)
{
/* TODO: find a way to set the errnum into awk object in a thread-safe way */
awk->errnum = run->errnum;
xp_free (run);
return -1;
}
n = __run_main (run);
if (n == -1) awk->errnum = run->errnum;
__close_run (run);
xp_free (run);
return n;
2006-04-21 17:24:31 +00:00
}
2006-04-24 14:38:46 +00:00
static void __free_namedval (void* run, void* val)
2006-04-21 17:24:31 +00:00
{
2006-04-24 14:38:46 +00:00
xp_awk_refdownval ((xp_awk_run_t*)run, val);
2006-04-21 17:24:31 +00:00
}
2006-04-22 13:54:53 +00:00
static int __open_run (
xp_awk_run_t* run, xp_awk_t* awk, xp_awk_io_t txtio, void* txtio_arg)
2006-04-21 17:24:31 +00:00
{
run->stack = XP_NULL;
run->stack_top = 0;
run->stack_base = 0;
run->stack_limit = 0;
2006-04-22 13:54:53 +00:00
2006-04-21 17:24:31 +00:00
run->exit_level = 0;
2006-04-22 13:54:53 +00:00
2006-04-21 17:24:31 +00:00
run->icache_count = 0;
run->rcache_count = 0;
2006-04-22 13:54:53 +00:00
run->txtio = txtio;
run->txtio_arg = txtio_arg;
2006-04-21 17:24:31 +00:00
run->opt = awk->opt.run;
2006-04-22 13:54:53 +00:00
run->errnum = XP_AWK_ENOERR;
2006-04-21 17:24:31 +00:00
run->tree = &awk->tree;
run->nglobals = awk->tree.nglobals;
2006-04-22 13:54:53 +00:00
run->input.buf_pos = 0;
run->input.buf_len = 0;
if (xp_str_open (&run->input.line, 256) == XP_NULL)
{
run->errnum = XP_AWK_ENOMEM;
return -1;
}
2006-04-21 17:24:31 +00:00
if (xp_awk_map_open (&run->named,
run, 256, __free_namedval) == XP_NULL)
{
2006-04-22 13:54:53 +00:00
xp_str_close (&run->input.line);
run->errnum = XP_AWK_ENOMEM;
2006-04-21 17:24:31 +00:00
return -1;
}
return 0;
}
static void __close_run (xp_awk_run_t* run)
{
/* destroy run stack */
if (run->stack != XP_NULL)
{
xp_assert (run->stack_top == 0);
xp_free (run->stack);
run->stack = XP_NULL;
run->stack_top = 0;
run->stack_base = 0;
run->stack_limit = 0;
}
/* destroy named variables */
xp_awk_map_close (&run->named);
2006-04-22 13:54:53 +00:00
/* destroy input data */
xp_str_close (&run->input.line);
2006-04-21 17:24:31 +00:00
/* destroy values in free list */
while (run->icache_count > 0)
{
xp_awk_val_int_t* tmp = run->icache[--run->icache_count];
xp_awk_freeval (run, (xp_awk_val_t*)tmp, xp_false);
}
while (run->rcache_count > 0)
{
xp_awk_val_real_t* tmp = run->rcache[--run->rcache_count];
xp_awk_freeval (run, (xp_awk_val_t*)tmp, xp_false);
}
}
static int __run_main (xp_awk_run_t* run)
2006-01-26 15:35:20 +00:00
{
2006-04-09 15:31:13 +00:00
xp_size_t nglobals, nargs, i;
xp_size_t saved_stack_top;
xp_awk_val_t* v;
2006-04-06 16:25:37 +00:00
int n = 0;
2006-03-28 11:32:58 +00:00
2006-04-21 17:24:31 +00:00
xp_assert (run->stack_base == 0 && run->stack_top == 0);
2006-03-28 16:33:09 +00:00
/* secure space for global variables */
2006-04-21 17:24:31 +00:00
saved_stack_top = run->stack_top;
2006-04-09 15:31:13 +00:00
2006-04-21 17:24:31 +00:00
nglobals = run->nglobals;
2006-03-28 11:32:58 +00:00
while (nglobals > 0)
{
--nglobals;
2006-04-21 17:24:31 +00:00
if (__raw_push(run,xp_awk_val_nil) == -1)
2006-03-28 11:32:58 +00:00
{
2006-04-09 15:31:13 +00:00
/* restore the stack_top with the saved value
* instead of calling __raw_pop as many times as
* the successful __raw_push. it is ok because
* the values pushed so fare are all xp_awk_val_nil */
2006-04-21 17:24:31 +00:00
run->stack_top = saved_stack_top;
PANIC_I (run, XP_AWK_ENOMEM);
2006-03-28 11:32:58 +00:00
}
}
2006-04-21 17:24:31 +00:00
if (run->opt & XP_AWK_RUNMAIN)
2006-04-09 15:31:13 +00:00
{
2006-04-27 15:59:01 +00:00
/* TODO: should the main function be user-specifiable? */
2006-04-09 16:26:36 +00:00
static xp_char_t m_a_i_n[] =
2006-04-09 15:31:13 +00:00
{
XP_CHAR('m'),
XP_CHAR('a'),
XP_CHAR('i'),
XP_CHAR('n'),
XP_CHAR('\0')
};
static xp_awk_nde_call_t nde =
{
XP_AWK_NDE_CALL, /* type */
XP_NULL, /* next */
2006-04-09 16:26:36 +00:00
m_a_i_n, /* name */
2006-04-09 15:31:13 +00:00
XP_NULL /* args */
};
2006-04-10 09:22:05 +00:00
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_NONE;
2006-04-10 09:22:05 +00:00
2006-04-21 17:24:31 +00:00
v = __eval_call(run,(xp_awk_nde_t*)&nde);
2006-04-10 09:22:05 +00:00
if (v == XP_NULL) n = -1;
else
{
/* destroy the return value if necessary */
xp_awk_refupval (v);
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, v);
2006-04-10 09:22:05 +00:00
}
2006-04-09 15:31:13 +00:00
}
else
2006-03-03 11:45:45 +00:00
{
2006-04-21 17:24:31 +00:00
saved_stack_top = run->stack_top;
if (__raw_push(run,(void*)run->stack_base) == -1)
2006-04-09 16:26:36 +00:00
{
/* restore the stack top in a cheesy(?) way */
2006-04-21 17:24:31 +00:00
run->stack_top = saved_stack_top;
2006-04-10 09:22:05 +00:00
/* pops off global variables in a decent way */
2006-04-21 17:24:31 +00:00
__raw_pop_times (run, run->nglobals);
PANIC_I (run, XP_AWK_ENOMEM);
2006-04-09 16:26:36 +00:00
}
2006-04-22 13:54:53 +00:00
2006-04-21 17:24:31 +00:00
if (__raw_push(run,(void*)saved_stack_top) == -1)
2006-04-09 16:26:36 +00:00
{
2006-04-21 17:24:31 +00:00
run->stack_top = saved_stack_top;
__raw_pop_times (run, run->nglobals);
PANIC_I (run, XP_AWK_ENOMEM);
2006-04-09 16:26:36 +00:00
}
/* secure space for a return value */
2006-04-21 17:24:31 +00:00
if (__raw_push(run,xp_awk_val_nil) == -1)
2006-04-09 16:26:36 +00:00
{
2006-04-21 17:24:31 +00:00
run->stack_top = saved_stack_top;
__raw_pop_times (run, run->nglobals);
PANIC_I (run, XP_AWK_ENOMEM);
2006-04-09 16:26:36 +00:00
}
/* secure space for nargs */
2006-04-21 17:24:31 +00:00
if (__raw_push(run,xp_awk_val_nil) == -1)
2006-04-09 16:26:36 +00:00
{
2006-04-21 17:24:31 +00:00
run->stack_top = saved_stack_top;
__raw_pop_times (run, run->nglobals);
PANIC_I (run, XP_AWK_ENOMEM);
2006-04-09 16:26:36 +00:00
}
2006-04-21 17:24:31 +00:00
run->stack_base = saved_stack_top;
2006-04-09 16:26:36 +00:00
/* set nargs to zero */
nargs = 0;
2006-04-21 17:24:31 +00:00
STACK_NARGS(run) = (void*)nargs;
2006-04-09 16:26:36 +00:00
/* stack set up properly. ready to exeucte statement blocks */
2006-04-21 17:24:31 +00:00
if (n == 0 && run->tree->begin != XP_NULL)
2006-04-09 15:31:13 +00:00
{
2006-04-21 17:24:31 +00:00
xp_assert (run->tree->begin->type == XP_AWK_NDE_BLK);
2006-04-10 09:22:05 +00:00
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_NONE;
2006-04-10 09:22:05 +00:00
2006-04-21 17:24:31 +00:00
if (__run_block (run,
(xp_awk_nde_blk_t*)run->tree->begin) == -1) n = -1;
2006-04-09 15:31:13 +00:00
}
2006-04-22 13:54:53 +00:00
if (n == 0 && run->txtio != XP_NULL)
2006-04-10 09:22:05 +00:00
{
2006-04-22 13:54:53 +00:00
if (__run_pattern_blocks (run) == -1) n = -1;
2006-04-10 09:22:05 +00:00
}
2006-04-09 15:31:13 +00:00
2006-04-21 17:24:31 +00:00
if (n == 0 && run->tree->end != XP_NULL)
2006-04-09 15:31:13 +00:00
{
2006-04-21 17:24:31 +00:00
xp_assert (run->tree->end->type == XP_AWK_NDE_BLK);
2006-04-10 09:22:05 +00:00
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_NONE;
2006-04-10 09:22:05 +00:00
2006-04-21 17:24:31 +00:00
if (__run_block (run,
(xp_awk_nde_blk_t*)run->tree->end) == -1) n = -1;
2006-04-09 15:31:13 +00:00
}
2006-01-26 15:35:20 +00:00
2006-04-09 16:26:36 +00:00
/* restore stack */
2006-04-21 17:24:31 +00:00
nargs = (xp_size_t)STACK_NARGS(run);
2006-04-09 16:26:36 +00:00
xp_assert (nargs == 0);
for (i = 0; i < nargs; i++)
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, STACK_ARG(run,i));
2006-04-09 16:26:36 +00:00
}
2006-04-06 16:25:37 +00:00
2006-04-21 17:24:31 +00:00
v = STACK_RETVAL(run);
2006-04-10 09:22:05 +00:00
xp_printf (XP_TEXT("Return Value - "));
xp_awk_printval (v);
xp_printf (XP_TEXT("\n"));
/* the life of the global return value is over here
* unlike the return value of each function */
/*xp_awk_refdownval_nofree (awk, v);*/
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, v);
2006-04-09 15:31:13 +00:00
2006-04-21 17:24:31 +00:00
run->stack_top =
(xp_size_t)run->stack[run->stack_base+1];
run->stack_base =
(xp_size_t)run->stack[run->stack_base+0];
2006-04-09 16:26:36 +00:00
}
2006-04-09 15:31:13 +00:00
/* pops off the global variables */
2006-04-21 17:24:31 +00:00
nglobals = run->nglobals;
2006-04-06 16:25:37 +00:00
while (nglobals > 0)
{
--nglobals;
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, STACK_GLOBAL(run,nglobals));
__raw_pop (run);
2006-01-26 15:35:20 +00:00
}
2006-04-10 09:22:05 +00:00
/* just reset the exit level */
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_NONE;
2006-04-10 09:22:05 +00:00
2006-04-09 15:31:13 +00:00
xp_printf (XP_TEXT("-[VARIABLES]------------------------\n"));
2006-04-21 17:24:31 +00:00
xp_awk_map_walk (&run->named, __printval);
2006-04-09 15:31:13 +00:00
xp_printf (XP_TEXT("-[END VARIABLES]--------------------------\n"));
2006-04-10 09:22:05 +00:00
2006-04-06 16:25:37 +00:00
return n;
2006-01-26 15:35:20 +00:00
}
2006-04-22 13:54:53 +00:00
static int __run_pattern_blocks (xp_awk_run_t* run)
{
xp_ssize_t n;
xp_assert (run->txtio != XP_NULL);
n = run->txtio (XP_AWK_INPUT_OPEN, run->txtio_arg, XP_NULL, 0);
if (n == -1) PANIC_I (run, XP_AWK_ETXTINOPEN);
run->input.buf_pos = 0;
run->input.buf_len = 0;
run->input.eof = xp_false;
while (run->exit_level != EXIT_GLOBAL &&
run->exit_level != EXIT_ABORT)
{
int x;
run->exit_level = EXIT_NONE;
x = __read_text_input(run);
if (x == -1)
{
/* don't care about the result of input close */
run->txtio (XP_AWK_INPUT_CLOSE,
run->txtio_arg, XP_NULL, 0);
return -1;
}
if (x == 0) break; /* end of input */
/*
* TODO: execute pattern blocks.
*/
/* for each block { run it }
* handle according if next and nextfile has been called
*/
xp_printf (XP_TEXT("**** line [%s]\n"), XP_STR_BUF(&run->input.line));
}
n = run->txtio (XP_AWK_INPUT_CLOSE, run->txtio_arg, XP_NULL, 0);
if (n == -1) PANIC_I (run, XP_AWK_ETXTINCLOSE);
return 0;
}
2006-04-21 17:24:31 +00:00
static int __run_block (xp_awk_run_t* run, xp_awk_nde_blk_t* nde)
2006-01-26 15:35:20 +00:00
{
2006-03-03 11:45:45 +00:00
xp_awk_nde_t* p;
2006-03-26 14:03:08 +00:00
xp_size_t nlocals;
2006-04-10 14:53:48 +00:00
xp_size_t saved_stack_top;
2006-04-06 16:25:37 +00:00
int n = 0;
2006-02-23 15:37:34 +00:00
2006-03-05 17:07:33 +00:00
xp_assert (nde->type == XP_AWK_NDE_BLK);
2006-02-23 15:37:34 +00:00
2006-03-05 17:07:33 +00:00
p = nde->body;
2006-03-26 14:03:08 +00:00
nlocals = nde->nlocals;
2006-02-23 15:37:34 +00:00
2006-04-14 10:56:42 +00:00
/*xp_printf (XP_TEXT("securing space for local variables nlocals = %d\n"), nlocals);*/
2006-04-21 17:24:31 +00:00
saved_stack_top = run->stack_top;
2006-04-10 14:53:48 +00:00
2006-03-26 14:03:08 +00:00
/* secure space for local variables */
while (nlocals > 0)
{
--nlocals;
2006-04-21 17:24:31 +00:00
if (__raw_push(run,xp_awk_val_nil) == -1)
2006-03-26 14:03:08 +00:00
{
2006-04-10 14:53:48 +00:00
/* restore stack top */
2006-04-21 17:24:31 +00:00
run->stack_top = saved_stack_top;
2006-03-26 14:03:08 +00:00
return -1;
}
/* refupval is not required for xp_awk_val_nil */
}
2006-04-14 10:56:42 +00:00
/*xp_printf (XP_TEXT("executing block statements\n"));*/
2006-04-21 17:24:31 +00:00
while (p != XP_NULL && run->exit_level == EXIT_NONE)
2006-03-03 11:45:45 +00:00
{
2006-04-18 16:04:59 +00:00
/*xp_printf (XP_TEXT("running a statement\n"));*/
2006-04-21 17:24:31 +00:00
if (__run_statement(run,p) == -1)
2006-04-06 16:25:37 +00:00
{
n = -1;
break;
}
2006-02-23 15:37:34 +00:00
p = p->next;
}
2006-03-26 14:03:08 +00:00
2006-04-14 10:56:42 +00:00
/*xp_printf (XP_TEXT("popping off local variables\n"));*/
2006-03-26 14:03:08 +00:00
/* pop off local variables */
nlocals = nde->nlocals;
while (nlocals > 0)
{
--nlocals;
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, STACK_LOCAL(run,nlocals));
__raw_pop (run);
2006-03-26 14:03:08 +00:00
}
2006-04-06 16:25:37 +00:00
return n;
2006-01-26 15:35:20 +00:00
}
2006-04-21 17:24:31 +00:00
static int __run_statement (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-01-26 15:35:20 +00:00
{
2006-03-03 11:45:45 +00:00
switch (nde->type)
{
case XP_AWK_NDE_NULL:
2006-02-23 15:37:34 +00:00
/* do nothing */
break;
2006-03-05 17:07:33 +00:00
case XP_AWK_NDE_BLK:
2006-04-21 17:24:31 +00:00
if (__run_block(run,(xp_awk_nde_blk_t*)nde) == -1) return -1;
2006-01-26 15:35:20 +00:00
break;
2006-02-23 15:37:34 +00:00
2006-03-03 11:45:45 +00:00
case XP_AWK_NDE_IF:
2006-03-23 15:36:20 +00:00
if (__run_if_statement (
2006-04-21 17:24:31 +00:00
run, (xp_awk_nde_if_t*)nde) == -1) return -1;
2006-02-23 15:37:34 +00:00
break;
2006-03-15 15:34:59 +00:00
2006-03-03 11:45:45 +00:00
case XP_AWK_NDE_WHILE:
case XP_AWK_NDE_DOWHILE:
2006-03-23 15:36:20 +00:00
if (__run_while_statement (
2006-04-21 17:24:31 +00:00
run, (xp_awk_nde_while_t*)nde) == -1) return -1;
2006-02-23 15:37:34 +00:00
break;
2006-03-23 15:36:20 +00:00
2006-03-03 11:45:45 +00:00
case XP_AWK_NDE_FOR:
2006-03-23 15:36:20 +00:00
if (__run_for_statement (
2006-04-21 17:24:31 +00:00
run, (xp_awk_nde_for_t*)nde) == -1) return -1;
2006-02-23 15:37:34 +00:00
break;
2006-04-29 12:09:29 +00:00
case XP_AWK_NDE_FOREACH:
if (__run_foreach_statement (
run, (xp_awk_nde_for_t*)nde) == -1) return -1;
break;
2006-03-03 11:45:45 +00:00
case XP_AWK_NDE_BREAK:
2006-03-23 15:36:20 +00:00
if (__run_break_statement(
2006-04-21 17:24:31 +00:00
run, (xp_awk_nde_break_t*)nde) == -1) return -1;
2006-01-26 15:35:20 +00:00
break;
2006-03-23 15:36:20 +00:00
2006-03-03 11:45:45 +00:00
case XP_AWK_NDE_CONTINUE:
2006-03-23 15:36:20 +00:00
if (__run_continue_statement (
2006-04-21 17:24:31 +00:00
run, (xp_awk_nde_continue_t*)nde) == -1) return -1;
2006-01-26 15:35:20 +00:00
break;
2006-02-23 15:37:34 +00:00
2006-03-03 11:45:45 +00:00
case XP_AWK_NDE_RETURN:
2006-03-23 15:36:20 +00:00
if (__run_return_statement (
2006-04-21 17:24:31 +00:00
run, (xp_awk_nde_return_t*)nde) == -1) return -1;
2006-02-23 15:37:34 +00:00
break;
2006-03-03 11:45:45 +00:00
case XP_AWK_NDE_EXIT:
2006-03-23 15:36:20 +00:00
if (__run_exit_statement (
2006-04-21 17:24:31 +00:00
run, (xp_awk_nde_exit_t*)nde) == -1) return -1;
2006-02-23 15:37:34 +00:00
break;
2006-03-03 11:45:45 +00:00
case XP_AWK_NDE_NEXT:
2006-04-22 16:16:40 +00:00
if (__run_next_statement (
run, (xp_awk_nde_next_t*)nde) == -1) return -1;
2006-02-23 15:37:34 +00:00
break;
2006-03-03 11:45:45 +00:00
case XP_AWK_NDE_NEXTFILE:
2006-04-22 16:16:40 +00:00
if (__run_nextfile_statement (
run, (xp_awk_nde_nextfile_t*)nde) == -1) return -1;
2006-02-23 15:37:34 +00:00
break;
2006-03-04 15:54:37 +00:00
default:
2006-04-21 17:24:31 +00:00
if (__eval_expression(run,nde) == XP_NULL) return -1;
2006-03-04 15:54:37 +00:00
break;
}
return 0;
}
2006-04-21 17:24:31 +00:00
static int __run_if_statement (xp_awk_run_t* run, xp_awk_nde_if_t* nde)
2006-03-15 15:34:59 +00:00
{
xp_awk_val_t* test;
2006-03-27 11:43:17 +00:00
int n = 0;
2006-03-15 15:34:59 +00:00
2006-04-21 17:24:31 +00:00
test = __eval_expression (run, nde->test);
2006-03-23 13:26:04 +00:00
if (test == XP_NULL) return -1;
xp_awk_refupval (test);
2006-04-07 04:23:11 +00:00
if (xp_awk_boolval(test))
2006-03-15 15:34:59 +00:00
{
2006-04-21 17:24:31 +00:00
n = __run_statement (run, nde->then_part);
2006-03-15 15:34:59 +00:00
}
else if (nde->else_part != XP_NULL)
{
2006-04-21 17:24:31 +00:00
n = __run_statement (run, nde->else_part);
2006-03-15 15:34:59 +00:00
}
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, test); /* TODO: is this correct?*/
2006-03-23 13:26:04 +00:00
return n;
}
2006-04-21 17:24:31 +00:00
static int __run_while_statement (xp_awk_run_t* run, xp_awk_nde_while_t* nde)
2006-03-23 13:26:04 +00:00
{
xp_awk_val_t* test;
if (nde->type == XP_AWK_NDE_WHILE)
{
2006-04-14 10:56:42 +00:00
/* TODO: handle run-time abortion... */
2006-03-23 13:26:04 +00:00
while (1)
{
2006-04-21 17:24:31 +00:00
test = __eval_expression (run, nde->test);
2006-03-23 13:26:04 +00:00
if (test == XP_NULL) return -1;
xp_awk_refupval (test);
2006-04-07 04:23:11 +00:00
if (xp_awk_boolval(test))
2006-03-23 13:26:04 +00:00
{
2006-04-21 17:24:31 +00:00
if (__run_statement(run,nde->body) == -1)
2006-03-23 13:26:04 +00:00
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, test);
2006-03-23 13:26:04 +00:00
return -1;
}
}
else
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, test);
2006-03-23 13:26:04 +00:00
break;
}
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, test);
2006-03-27 11:43:17 +00:00
2006-04-21 17:24:31 +00:00
if (run->exit_level == EXIT_BREAK)
2006-03-27 11:43:17 +00:00
{
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_NONE;
2006-03-27 11:43:17 +00:00
break;
}
2006-04-21 17:24:31 +00:00
else if (run->exit_level == EXIT_CONTINUE)
2006-03-27 11:43:17 +00:00
{
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_NONE;
2006-03-27 11:43:17 +00:00
}
2006-04-21 17:24:31 +00:00
else if (run->exit_level != EXIT_NONE) break;
2006-03-23 13:26:04 +00:00
}
}
else if (nde->type == XP_AWK_NDE_DOWHILE)
{
2006-04-14 10:56:42 +00:00
/* TODO: handle run-time abortion... */
2006-03-23 13:26:04 +00:00
do
{
2006-04-21 17:24:31 +00:00
if (__run_statement(run,nde->body) == -1) return -1;
2006-03-27 11:43:17 +00:00
2006-04-21 17:24:31 +00:00
if (run->exit_level == EXIT_BREAK)
2006-03-27 11:43:17 +00:00
{
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_NONE;
2006-03-27 11:43:17 +00:00
break;
}
2006-04-21 17:24:31 +00:00
else if (run->exit_level == EXIT_CONTINUE)
2006-03-27 11:43:17 +00:00
{
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_NONE;
2006-03-27 11:43:17 +00:00
}
2006-04-21 17:24:31 +00:00
else if (run->exit_level != EXIT_NONE) break;
2006-03-27 11:43:17 +00:00
2006-04-21 17:24:31 +00:00
test = __eval_expression (run, nde->test);
2006-03-23 13:26:04 +00:00
if (test == XP_NULL) return -1;
xp_awk_refupval (test);
2006-04-10 14:53:48 +00:00
2006-04-07 04:23:11 +00:00
if (!xp_awk_boolval(test))
2006-03-23 13:26:04 +00:00
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, test);
2006-03-23 13:26:04 +00:00
break;
}
2006-04-10 14:53:48 +00:00
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, test);
2006-03-23 13:26:04 +00:00
}
while (1);
}
2006-03-23 15:36:20 +00:00
return 0;
}
2006-04-21 17:24:31 +00:00
static int __run_for_statement (xp_awk_run_t* run, xp_awk_nde_for_t* nde)
2006-03-23 15:36:20 +00:00
{
2006-04-10 14:53:48 +00:00
xp_awk_val_t* val;
2006-03-23 15:36:20 +00:00
if (nde->init != XP_NULL)
{
2006-04-21 17:24:31 +00:00
val = __eval_expression(run,nde->init);
2006-04-10 14:53:48 +00:00
if (val == XP_NULL) return -1;
xp_awk_refupval (val);
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, val);
2006-03-23 15:36:20 +00:00
}
while (1)
{
if (nde->test != XP_NULL)
{
xp_awk_val_t* test;
2006-04-21 17:24:31 +00:00
test = __eval_expression (run, nde->test);
2006-03-23 15:36:20 +00:00
if (test == XP_NULL) return -1;
xp_awk_refupval (test);
2006-04-07 04:23:11 +00:00
if (xp_awk_boolval(test))
2006-03-23 15:36:20 +00:00
{
2006-04-21 17:24:31 +00:00
if (__run_statement(run,nde->body) == -1)
2006-03-23 15:36:20 +00:00
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, test);
2006-03-23 15:36:20 +00:00
return -1;
}
}
else
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, test);
2006-03-23 15:36:20 +00:00
break;
}
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, test);
2006-03-23 15:36:20 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
if (__run_statement(run,nde->body) == -1)
2006-03-23 15:36:20 +00:00
{
return -1;
}
}
2006-04-21 17:24:31 +00:00
if (run->exit_level == EXIT_BREAK)
2006-03-27 11:43:17 +00:00
{
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_NONE;
2006-03-27 11:43:17 +00:00
break;
}
2006-04-21 17:24:31 +00:00
else if (run->exit_level == EXIT_CONTINUE)
2006-03-27 11:43:17 +00:00
{
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_NONE;
2006-03-27 11:43:17 +00:00
}
2006-04-21 17:24:31 +00:00
else if (run->exit_level != EXIT_NONE) break;
2006-03-27 11:43:17 +00:00
2006-03-23 15:36:20 +00:00
if (nde->incr != XP_NULL)
{
2006-04-21 17:24:31 +00:00
val = __eval_expression(run,nde->incr);
2006-04-10 14:53:48 +00:00
if (val == XP_NULL) return -1;
xp_awk_refupval (val);
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, val);
2006-03-23 15:36:20 +00:00
}
}
return 0;
}
2006-04-29 12:09:29 +00:00
static int __run_foreach_statement (xp_awk_run_t* run, xp_awk_nde_for_t* nde)
{
xp_printf (XP_TEXT("FOREEACH NOT IMPLEMENTED....\n"));
return 0;
}
2006-04-21 17:24:31 +00:00
static int __run_break_statement (xp_awk_run_t* run, xp_awk_nde_break_t* nde)
2006-03-23 15:36:20 +00:00
{
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_BREAK;
2006-03-23 15:36:20 +00:00
return 0;
}
2006-04-21 17:24:31 +00:00
static int __run_continue_statement (xp_awk_run_t* run, xp_awk_nde_continue_t* nde)
2006-03-23 15:36:20 +00:00
{
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_CONTINUE;
2006-03-23 15:36:20 +00:00
return 0;
}
2006-04-21 17:24:31 +00:00
static int __run_return_statement (xp_awk_run_t* run, xp_awk_nde_return_t* nde)
2006-03-23 15:36:20 +00:00
{
2006-03-25 17:04:36 +00:00
if (nde->val != XP_NULL)
{
2006-03-27 10:19:33 +00:00
xp_awk_val_t* val;
2006-04-14 10:56:42 +00:00
/*xp_printf (XP_TEXT("returning....\n"));*/
2006-04-21 17:24:31 +00:00
val = __eval_expression(run, nde->val);
2006-04-09 15:31:13 +00:00
if (val == XP_NULL) return -1;
2006-03-26 16:36:30 +00:00
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, STACK_RETVAL(run));
STACK_RETVAL(run) = val;
2006-04-10 14:53:48 +00:00
2006-04-09 15:31:13 +00:00
xp_awk_refupval (val); /* see __eval_call for the trick */
2006-04-14 10:56:42 +00:00
/*xp_printf (XP_TEXT("set return value....\n"));*/
2006-03-25 17:04:36 +00:00
}
2006-03-26 16:36:30 +00:00
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_FUNCTION;
2006-03-23 15:36:20 +00:00
return 0;
}
2006-04-21 17:24:31 +00:00
static int __run_exit_statement (xp_awk_run_t* run, xp_awk_nde_exit_t* nde)
2006-03-23 15:36:20 +00:00
{
2006-03-27 10:19:33 +00:00
if (nde->val != XP_NULL)
{
xp_awk_val_t* val;
2006-04-21 17:24:31 +00:00
val = __eval_expression(run, nde->val);
2006-04-10 09:22:05 +00:00
if (val == XP_NULL) return -1;
2006-03-27 10:19:33 +00:00
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, STACK_RETVAL_GLOBAL(run));
STACK_RETVAL_GLOBAL(run) = val; /* global return value */
2006-04-10 14:53:48 +00:00
2006-03-27 10:19:33 +00:00
xp_awk_refupval (val);
}
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_GLOBAL;
2006-03-23 15:36:20 +00:00
return 0;
2006-03-15 15:34:59 +00:00
}
2006-04-22 16:16:40 +00:00
static int __run_next_statement (xp_awk_run_t* run, xp_awk_nde_next_t* nde)
{
/* TODO */
return -1;
}
static int __run_nextfile_statement (xp_awk_run_t* run, xp_awk_nde_nextfile_t* nde)
{
xp_ssize_t n;
n = run->txtio (XP_AWK_INPUT_NEXT, run->txtio_arg, XP_NULL, 0);
if (n == -1) PANIC_I (run, XP_AWK_ETXTINNEXT);
return (n == -1)? -1: 0;
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_expression (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-03-04 15:54:37 +00:00
{
2006-04-07 16:52:42 +00:00
static eval_expr_t __eval_func[] =
{
/* the order of functions here should match the order
* of node types declared in tree.h */
2006-04-24 15:34:52 +00:00
__eval_group,
2006-04-07 16:52:42 +00:00
__eval_assignment,
__eval_binary,
__eval_unary,
__eval_incpre,
__eval_incpst,
2006-04-11 09:16:20 +00:00
__eval_cnd,
2006-04-07 16:52:42 +00:00
__eval_call,
__eval_int,
__eval_real,
__eval_str,
2006-04-24 11:22:42 +00:00
__eval_rex,
2006-04-07 16:52:42 +00:00
__eval_named,
__eval_global,
__eval_local,
__eval_arg,
__eval_namedidx,
__eval_globalidx,
__eval_localidx,
__eval_argidx,
__eval_pos
};
2006-04-25 15:20:10 +00:00
xp_assert (nde->type >= XP_AWK_NDE_GRP &&
(nde->type - XP_AWK_NDE_GRP) < xp_countof(__eval_func));
return __eval_func[nde->type-XP_AWK_NDE_GRP] (run, nde);
2006-01-26 15:35:20 +00:00
}
2006-02-23 15:37:34 +00:00
2006-04-24 15:34:52 +00:00
static xp_awk_val_t* __eval_group (xp_awk_run_t* run, xp_awk_nde_t* nde)
{
2006-04-27 15:20:10 +00:00
/* __eval_binop_in evaluates the XP_AWK_NDE_GRP specially.
* so this function should never be reached. */
xp_assert (!"should never happen - NDE_GRP only for in");
2006-04-24 15:36:08 +00:00
PANIC (run, XP_AWK_EINTERNAL);
2006-04-24 15:34:52 +00:00
return XP_NULL;
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_assignment (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-02-23 15:37:34 +00:00
{
2006-04-16 04:31:38 +00:00
xp_awk_val_t* val, * res;
2006-04-07 16:52:42 +00:00
xp_awk_nde_ass_t* ass = (xp_awk_nde_ass_t*)nde;
2006-03-05 17:07:33 +00:00
2006-04-07 16:52:42 +00:00
xp_assert (ass->left != XP_NULL && ass->right != XP_NULL);
2006-03-25 17:04:36 +00:00
2006-04-21 17:24:31 +00:00
val = __eval_expression(run, ass->right);
2006-03-25 17:04:36 +00:00
if (val == XP_NULL) return XP_NULL;
2006-03-04 15:54:37 +00:00
2006-04-16 04:31:38 +00:00
xp_awk_refupval (val);
if (ass->opcode != XP_AWK_ASSOP_NONE)
{
xp_awk_val_t* val2, * tmp;
2006-04-21 17:24:31 +00:00
val2 = __eval_expression (run, ass->left);
2006-04-16 04:31:38 +00:00
if (val2 == XP_NULL)
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, val);
2006-04-16 04:31:38 +00:00
return XP_NULL;
}
xp_awk_refupval (val2);
if (ass->opcode == XP_AWK_ASSOP_PLUS)
{
2006-04-21 17:24:31 +00:00
tmp = __eval_binop_plus (run, val2, val);
2006-04-16 04:31:38 +00:00
}
else if (ass->opcode == XP_AWK_ASSOP_MINUS)
{
2006-04-21 17:24:31 +00:00
tmp = __eval_binop_minus (run, val2, val);
2006-04-16 04:31:38 +00:00
}
else if (ass->opcode == XP_AWK_ASSOP_MUL)
{
2006-04-21 17:24:31 +00:00
tmp = __eval_binop_mul (run, val2, val);
2006-04-16 04:31:38 +00:00
}
else if (ass->opcode == XP_AWK_ASSOP_DIV)
{
2006-04-21 17:24:31 +00:00
tmp = __eval_binop_div (run, val2, val);
2006-04-16 04:31:38 +00:00
}
else if (ass->opcode == XP_AWK_ASSOP_MOD)
{
2006-04-21 17:24:31 +00:00
tmp = __eval_binop_mod (run, val2, val);
2006-04-16 04:31:38 +00:00
}
else if (ass->opcode == XP_AWK_ASSOP_EXP)
{
2006-04-21 17:24:31 +00:00
tmp = __eval_binop_exp (run, val2, val);
2006-04-16 04:31:38 +00:00
}
else
{
xp_assert (!"should never happen - invalid assignment opcode");
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EINTERNAL);
2006-04-16 04:31:38 +00:00
}
if (tmp == XP_NULL)
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, val);
xp_awk_refdownval (run, val2);
2006-04-16 04:31:38 +00:00
return XP_NULL;
}
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, val);
2006-04-16 04:31:38 +00:00
val = tmp;
xp_awk_refupval (val);
}
2006-04-21 17:24:31 +00:00
res = __do_assignment (run, (xp_awk_nde_var_t*)ass->left, val);
xp_awk_refdownval (run, val);
2006-04-16 04:31:38 +00:00
return res;
2006-04-02 16:22:36 +00:00
}
static xp_awk_val_t* __do_assignment (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_nde_var_t* var, xp_awk_val_t* val)
2006-04-02 16:22:36 +00:00
{
2006-04-17 16:12:02 +00:00
2006-04-16 16:30:59 +00:00
if (val->type == XP_AWK_VAL_MAP)
{
/* a map cannot be assigned to a variable */
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_ENOTASSIGNABLE);
2006-04-16 16:30:59 +00:00
}
2006-04-02 16:22:36 +00:00
if (var->type == XP_AWK_NDE_NAMED)
2006-03-03 11:45:45 +00:00
{
2006-04-19 03:42:08 +00:00
int n;
2006-02-23 15:37:34 +00:00
2006-04-19 04:18:43 +00:00
/* TODO: need to check if the old value is a map?? prevent the assignment? */
2006-04-19 03:42:08 +00:00
n = xp_awk_map_putx (
2006-04-21 17:24:31 +00:00
&run->named, var->id.name, val, XP_NULL);
if (n < 0) PANIC (run, XP_AWK_ENOMEM);
2006-03-04 15:54:37 +00:00
2006-03-25 17:04:36 +00:00
xp_awk_refupval (val);
2006-02-23 15:37:34 +00:00
}
2006-04-02 16:22:36 +00:00
else if (var->type == XP_AWK_NDE_GLOBAL)
2006-03-03 11:45:45 +00:00
{
2006-04-19 04:18:43 +00:00
/* TODO: need to check if the old value is a map?? prevent the assignment? */
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, STACK_GLOBAL(run,var->id.idxa));
STACK_GLOBAL(run,var->id.idxa) = val;
2006-03-26 16:36:30 +00:00
xp_awk_refupval (val);
2006-02-23 15:37:34 +00:00
}
2006-04-02 16:22:36 +00:00
else if (var->type == XP_AWK_NDE_LOCAL)
2006-03-03 11:45:45 +00:00
{
2006-04-19 04:18:43 +00:00
/* TODO: need to check if the old value is a map?? prevent the assignment? */
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, STACK_LOCAL(run,var->id.idxa));
STACK_LOCAL(run,var->id.idxa) = val;
2006-03-26 14:03:08 +00:00
xp_awk_refupval (val);
2006-02-23 15:37:34 +00:00
}
2006-04-02 16:22:36 +00:00
else if (var->type == XP_AWK_NDE_ARG)
2006-03-03 11:45:45 +00:00
{
2006-04-19 04:18:43 +00:00
/* TODO: need to check if the old value is a map?? prevent the assignment? */
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, STACK_ARG(run,var->id.idxa));
STACK_ARG(run,var->id.idxa) = val;
2006-03-25 17:04:36 +00:00
xp_awk_refupval (val);
2006-02-23 15:37:34 +00:00
}
2006-04-19 16:09:51 +00:00
else if (var->type == XP_AWK_NDE_NAMEDIDX ||
var->type == XP_AWK_NDE_GLOBALIDX ||
2006-04-18 11:26:48 +00:00
var->type == XP_AWK_NDE_LOCALIDX ||
var->type == XP_AWK_NDE_ARGIDX)
2006-03-03 11:45:45 +00:00
{
2006-04-21 17:24:31 +00:00
if (__do_assignment_map(run,var,val) == XP_NULL)
2006-04-17 16:12:02 +00:00
return XP_NULL;
}
2006-04-18 11:26:48 +00:00
else if (var->type == XP_AWK_NDE_POS)
2006-04-17 16:12:02 +00:00
{
2006-04-18 11:26:48 +00:00
/* TODO: */
xp_printf (XP_TEXT("XP_AWK_NDE_POS not implemented\n"));
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EINTERNAL);
2006-04-17 16:12:02 +00:00
}
else
{
xp_assert (!"should never happen - invalid variable type");
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EINTERNAL);
2006-04-17 16:12:02 +00:00
}
2006-04-16 16:30:59 +00:00
2006-04-17 16:12:02 +00:00
return val;
}
2006-04-16 16:30:59 +00:00
2006-04-18 11:26:48 +00:00
static xp_awk_val_t* __do_assignment_map (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_nde_var_t* var, xp_awk_val_t* val)
2006-04-17 16:12:02 +00:00
{
xp_awk_val_map_t* map;
xp_awk_nde_t* nde;
xp_char_t* str;
2006-04-18 14:49:42 +00:00
int n;
2006-04-16 16:30:59 +00:00
2006-04-18 11:26:48 +00:00
xp_assert (
2006-04-19 16:09:51 +00:00
(var->type == XP_AWK_NDE_NAMEDIDX ||
var->type == XP_AWK_NDE_GLOBALIDX ||
2006-04-18 11:26:48 +00:00
var->type == XP_AWK_NDE_LOCALIDX ||
var->type == XP_AWK_NDE_ARGIDX) && var->idx != XP_NULL);
2006-04-19 16:09:51 +00:00
if (var->type == XP_AWK_NDE_NAMEDIDX)
{
xp_awk_pair_t* pair;
2006-04-21 17:24:31 +00:00
pair = xp_awk_map_get (&run->named, var->id.name);
2006-04-27 15:20:10 +00:00
map = (pair == XP_NULL)?
(xp_awk_val_map_t*)xp_awk_val_nil:
(xp_awk_val_map_t*)pair->val;
2006-04-19 16:09:51 +00:00
}
else
{
map = (var->type == XP_AWK_NDE_GLOBALIDX)?
2006-04-21 17:24:31 +00:00
(xp_awk_val_map_t*)STACK_GLOBAL(run,var->id.idxa):
2006-04-19 16:09:51 +00:00
(var->type == XP_AWK_NDE_LOCALIDX)?
2006-04-21 17:24:31 +00:00
(xp_awk_val_map_t*)STACK_LOCAL(run,var->id.idxa):
(xp_awk_val_map_t*)STACK_ARG(run,var->id.idxa);
2006-04-19 16:09:51 +00:00
}
2006-04-16 16:30:59 +00:00
2006-04-17 16:12:02 +00:00
if (map->type == XP_AWK_VAL_NIL)
{
/* the map is not initialized yet */
xp_awk_val_t* tmp;
2006-04-16 16:30:59 +00:00
2006-04-21 17:24:31 +00:00
tmp = xp_awk_makemapval (run);
if (tmp == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-17 16:12:02 +00:00
2006-04-19 16:09:51 +00:00
if (var->type == XP_AWK_NDE_NAMEDIDX)
{
/* doesn't have to decrease the reference count
* of the previous value here as it is done by
* xp_awk_map_put */
if (xp_awk_map_put (
2006-04-21 17:24:31 +00:00
&run->named, var->id.name, tmp) == XP_NULL)
2006-04-19 16:09:51 +00:00
{
xp_awk_refupval (tmp);
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, tmp);
PANIC (run, XP_AWK_ENOMEM);
2006-04-19 16:09:51 +00:00
}
}
else if (var->type == XP_AWK_NDE_GLOBALIDX)
{
/* decrease the reference count of the previous value.
* in fact, this is not necessary as map is always
* xp_awk_val_nil here. */
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, (xp_awk_val_t*)map);
STACK_GLOBAL(run,var->id.idxa) = tmp;
2006-04-19 16:09:51 +00:00
}
2006-04-18 11:26:48 +00:00
else if (var->type == XP_AWK_NDE_LOCALIDX)
2006-04-19 16:09:51 +00:00
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, (xp_awk_val_t*)map);
STACK_LOCAL(run,var->id.idxa) = tmp;
2006-04-19 16:09:51 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, (xp_awk_val_t*)map);
STACK_ARG(run,var->id.idxa) = tmp;
2006-04-19 16:09:51 +00:00
}
2006-04-18 11:26:48 +00:00
xp_awk_refupval (tmp);
2006-04-17 16:12:02 +00:00
map = (xp_awk_val_map_t*) tmp;
}
else if (map->type != XP_AWK_VAL_MAP)
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_ENOTINDEXABLE);
2006-04-17 16:12:02 +00:00
}
/* compose a map index */
nde = var->idx;
2006-04-27 15:20:10 +00:00
/* TODO: while (nde != XP_NULL) -> multidimensional array index.... */
2006-04-17 16:12:02 +00:00
{
xp_awk_val_t* tmp;
2006-04-20 05:44:29 +00:00
int errnum;
2006-04-16 16:30:59 +00:00
2006-04-21 17:24:31 +00:00
tmp = __eval_expression (run, nde);
2006-04-17 16:12:02 +00:00
if (tmp == XP_NULL)
2006-04-16 16:30:59 +00:00
{
2006-04-17 16:12:02 +00:00
/* TODO: clearing previous idx values... */
return XP_NULL;
2006-04-16 16:30:59 +00:00
}
2006-04-17 16:12:02 +00:00
xp_awk_refupval (tmp);
2006-04-16 16:30:59 +00:00
2006-04-20 05:44:29 +00:00
str = __val_to_str (tmp, &errnum);
2006-04-17 16:12:02 +00:00
if (str == XP_NULL)
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, tmp);
PANIC (run, errnum);
2006-04-17 16:12:02 +00:00
}
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, tmp);
2006-04-17 16:12:02 +00:00
/* TODO: nde = nde->next; */
2006-02-23 15:37:34 +00:00
}
2006-04-17 16:12:02 +00:00
2006-04-18 10:28:03 +00:00
/*
2006-04-17 16:12:02 +00:00
xp_printf (XP_TEXT("**** index str=>%s, map->ref=%d, map->type=%d\n"), str, map->ref, map->type);
2006-04-18 10:28:03 +00:00
*/
2006-04-19 03:42:08 +00:00
n = xp_awk_map_putx (map->map, str, val, XP_NULL);
2006-04-18 14:49:42 +00:00
if (n < 0)
2006-03-03 11:45:45 +00:00
{
2006-04-17 16:12:02 +00:00
xp_free (str);
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_ENOMEM);
2006-02-23 15:37:34 +00:00
}
2006-04-17 16:12:02 +00:00
2006-04-19 03:42:08 +00:00
xp_free (str);
2006-04-17 16:12:02 +00:00
xp_awk_refupval (val);
2006-03-25 17:04:36 +00:00
return val;
2006-02-23 15:37:34 +00:00
}
2006-03-07 15:55:14 +00:00
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_binary (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-03-07 15:55:14 +00:00
{
2006-04-03 14:55:34 +00:00
static binop_func_t __binop_func[] =
{
2006-04-29 12:09:29 +00:00
/* the order of the functions should be inline with
* the operator declaration in run.h */
XP_NULL, /* __eval_binop_lor */
XP_NULL, /* __eval_binop_land */
XP_NULL, /* __eval_binop_in */
2006-04-03 14:55:34 +00:00
__eval_binop_bor,
__eval_binop_bxor,
__eval_binop_band,
__eval_binop_eq,
__eval_binop_ne,
__eval_binop_gt,
__eval_binop_ge,
__eval_binop_lt,
__eval_binop_le,
__eval_binop_lshift,
__eval_binop_rshift,
__eval_binop_plus,
__eval_binop_minus,
__eval_binop_mul,
__eval_binop_div,
2006-04-11 15:44:30 +00:00
__eval_binop_mod,
2006-04-12 03:54:12 +00:00
__eval_binop_exp,
__eval_binop_ma,
__eval_binop_nm
2006-04-03 14:55:34 +00:00
};
2006-04-27 15:20:10 +00:00
2006-04-07 16:52:42 +00:00
xp_awk_nde_exp_t* exp = (xp_awk_nde_exp_t*)nde;
xp_awk_val_t* left, * right, * res;
2006-03-07 15:55:14 +00:00
2006-04-07 16:52:42 +00:00
xp_assert (exp->type == XP_AWK_NDE_EXP_BIN);
2006-03-07 15:55:14 +00:00
2006-04-29 12:09:29 +00:00
if (exp->opcode == XP_AWK_BINOP_LAND)
{
res = __eval_binop_land (run, exp->left, exp->right);
}
else if (exp->opcode == XP_AWK_BINOP_LOR)
{
res = __eval_binop_lor (run, exp->left, exp->right);
}
else if (exp->opcode == XP_AWK_BINOP_IN)
2006-03-07 15:55:14 +00:00
{
2006-04-27 15:20:10 +00:00
/* treat the in operator specially */
res = __eval_binop_in (run, exp->left, exp->right);
2006-03-07 15:55:14 +00:00
}
2006-04-27 15:20:10 +00:00
else
{
left = __eval_expression (run, exp->left);
if (left == XP_NULL) return XP_NULL;
2006-03-07 15:55:14 +00:00
2006-04-27 15:20:10 +00:00
xp_awk_refupval (left);
2006-03-23 15:36:20 +00:00
2006-04-27 15:20:10 +00:00
right = __eval_expression (run, exp->right);
if (right == XP_NULL)
{
xp_awk_refdownval (run, left);
return XP_NULL;
}
2006-04-03 15:31:33 +00:00
2006-04-27 15:20:10 +00:00
xp_awk_refupval (right);
2006-03-22 16:05:50 +00:00
2006-04-27 15:20:10 +00:00
xp_assert (exp->opcode >= 0 &&
exp->opcode < xp_countof(__binop_func));
xp_assert (__binop_func[exp->opcode] != XP_NULL);
res = __binop_func[exp->opcode] (run, left, right);
xp_awk_refdownval (run, left);
xp_awk_refdownval (run, right);
}
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_lor (
2006-04-29 12:09:29 +00:00
xp_awk_run_t* run, xp_awk_nde_t* left, xp_awk_nde_t* right)
2006-04-03 14:55:34 +00:00
{
2006-04-29 12:09:29 +00:00
/*
2006-04-03 14:55:34 +00:00
xp_awk_val_t* res = XP_NULL;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run,
2006-04-07 04:23:11 +00:00
xp_awk_boolval(left) || xp_awk_boolval(right));
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
2006-04-29 12:09:29 +00:00
*/
/* short-circuit evaluation required special treatment */
xp_awk_val_t* lv, * rv, * res;
lv = __eval_expression (run, left);
if (lv == XP_NULL) return XP_NULL;
xp_awk_refupval (lv);
if (xp_awk_boolval(lv))
{
res = xp_awk_makeintval (run, 1);
}
else
{
rv = __eval_expression (run, right);
if (rv == XP_NULL)
{
xp_awk_refdownval (run, lv);
return XP_NULL;
}
xp_awk_refupval (rv);
res = xp_awk_makeintval (run, (xp_awk_boolval(rv)? 1: 0));
xp_awk_refdownval (run, rv);
}
xp_awk_refdownval (run, lv);
return res;
2006-04-03 14:55:34 +00:00
}
static xp_awk_val_t* __eval_binop_land (
2006-04-29 12:09:29 +00:00
xp_awk_run_t* run, xp_awk_nde_t* left, xp_awk_nde_t* right)
2006-04-03 14:55:34 +00:00
{
2006-04-29 12:09:29 +00:00
/*
2006-04-03 14:55:34 +00:00
xp_awk_val_t* res = XP_NULL;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run,
2006-04-07 04:23:11 +00:00
xp_awk_boolval(left) && xp_awk_boolval(right));
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
2006-04-29 12:09:29 +00:00
*/
/* short-circuit evaluation required special treatment */
xp_awk_val_t* lv, * rv, * res;
lv = __eval_expression (run, left);
if (lv == XP_NULL) return XP_NULL;
xp_awk_refupval (lv);
if (!xp_awk_boolval(lv))
{
res = xp_awk_makeintval (run, 0);
}
else
{
rv = __eval_expression (run, right);
if (rv == XP_NULL)
{
xp_awk_refdownval (run, lv);
return XP_NULL;
}
xp_awk_refupval (rv);
res = xp_awk_makeintval (run, (xp_awk_boolval(rv)? 1: 0));
xp_awk_refdownval (run, rv);
}
xp_awk_refdownval (run, lv);
return res;
}
static xp_awk_val_t* __eval_binop_in (
xp_awk_run_t* run, xp_awk_nde_t* left, xp_awk_nde_t* right)
{
xp_awk_val_t* lv, * rv, * res;
if (right->type != XP_AWK_NDE_GLOBAL &&
right->type != XP_AWK_NDE_LOCAL &&
right->type != XP_AWK_NDE_ARG &&
right->type != XP_AWK_NDE_NAMED)
{
/* the compiler should have handled this case */
xp_assert (!"should never happen - in needs a plain variable");
PANIC (run, XP_AWK_EINTERNAL);
return XP_NULL;
}
/* evaluate the left-hand side of the operator */
if (left->type == XP_AWK_NDE_GRP)
{
/* TODO: multidimensional .... */
/*__eval_expression (run, left);*/
}
else
{
lv = __eval_expression (run, left);
if (lv == XP_NULL) return XP_NULL;
}
xp_awk_refupval (lv);
/* evaluate the right-hand side of the operator */
rv = __eval_expression (run, right);
if (rv == XP_NULL)
{
xp_awk_refdownval (run, lv);
return XP_NULL;
}
xp_awk_refupval (rv);
if (rv->type == XP_AWK_VAL_NIL)
{
res = xp_awk_makeintval (run, 0);
if (res == XP_NULL)
{
xp_awk_refdownval (run, lv);
xp_awk_refdownval (run, rv);
PANIC (run, XP_AWK_ENOMEM);
}
xp_awk_refdownval (run, lv);
xp_awk_refdownval (run, rv);
return res;
}
else if (rv->type == XP_AWK_VAL_MAP)
{
xp_char_t* str;
xp_long_t r;
int errnum;
str = __val_to_str (lv, &errnum);
if (str == XP_NULL)
{
xp_awk_refdownval (run, lv);
xp_awk_refdownval (run, rv);
PANIC (run, errnum);
}
r = xp_awk_map_get(((xp_awk_val_map_t*)rv)->map,str) != XP_NULL;
res = xp_awk_makeintval (run, r);
if (res == XP_NULL)
{
xp_free (str);
xp_awk_refdownval (run, lv);
xp_awk_refdownval (run, rv);
PANIC (run, XP_AWK_ENOMEM);
}
xp_free (str);
xp_awk_refdownval (run, lv);
xp_awk_refdownval (run, rv);
return res;
}
/* need an array */
PANIC (run, XP_AWK_EOPERAND);
return XP_NULL;
2006-04-03 14:55:34 +00:00
}
static xp_awk_val_t* __eval_binop_bor (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
xp_awk_val_t* res = XP_NULL;
if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_INT)
2006-03-27 14:59:57 +00:00
{
2006-04-03 14:55:34 +00:00
xp_long_t r =
((xp_awk_val_int_t*)left)->val |
((xp_awk_val_int_t*)right)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r);
2006-04-07 04:23:11 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EOPERAND);
2006-04-03 14:55:34 +00:00
}
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_bxor (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
xp_awk_val_t* res = XP_NULL;
if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_INT)
{
xp_long_t r =
((xp_awk_val_int_t*)left)->val ^
((xp_awk_val_int_t*)right)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r);
2006-04-07 04:23:11 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EOPERAND);
2006-03-27 14:59:57 +00:00
}
2006-04-03 14:55:34 +00:00
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_band (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
xp_awk_val_t* res = XP_NULL;
if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_INT)
2006-03-27 14:59:57 +00:00
{
2006-04-03 14:55:34 +00:00
xp_long_t r =
((xp_awk_val_int_t*)left)->val &
((xp_awk_val_int_t*)right)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r);
2006-04-07 04:23:11 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EOPERAND);
2006-03-27 14:59:57 +00:00
}
2006-04-03 14:55:34 +00:00
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_eq (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
xp_awk_val_t* res = XP_NULL;
2006-04-06 16:25:37 +00:00
xp_long_t r = 0;
2006-04-03 14:55:34 +00:00
2006-04-09 16:26:36 +00:00
if (left->type == XP_AWK_VAL_NIL ||
right->type == XP_AWK_VAL_NIL)
{
r = (left->type == right->type);
}
else if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_INT)
2006-03-27 14:59:57 +00:00
{
2006-04-06 16:25:37 +00:00
r = ((xp_awk_val_int_t*)left)->val ==
((xp_awk_val_int_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_REAL &&
right->type == XP_AWK_VAL_REAL)
{
r = ((xp_awk_val_real_t*)left)->val ==
((xp_awk_val_real_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_REAL)
{
r = ((xp_awk_val_int_t*)left)->val ==
((xp_awk_val_real_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_REAL &&
right->type == XP_AWK_VAL_INT)
{
r = ((xp_awk_val_real_t*)left)->val ==
((xp_awk_val_int_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_STR &&
right->type == XP_AWK_VAL_STR)
{
r = xp_strxncmp (
((xp_awk_val_str_t*)left)->buf,
((xp_awk_val_str_t*)left)->len,
((xp_awk_val_str_t*)right)->buf,
((xp_awk_val_str_t*)right)->len) == 0;
}
else
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EOPERAND);
2006-03-27 14:59:57 +00:00
}
2006-04-03 14:55:34 +00:00
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_ne (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
xp_awk_val_t* res = XP_NULL;
2006-04-06 16:25:37 +00:00
xp_long_t r = 0;
2006-04-03 14:55:34 +00:00
2006-04-09 16:26:36 +00:00
if (left->type == XP_AWK_VAL_NIL ||
right->type == XP_AWK_VAL_NIL)
{
r = (left->type != right->type);
}
else if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_INT)
2006-03-30 16:31:50 +00:00
{
2006-04-06 16:25:37 +00:00
r = ((xp_awk_val_int_t*)left)->val !=
((xp_awk_val_int_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_REAL &&
right->type == XP_AWK_VAL_REAL)
{
r = ((xp_awk_val_real_t*)left)->val !=
((xp_awk_val_real_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_REAL)
{
r = ((xp_awk_val_int_t*)left)->val !=
((xp_awk_val_real_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_REAL &&
right->type == XP_AWK_VAL_INT)
{
r = ((xp_awk_val_real_t*)left)->val !=
((xp_awk_val_int_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_STR &&
right->type == XP_AWK_VAL_STR)
{
r = xp_strxncmp (
((xp_awk_val_str_t*)left)->buf,
((xp_awk_val_str_t*)left)->len,
((xp_awk_val_str_t*)right)->buf,
((xp_awk_val_str_t*)right)->len) != 0;
}
else
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EOPERAND);
2006-03-30 16:31:50 +00:00
}
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_gt (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
xp_awk_val_t* res = XP_NULL;
2006-04-06 16:25:37 +00:00
xp_long_t r = 0;
2006-04-03 14:55:34 +00:00
if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_INT)
{
2006-04-06 16:25:37 +00:00
r = ((xp_awk_val_int_t*)left)->val >
((xp_awk_val_int_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_REAL &&
right->type == XP_AWK_VAL_REAL)
{
r = ((xp_awk_val_real_t*)left)->val >
((xp_awk_val_real_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_REAL)
{
r = ((xp_awk_val_int_t*)left)->val >
((xp_awk_val_real_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_REAL &&
right->type == XP_AWK_VAL_INT)
{
r = ((xp_awk_val_real_t*)left)->val >
((xp_awk_val_int_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_STR &&
right->type == XP_AWK_VAL_STR)
{
r = xp_strxncmp (
((xp_awk_val_str_t*)left)->buf,
((xp_awk_val_str_t*)left)->len,
((xp_awk_val_str_t*)right)->buf,
((xp_awk_val_str_t*)right)->len) > 0;
}
else
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EOPERAND);
2006-04-03 14:55:34 +00:00
}
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_ge (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
xp_awk_val_t* res = XP_NULL;
2006-04-06 16:25:37 +00:00
xp_long_t r = 0;
2006-04-03 14:55:34 +00:00
if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_INT)
{
2006-04-06 16:25:37 +00:00
r = ((xp_awk_val_int_t*)left)->val >=
((xp_awk_val_int_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_REAL &&
right->type == XP_AWK_VAL_REAL)
{
r = ((xp_awk_val_real_t*)left)->val >=
((xp_awk_val_real_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_REAL)
{
r = ((xp_awk_val_int_t*)left)->val >=
((xp_awk_val_real_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_REAL &&
right->type == XP_AWK_VAL_INT)
{
r = ((xp_awk_val_real_t*)left)->val >=
((xp_awk_val_int_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_STR &&
right->type == XP_AWK_VAL_STR)
{
r = xp_strxncmp (
((xp_awk_val_str_t*)left)->buf,
((xp_awk_val_str_t*)left)->len,
((xp_awk_val_str_t*)right)->buf,
((xp_awk_val_str_t*)right)->len) >= 0;
}
else
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EOPERAND);
2006-04-03 14:55:34 +00:00
}
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_lt (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
xp_awk_val_t* res = XP_NULL;
2006-04-06 16:25:37 +00:00
xp_long_t r = 0;
2006-04-03 14:55:34 +00:00
if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_INT)
{
2006-04-06 16:25:37 +00:00
r = ((xp_awk_val_int_t*)left)->val <
((xp_awk_val_int_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_REAL &&
right->type == XP_AWK_VAL_REAL)
{
r = ((xp_awk_val_real_t*)left)->val <
((xp_awk_val_real_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_REAL)
{
r = ((xp_awk_val_int_t*)left)->val <
((xp_awk_val_real_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_REAL &&
right->type == XP_AWK_VAL_INT)
{
r = ((xp_awk_val_real_t*)left)->val <
((xp_awk_val_int_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_STR &&
right->type == XP_AWK_VAL_STR)
{
r = xp_strxncmp (
((xp_awk_val_str_t*)left)->buf,
((xp_awk_val_str_t*)left)->len,
((xp_awk_val_str_t*)right)->buf,
((xp_awk_val_str_t*)right)->len) < 0;
}
else
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EOPERAND);
2006-04-03 14:55:34 +00:00
}
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_le (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
xp_awk_val_t* res = XP_NULL;
2006-04-06 16:25:37 +00:00
xp_long_t r = 0;
2006-04-03 14:55:34 +00:00
if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_INT)
{
2006-04-06 16:25:37 +00:00
r = ((xp_awk_val_int_t*)left)->val <=
((xp_awk_val_int_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_REAL &&
right->type == XP_AWK_VAL_REAL)
{
r = ((xp_awk_val_real_t*)left)->val <=
((xp_awk_val_real_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_INT &&
right->type == XP_AWK_VAL_REAL)
{
r = ((xp_awk_val_int_t*)left)->val <=
((xp_awk_val_real_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_REAL &&
right->type == XP_AWK_VAL_INT)
{
r = ((xp_awk_val_real_t*)left)->val <=
((xp_awk_val_int_t*)right)->val;
}
else if (left->type == XP_AWK_VAL_STR &&
right->type == XP_AWK_VAL_STR)
{
r = xp_strxncmp (
((xp_awk_val_str_t*)left)->buf,
((xp_awk_val_str_t*)left)->len,
((xp_awk_val_str_t*)right)->buf,
((xp_awk_val_str_t*)right)->len) <= 0;
}
else
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EOPERAND);
2006-04-03 14:55:34 +00:00
}
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_lshift (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
2006-04-16 13:30:19 +00:00
int n1, n2, n3;
xp_long_t l1, l2;
xp_real_t r1, r2;
xp_awk_val_t* res;
2006-04-03 14:55:34 +00:00
2006-04-16 13:30:19 +00:00
n1 = __val_to_num (left, &l1, &r1);
n2 = __val_to_num (right, &l2, &r2);
2006-04-21 17:24:31 +00:00
if (n1 == -1 || n2 == -1) PANIC (run, XP_AWK_EOPERAND);
2006-04-16 13:30:19 +00:00
n3 = n1 + (n2 << 1);
if (n3 == 0)
2006-04-06 16:25:37 +00:00
{
2006-04-21 17:24:31 +00:00
if (l2 == 0) PANIC (run, XP_AWK_EDIVBYZERO);
res = xp_awk_makeintval (run, (xp_long_t)l1 << (xp_long_t)l2);
2006-04-03 14:55:34 +00:00
}
2006-04-21 17:24:31 +00:00
else PANIC (run, XP_AWK_EOPERAND);
2006-04-03 14:55:34 +00:00
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_rshift (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
2006-04-16 13:30:19 +00:00
int n1, n2, n3;
xp_long_t l1, l2;
xp_real_t r1, r2;
xp_awk_val_t* res;
2006-04-03 14:55:34 +00:00
2006-04-16 13:30:19 +00:00
n1 = __val_to_num (left, &l1, &r1);
n2 = __val_to_num (right, &l2, &r2);
2006-04-21 17:24:31 +00:00
if (n1 == -1 || n2 == -1) PANIC (run, XP_AWK_EOPERAND);
2006-04-16 13:30:19 +00:00
n3 = n1 + (n2 << 1);
if (n3 == 0)
2006-04-06 16:25:37 +00:00
{
2006-04-21 17:24:31 +00:00
if (l2 == 0) PANIC (run, XP_AWK_EDIVBYZERO);
res = xp_awk_makeintval (run, (xp_long_t)l1 >> (xp_long_t)l2);
2006-04-03 14:55:34 +00:00
}
2006-04-21 17:24:31 +00:00
else PANIC (run, XP_AWK_EOPERAND);
2006-04-03 14:55:34 +00:00
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_plus (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
2006-04-16 06:16:42 +00:00
int n1, n2, n3;
xp_long_t l1, l2;
xp_real_t r1, r2;
xp_awk_val_t* res;
2006-04-03 14:55:34 +00:00
2006-04-16 06:16:42 +00:00
n1 = __val_to_num (left, &l1, &r1);
n2 = __val_to_num (right, &l2, &r2);
2006-04-21 17:24:31 +00:00
if (n1 == -1 || n2 == -1) PANIC (run, XP_AWK_EOPERAND);
2006-04-16 06:16:42 +00:00
/*
n1 n2 n3
0 0 = 0
1 0 = 1
0 1 = 2
1 1 = 3
*/
n3 = n1 + (n2 << 1);
2006-04-16 13:30:19 +00:00
xp_assert (n3 >= 0 && n3 <= 3);
2006-04-21 17:24:31 +00:00
res = (n3 == 0)? xp_awk_makeintval(run,(xp_long_t)l1+(xp_long_t)l2):
(n3 == 1)? xp_awk_makerealval(run,(xp_real_t)r1+(xp_real_t)l2):
(n3 == 2)? xp_awk_makerealval(run,(xp_real_t)l1+(xp_real_t)r2):
xp_awk_makerealval(run,(xp_real_t)r1+(xp_real_t)r2);
2006-04-03 14:55:34 +00:00
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_minus (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
2006-04-16 06:16:42 +00:00
int n1, n2, n3;
xp_long_t l1, l2;
xp_real_t r1, r2;
xp_awk_val_t* res;
2006-04-03 14:55:34 +00:00
2006-04-16 06:16:42 +00:00
n1 = __val_to_num (left, &l1, &r1);
n2 = __val_to_num (right, &l2, &r2);
2006-04-21 17:24:31 +00:00
if (n1 == -1 || n2 == -1) PANIC (run, XP_AWK_EOPERAND);
2006-04-16 06:16:42 +00:00
n3 = n1 + (n2 << 1);
2006-04-16 13:30:19 +00:00
xp_assert (n3 >= 0 && n3 <= 3);
2006-04-21 17:24:31 +00:00
res = (n3 == 0)? xp_awk_makeintval(run,(xp_long_t)l1-(xp_long_t)l2):
(n3 == 1)? xp_awk_makerealval(run,(xp_real_t)r1-(xp_real_t)l2):
(n3 == 2)? xp_awk_makerealval(run,(xp_real_t)l1-(xp_real_t)r2):
xp_awk_makerealval(run,(xp_real_t)r1-(xp_real_t)r2);
2006-04-03 14:55:34 +00:00
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_mul (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
2006-04-16 06:16:42 +00:00
int n1, n2, n3;
xp_long_t l1, l2;
xp_real_t r1, r2;
xp_awk_val_t* res;
2006-04-03 14:55:34 +00:00
2006-04-16 06:16:42 +00:00
n1 = __val_to_num (left, &l1, &r1);
n2 = __val_to_num (right, &l2, &r2);
2006-04-06 16:25:37 +00:00
2006-04-21 17:24:31 +00:00
if (n1 == -1 || n2 == -1) PANIC (run, XP_AWK_EOPERAND);
2006-04-16 06:16:42 +00:00
n3 = n1 + (n2 << 1);
2006-04-16 13:30:19 +00:00
xp_assert (n3 >= 0 && n3 <= 3);
2006-04-21 17:24:31 +00:00
res = (n3 == 0)? xp_awk_makeintval(run,(xp_long_t)l1*(xp_long_t)l2):
(n3 == 1)? xp_awk_makerealval(run,(xp_real_t)r1*(xp_real_t)l2):
(n3 == 2)? xp_awk_makerealval(run,(xp_real_t)l1*(xp_real_t)r2):
xp_awk_makerealval(run,(xp_real_t)r1*(xp_real_t)r2);
2006-04-03 14:55:34 +00:00
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_div (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
2006-04-16 06:16:42 +00:00
int n1, n2, n3;
xp_long_t l1, l2;
xp_real_t r1, r2;
xp_awk_val_t* res;
2006-04-03 14:55:34 +00:00
2006-04-16 06:16:42 +00:00
n1 = __val_to_num (left, &l1, &r1);
n2 = __val_to_num (right, &l2, &r2);
2006-04-05 15:56:20 +00:00
2006-04-21 17:24:31 +00:00
if (n1 == -1 || n2 == -1) PANIC (run, XP_AWK_EOPERAND);
2006-04-05 15:56:20 +00:00
2006-04-16 06:16:42 +00:00
n3 = n1 + (n2 << 1);
if (n3 == 0)
2006-04-05 15:56:20 +00:00
{
2006-04-21 17:24:31 +00:00
if (l2 == 0) PANIC (run, XP_AWK_EDIVBYZERO);
res = xp_awk_makeintval (run, (xp_long_t)l1 / (xp_long_t)l2);
2006-04-05 15:56:20 +00:00
}
2006-04-16 06:16:42 +00:00
else if (n3 == 1)
2006-04-05 15:56:20 +00:00
{
2006-04-21 17:24:31 +00:00
res = xp_awk_makerealval (run, (xp_real_t)r1 / (xp_real_t)l2);
2006-04-05 15:56:20 +00:00
}
2006-04-16 06:16:42 +00:00
else if (n3 == 2)
2006-04-05 15:56:20 +00:00
{
2006-04-21 17:24:31 +00:00
res = xp_awk_makerealval (run, (xp_real_t)l1 / (xp_real_t)r2);
2006-04-05 15:56:20 +00:00
}
else
{
2006-04-16 06:16:42 +00:00
xp_assert (n3 == 3);
2006-04-21 17:24:31 +00:00
res = xp_awk_makerealval (run, (xp_real_t)r1 / (xp_real_t)r2);
2006-04-05 15:56:20 +00:00
}
2006-04-03 14:55:34 +00:00
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-03 14:55:34 +00:00
return res;
}
static xp_awk_val_t* __eval_binop_mod (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-03 14:55:34 +00:00
{
2006-04-16 06:16:42 +00:00
int n1, n2, n3;
xp_long_t l1, l2;
xp_real_t r1, r2;
xp_awk_val_t* res;
2006-04-03 14:55:34 +00:00
2006-04-16 06:16:42 +00:00
n1 = __val_to_num (left, &l1, &r1);
n2 = __val_to_num (right, &l2, &r2);
2006-04-05 15:56:20 +00:00
2006-04-21 17:24:31 +00:00
if (n1 == -1 || n2 == -1) PANIC (run, XP_AWK_EOPERAND);
2006-04-05 15:56:20 +00:00
2006-04-16 06:16:42 +00:00
n3 = n1 + (n2 << 1);
if (n3 == 0)
2006-04-05 15:56:20 +00:00
{
2006-04-21 17:24:31 +00:00
if (l2 == 0) PANIC (run, XP_AWK_EDIVBYZERO);
res = xp_awk_makeintval (run, (xp_long_t)l1 % (xp_long_t)l2);
2006-04-05 15:56:20 +00:00
}
2006-04-21 17:24:31 +00:00
else PANIC (run, XP_AWK_EOPERAND);
2006-03-22 16:05:50 +00:00
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-03-22 16:05:50 +00:00
return res;
}
2006-04-11 15:44:30 +00:00
static xp_awk_val_t* __eval_binop_exp (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-11 15:44:30 +00:00
{
2006-04-16 06:16:42 +00:00
int n1, n2, n3;
xp_long_t l1, l2;
xp_real_t r1, r2;
xp_awk_val_t* res;
2006-04-11 15:44:30 +00:00
2006-04-16 06:16:42 +00:00
n1 = __val_to_num (left, &l1, &r1);
n2 = __val_to_num (right, &l2, &r2);
2006-04-11 15:44:30 +00:00
2006-04-21 17:24:31 +00:00
if (n1 == -1 || n2 == -1) PANIC (run, XP_AWK_EOPERAND);
2006-04-16 06:16:42 +00:00
n3 = n1 + (n2 << 1);
if (n3 == 0)
2006-04-11 15:44:30 +00:00
{
2006-04-16 06:16:42 +00:00
xp_long_t v = 1;
while (l2-- > 0) v *= l1;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, v);
2006-04-11 15:44:30 +00:00
}
2006-04-16 06:16:42 +00:00
else if (n3 == 1)
2006-04-11 15:44:30 +00:00
{
2006-04-19 16:09:51 +00:00
/*res = xp_awk_makerealval (
2006-04-21 17:24:31 +00:00
run, pow((xp_real_t)r1,(xp_real_t)l2));*/
2006-04-19 16:09:51 +00:00
xp_real_t v = 1.0;
while (l2-- > 0) v *= r1;
2006-04-21 17:24:31 +00:00
res = xp_awk_makerealval (run, v);
2006-04-11 15:44:30 +00:00
}
2006-04-16 06:16:42 +00:00
else if (n3 == 2)
2006-04-11 15:44:30 +00:00
{
2006-04-16 06:16:42 +00:00
res = xp_awk_makerealval (
2006-04-21 17:24:31 +00:00
run, pow((xp_real_t)l1,(xp_real_t)r2));
2006-04-11 15:44:30 +00:00
}
else
{
2006-04-16 06:16:42 +00:00
xp_assert (n3 == 3);
res = xp_awk_makerealval (
2006-04-21 17:24:31 +00:00
run, pow((xp_real_t)r1,(xp_real_t)r2));
2006-04-11 15:44:30 +00:00
}
2006-04-21 17:24:31 +00:00
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-11 15:44:30 +00:00
return res;
}
2006-04-12 03:54:12 +00:00
static xp_awk_val_t* __eval_binop_ma (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-12 03:54:12 +00:00
{
2006-04-27 15:20:10 +00:00
/* TODO: ... */
2006-04-24 11:26:00 +00:00
xp_printf (XP_TEXT("eval_binop_ma not implemented yet...\n"));
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EINTERNAL);
2006-04-12 03:54:12 +00:00
return XP_NULL;
}
static xp_awk_val_t* __eval_binop_nm (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_val_t* left, xp_awk_val_t* right)
2006-04-12 03:54:12 +00:00
{
2006-04-24 11:22:42 +00:00
xp_awk_val_t* res;
2006-04-27 15:20:10 +00:00
/* TODO: ... */
2006-04-24 11:22:42 +00:00
if (left->type == XP_AWK_VAL_REX &&
right->type == XP_AWK_VAL_STR)
{
res = xp_awk_val_nil;
}
else if (left->type == XP_AWK_VAL_STR &&
right->type == XP_AWK_VAL_REX)
{
res = xp_awk_val_nil;
}
else
{
PANIC (run, XP_AWK_EOPERAND);
}
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
return res;
2006-04-12 03:54:12 +00:00
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_unary (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-02 12:45:04 +00:00
{
2006-04-09 15:31:13 +00:00
xp_awk_val_t* left, * res = XP_NULL;
2006-04-07 16:52:42 +00:00
xp_awk_nde_exp_t* exp = (xp_awk_nde_exp_t*)nde;
2006-04-02 12:45:04 +00:00
2006-04-07 16:52:42 +00:00
xp_assert (exp->type == XP_AWK_NDE_EXP_UNR);
xp_assert (exp->left != XP_NULL && exp->right == XP_NULL);
2006-04-02 12:45:04 +00:00
2006-04-21 17:24:31 +00:00
left = __eval_expression (run, exp->left);
2006-04-02 12:45:04 +00:00
if (left == XP_NULL) return XP_NULL;
xp_awk_refupval (left);
2006-04-07 16:52:42 +00:00
if (exp->opcode == XP_AWK_UNROP_PLUS)
2006-04-02 12:45:04 +00:00
{
if (left->type == XP_AWK_VAL_INT)
{
xp_long_t r = ((xp_awk_val_int_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r);
2006-04-02 12:45:04 +00:00
}
else if (left->type == XP_AWK_VAL_REAL)
{
xp_real_t r = ((xp_awk_val_real_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makerealval (run, r);
2006-04-02 12:45:04 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
PANIC (run, XP_AWK_EOPERAND);
2006-04-02 12:45:04 +00:00
}
}
2006-04-07 16:52:42 +00:00
else if (exp->opcode == XP_AWK_UNROP_MINUS)
2006-04-02 12:45:04 +00:00
{
if (left->type == XP_AWK_VAL_INT)
{
xp_long_t r = ((xp_awk_val_int_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, -r);
2006-04-02 12:45:04 +00:00
}
else if (left->type == XP_AWK_VAL_REAL)
{
xp_real_t r = ((xp_awk_val_real_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makerealval (run, -r);
2006-04-02 12:45:04 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
PANIC (run, XP_AWK_EOPERAND);
2006-04-02 12:45:04 +00:00
}
}
2006-04-07 16:52:42 +00:00
else if (exp->opcode == XP_AWK_UNROP_NOT)
2006-04-02 12:45:04 +00:00
{
if (left->type == XP_AWK_VAL_INT)
{
xp_long_t r = ((xp_awk_val_int_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, !r);
2006-04-02 12:45:04 +00:00
}
else if (left->type == XP_AWK_VAL_REAL)
{
xp_real_t r = ((xp_awk_val_real_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makerealval (run, !r);
2006-04-02 12:45:04 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
PANIC (run, XP_AWK_EOPERAND);
2006-04-02 12:45:04 +00:00
}
}
2006-04-07 16:52:42 +00:00
else if (exp->opcode == XP_AWK_UNROP_BNOT)
2006-04-02 12:45:04 +00:00
{
if (left->type == XP_AWK_VAL_INT)
{
xp_long_t r = ((xp_awk_val_int_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, ~r);
2006-04-02 12:45:04 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
PANIC (run, XP_AWK_EOPERAND);
2006-04-02 12:45:04 +00:00
}
}
2006-04-09 15:31:13 +00:00
if (res == XP_NULL)
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
PANIC (run, XP_AWK_ENOMEM);
2006-04-09 15:31:13 +00:00
}
2006-04-02 12:45:04 +00:00
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
2006-04-02 12:45:04 +00:00
return res;
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_incpre (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-02 12:45:04 +00:00
{
xp_awk_val_t* left, * res;
2006-04-07 16:52:42 +00:00
xp_awk_nde_exp_t* exp = (xp_awk_nde_exp_t*)nde;
2006-04-02 12:45:04 +00:00
2006-04-07 16:52:42 +00:00
xp_assert (exp->type == XP_AWK_NDE_EXP_INCPRE);
xp_assert (exp->left != XP_NULL && exp->right == XP_NULL);
2006-04-02 16:22:36 +00:00
/* ugly. but let's keep going this way for the time being */
2006-04-09 15:31:13 +00:00
/*if (exp->left->type != XP_AWK_NDE_NAMED &&
2006-04-07 16:52:42 +00:00
exp->left->type != XP_AWK_NDE_GLOBAL &&
exp->left->type != XP_AWK_NDE_LOCAL &&
2006-04-09 15:31:13 +00:00
exp->left->type != XP_AWK_NDE_ARG &&
exp->left->type != XP_AWK_NDE_NAMEDIDX &&
exp->left->type != XP_AWK_NDE_GLOBALIDX &&
exp->left->type != XP_AWK_NDE_LOCALIDX &&
2006-04-16 13:30:19 +00:00
exp->left->type != XP_AWK_NDE_ARGIDX) */
2006-04-09 16:26:36 +00:00
if (exp->left->type < XP_AWK_NDE_NAMED ||
exp->left->type > XP_AWK_NDE_ARGIDX)
2006-04-07 16:52:42 +00:00
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EOPERAND);
2006-04-02 16:22:36 +00:00
}
2006-04-02 12:45:04 +00:00
2006-04-21 17:24:31 +00:00
left = __eval_expression (run, exp->left);
2006-04-02 12:45:04 +00:00
if (left == XP_NULL) return XP_NULL;
xp_awk_refupval (left);
2006-04-07 16:52:42 +00:00
if (exp->opcode == XP_AWK_INCOP_PLUS)
2006-04-02 12:45:04 +00:00
{
if (left->type == XP_AWK_VAL_INT)
{
xp_long_t r = ((xp_awk_val_int_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r + 1);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-02 12:45:04 +00:00
}
else if (left->type == XP_AWK_VAL_REAL)
{
xp_real_t r = ((xp_awk_val_real_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makerealval (run, r + 1.0);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-02 12:45:04 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
PANIC (run, XP_AWK_EOPERAND);
2006-04-02 12:45:04 +00:00
}
}
2006-04-07 16:52:42 +00:00
else if (exp->opcode == XP_AWK_INCOP_MINUS)
2006-04-02 12:45:04 +00:00
{
if (left->type == XP_AWK_VAL_INT)
{
xp_long_t r = ((xp_awk_val_int_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r - 1);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-02 12:45:04 +00:00
}
else if (left->type == XP_AWK_VAL_REAL)
{
xp_real_t r = ((xp_awk_val_real_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makerealval (run, r - 1.0);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-02 12:45:04 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
PANIC (run, XP_AWK_EOPERAND);
2006-04-02 12:45:04 +00:00
}
}
2006-04-07 16:52:42 +00:00
else
{
xp_assert (!"should never happen - invalid opcode");
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
PANIC (run, XP_AWK_EINTERNAL);
2006-04-07 16:52:42 +00:00
}
2006-04-02 12:45:04 +00:00
2006-04-21 17:24:31 +00:00
if (__do_assignment(run, (xp_awk_nde_var_t*)exp->left, res) == XP_NULL)
2006-04-02 16:22:36 +00:00
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
2006-04-02 16:22:36 +00:00
return XP_NULL;
}
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
2006-04-02 12:45:04 +00:00
return res;
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_incpst (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-02 12:45:04 +00:00
{
2006-04-02 16:22:36 +00:00
xp_awk_val_t* left, * res, * res2;
2006-04-07 16:52:42 +00:00
xp_awk_nde_exp_t* exp = (xp_awk_nde_exp_t*)nde;
2006-04-02 12:45:04 +00:00
2006-04-07 16:52:42 +00:00
xp_assert (exp->type == XP_AWK_NDE_EXP_INCPST);
xp_assert (exp->left != XP_NULL && exp->right == XP_NULL);
2006-04-02 16:22:36 +00:00
/* ugly. but let's keep going this way for the time being */
2006-04-09 15:31:13 +00:00
/*if (exp->left->type != XP_AWK_NDE_NAMED &&
2006-04-07 16:52:42 +00:00
exp->left->type != XP_AWK_NDE_GLOBAL &&
exp->left->type != XP_AWK_NDE_LOCAL &&
2006-04-09 15:31:13 +00:00
exp->left->type != XP_AWK_NDE_ARG &&
exp->left->type != XP_AWK_NDE_NAMEDIDX &&
exp->left->type != XP_AWK_NDE_GLOBALIDX &&
exp->left->type != XP_AWK_NDE_LOCALIDX &&
exp->left->type != XP_AWK_NDE_ARGIDX) */
2006-04-09 16:26:36 +00:00
if (exp->left->type < XP_AWK_NDE_NAMED ||
exp->left->type > XP_AWK_NDE_ARGIDX)
2006-04-07 16:52:42 +00:00
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_EOPERAND);
2006-04-02 16:22:36 +00:00
}
2006-04-21 17:24:31 +00:00
left = __eval_expression (run, exp->left);
2006-04-02 16:22:36 +00:00
if (left == XP_NULL) return XP_NULL;
xp_awk_refupval (left);
2006-04-02 12:45:04 +00:00
2006-04-07 16:52:42 +00:00
if (exp->opcode == XP_AWK_INCOP_PLUS)
2006-04-02 12:45:04 +00:00
{
if (left->type == XP_AWK_VAL_INT)
{
xp_long_t r = ((xp_awk_val_int_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-02 12:45:04 +00:00
2006-04-21 17:24:31 +00:00
res2 = xp_awk_makeintval (run, r + 1);
2006-04-07 16:52:42 +00:00
if (res2 == XP_NULL)
{
2006-04-21 17:24:31 +00:00
xp_awk_freeval (run, res, xp_true);
PANIC (run, XP_AWK_ENOMEM);
2006-04-07 16:52:42 +00:00
}
2006-04-02 12:45:04 +00:00
}
else if (left->type == XP_AWK_VAL_REAL)
{
xp_real_t r = ((xp_awk_val_real_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makerealval (run, r);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-02 12:45:04 +00:00
2006-04-21 17:24:31 +00:00
res2 = xp_awk_makerealval (run, r + 1.0);
2006-04-07 16:52:42 +00:00
if (res2 == XP_NULL)
{
2006-04-21 17:24:31 +00:00
xp_awk_freeval (run, res, xp_true);
PANIC (run, XP_AWK_ENOMEM);
2006-04-07 16:52:42 +00:00
}
2006-04-02 12:45:04 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
PANIC (run, XP_AWK_EOPERAND);
2006-04-02 12:45:04 +00:00
}
}
2006-04-07 16:52:42 +00:00
else if (exp->opcode == XP_AWK_INCOP_MINUS)
2006-04-02 12:45:04 +00:00
{
if (left->type == XP_AWK_VAL_INT)
{
xp_long_t r = ((xp_awk_val_int_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makeintval (run, r);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-07 16:52:42 +00:00
2006-04-21 17:24:31 +00:00
res2 = xp_awk_makeintval (run, r - 1);
2006-04-07 16:52:42 +00:00
if (res2 == XP_NULL)
{
2006-04-21 17:24:31 +00:00
xp_awk_freeval (run, res, xp_true);
PANIC (run, XP_AWK_ENOMEM);
2006-04-07 16:52:42 +00:00
}
2006-04-02 12:45:04 +00:00
}
else if (left->type == XP_AWK_VAL_REAL)
{
xp_real_t r = ((xp_awk_val_real_t*)left)->val;
2006-04-21 17:24:31 +00:00
res = xp_awk_makerealval (run, r);
if (res == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-07 16:52:42 +00:00
2006-04-21 17:24:31 +00:00
res2 = xp_awk_makerealval (run, r - 1.0);
2006-04-07 16:52:42 +00:00
if (res2 == XP_NULL)
{
2006-04-21 17:24:31 +00:00
xp_awk_freeval (run, res, xp_true);
PANIC (run, XP_AWK_ENOMEM);
2006-04-07 16:52:42 +00:00
}
2006-04-02 12:45:04 +00:00
}
else
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
PANIC (run, XP_AWK_EOPERAND);
2006-04-02 12:45:04 +00:00
}
}
2006-04-07 16:52:42 +00:00
else
{
xp_assert (!"should never happen - invalid opcode");
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
PANIC (run, XP_AWK_EINTERNAL);
2006-04-07 16:52:42 +00:00
}
2006-04-02 12:45:04 +00:00
2006-04-21 17:24:31 +00:00
if (__do_assignment(run, (xp_awk_nde_var_t*)exp->left, res2) == XP_NULL)
2006-04-02 16:22:36 +00:00
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
2006-04-02 16:22:36 +00:00
return XP_NULL;
}
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, left);
2006-04-02 12:45:04 +00:00
return res;
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_cnd (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-11 09:16:20 +00:00
{
xp_awk_val_t* tv, * v;
xp_awk_nde_cnd_t* cnd = (xp_awk_nde_cnd_t*)nde;
2006-04-21 17:24:31 +00:00
tv = __eval_expression (run, cnd->test);
2006-04-11 09:16:20 +00:00
if (tv == XP_NULL) return XP_NULL;
xp_awk_refupval (tv);
v = (xp_awk_boolval(tv))?
2006-04-21 17:24:31 +00:00
__eval_expression (run, cnd->left):
__eval_expression (run, cnd->right);
2006-04-11 09:16:20 +00:00
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, tv);
2006-04-11 09:16:20 +00:00
return v;
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_call (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-03-24 06:33:36 +00:00
{
xp_awk_func_t* func;
xp_awk_pair_t* pair;
2006-03-25 17:04:36 +00:00
xp_awk_nde_t* p;
xp_size_t nargs, i;
xp_awk_val_t* v;
xp_size_t saved_stack_top;
2006-04-07 16:52:42 +00:00
xp_awk_nde_call_t* call = (xp_awk_nde_call_t*)nde;
2006-04-09 15:31:13 +00:00
int n;
2006-03-24 06:33:36 +00:00
2006-04-18 16:04:59 +00:00
/*xp_printf (XP_TEXT(".....__eval_call\n"));*/
2006-04-21 17:24:31 +00:00
pair = xp_awk_map_get (&run->tree->funcs, call->name);
if (pair == XP_NULL) PANIC (run, XP_AWK_ENOSUCHFUNC);
2006-03-24 06:33:36 +00:00
2006-04-18 16:04:59 +00:00
func = (xp_awk_func_t*)pair->val;
xp_assert (func != XP_NULL);
if (call->nargs > func->nargs)
{
/* TODO: is this correct? what if i want to allow arbitarary numbers of arguments? */
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_ETOOMANYARGS);
2006-04-18 16:04:59 +00:00
}
2006-03-24 06:33:36 +00:00
/*
* ---------------------
2006-04-09 15:34:38 +00:00
* localn <- stack top
2006-03-26 16:36:30 +00:00
* ---------------------
* ....
* ---------------------
2006-04-09 15:34:38 +00:00
* local0 local variables are pushed by __run_block
* =====================
2006-03-26 16:36:30 +00:00
* argn
2006-03-24 06:33:36 +00:00
* ---------------------
* ....
* ---------------------
* arg1
* ---------------------
* arg0
* ---------------------
2006-03-25 17:04:36 +00:00
* nargs
* ---------------------
2006-03-24 06:33:36 +00:00
* return value
* ---------------------
* previous stack top
* ---------------------
2006-03-26 16:36:30 +00:00
* previous stack base <- stack base
2006-04-09 15:34:38 +00:00
* =====================
* 0 (nargs) <- stack top
* ---------------------
* return value
* ---------------------
* previous stack top
* ---------------------
* previous stack base <- stack base
* =====================
* globaln
* ---------------------
* ....
* ---------------------
* global0
2006-03-24 06:33:36 +00:00
* ---------------------
*/
2006-04-21 17:24:31 +00:00
xp_assert (xp_sizeof(void*) >= xp_sizeof(run->stack_top));
xp_assert (xp_sizeof(void*) >= xp_sizeof(run->stack_base));
2006-03-25 17:04:36 +00:00
2006-04-21 17:24:31 +00:00
saved_stack_top = run->stack_top;
2006-03-25 17:04:36 +00:00
2006-04-21 17:24:31 +00:00
/*xp_printf (XP_TEXT("setting up function stack frame stack_top = %ld stack_base = %ld\n"), run->stack_top, run->stack_base); */
if (__raw_push(run,(void*)run->stack_base) == -1)
2006-04-09 15:31:13 +00:00
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_ENOMEM);
2006-04-09 15:31:13 +00:00
}
2006-04-21 17:24:31 +00:00
if (__raw_push(run,(void*)saved_stack_top) == -1)
2006-03-25 17:04:36 +00:00
{
2006-04-21 17:24:31 +00:00
__raw_pop (run);
PANIC (run, XP_AWK_ENOMEM);
2006-03-25 17:04:36 +00:00
}
2006-04-09 15:31:13 +00:00
/* secure space for a return value. */
2006-04-21 17:24:31 +00:00
if (__raw_push(run,xp_awk_val_nil) == -1)
2006-03-25 17:04:36 +00:00
{
2006-04-21 17:24:31 +00:00
__raw_pop (run);
__raw_pop (run);
PANIC (run, XP_AWK_ENOMEM);
2006-03-25 17:04:36 +00:00
}
/* secure space for nargs */
2006-04-21 17:24:31 +00:00
if (__raw_push(run,xp_awk_val_nil) == -1)
2006-03-25 17:04:36 +00:00
{
2006-04-21 17:24:31 +00:00
__raw_pop (run);
__raw_pop (run);
__raw_pop (run);
PANIC (run, XP_AWK_ENOMEM);
2006-03-25 17:04:36 +00:00
}
nargs = 0;
2006-04-07 16:52:42 +00:00
p = call->args;
2006-03-25 17:04:36 +00:00
while (p != XP_NULL)
{
2006-04-21 17:24:31 +00:00
v = __eval_expression(run,p);
2006-03-25 17:04:36 +00:00
if (v == XP_NULL)
{
2006-04-09 15:31:13 +00:00
while (nargs > 0)
{
2006-04-14 10:56:42 +00:00
/* TODO: test this portion. */
2006-04-09 15:31:13 +00:00
--nargs;
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, STACK_ARG(run,nargs));
__raw_pop (run);
2006-04-09 15:31:13 +00:00
}
2006-04-21 17:24:31 +00:00
__raw_pop (run);
__raw_pop (run);
__raw_pop (run);
2006-03-25 17:04:36 +00:00
return XP_NULL;
}
2006-04-21 17:24:31 +00:00
if (__raw_push(run,v) == -1)
2006-03-25 17:04:36 +00:00
{
2006-04-09 15:31:13 +00:00
/* ugly - v needs to be freed if it doesn't have
* any reference. but its reference has not been
* updated for the successful stack push. so it adds
* up a reference and dereferences it*/
xp_awk_refupval (v);
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, v);
2006-04-09 15:31:13 +00:00
while (nargs > 0)
{
2006-04-14 10:56:42 +00:00
/* TODO: test this portion. */
2006-04-09 15:31:13 +00:00
--nargs;
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, STACK_ARG(run,nargs));
__raw_pop (run);
2006-04-09 15:31:13 +00:00
}
2006-04-21 17:24:31 +00:00
__raw_pop (run);
__raw_pop (run);
__raw_pop (run);
PANIC (run, XP_AWK_ENOMEM);
2006-03-25 17:04:36 +00:00
}
xp_awk_refupval (v);
nargs++;
p = p->next;
}
2006-04-18 16:04:59 +00:00
xp_assert (nargs == call->nargs);
2006-03-24 06:33:36 +00:00
2006-04-18 16:04:59 +00:00
while (nargs < func->nargs)
{
/* push as many nils as the number of missing actual arguments */
2006-04-21 17:24:31 +00:00
if (__raw_push(run,xp_awk_val_nil) == -1)
2006-04-18 16:04:59 +00:00
{
while (nargs > 0)
{
/* TODO: test this portion. */
--nargs;
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, STACK_ARG(run,nargs));
__raw_pop (run);
2006-04-18 16:04:59 +00:00
}
2006-03-25 17:04:36 +00:00
2006-04-21 17:24:31 +00:00
__raw_pop (run);
__raw_pop (run);
__raw_pop (run);
PANIC (run, XP_AWK_ENOMEM);
2006-04-18 16:04:59 +00:00
}
nargs++;
}
2006-04-21 17:24:31 +00:00
run->stack_base = saved_stack_top;
STACK_NARGS(run) = (void*)nargs;
2006-03-25 17:04:36 +00:00
2006-04-14 10:56:42 +00:00
/*xp_printf (XP_TEXT("running function body\n")); */
2006-03-24 06:33:36 +00:00
2006-03-25 17:04:36 +00:00
xp_assert (func->body->type == XP_AWK_NDE_BLK);
2006-04-21 17:24:31 +00:00
n = __run_block(run,(xp_awk_nde_blk_t*)func->body);
2006-03-26 16:36:30 +00:00
2006-04-14 10:56:42 +00:00
/*xp_printf (XP_TEXT("block run complete\n")); */
2006-03-24 06:33:36 +00:00
2006-03-25 17:04:36 +00:00
/* refdown args in the run.stack */
2006-04-21 17:24:31 +00:00
nargs = (xp_size_t)STACK_NARGS(run);
2006-04-14 10:56:42 +00:00
/*xp_printf (XP_TEXT("block run complete nargs = %d\n"), nargs); */
2006-03-25 17:04:36 +00:00
for (i = 0; i < nargs; i++)
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, STACK_ARG(run,i));
2006-03-25 17:04:36 +00:00
}
2006-04-14 10:56:42 +00:00
/*xp_printf (XP_TEXT("got return value\n")); */
2006-03-26 16:36:30 +00:00
2006-04-09 15:31:13 +00:00
/* this is the trick mentioned in __run_return_statement.
* adjust the reference count of the return value.
2006-03-26 16:36:30 +00:00
* the value must not be freeed event if the reference count
2006-04-09 15:31:13 +00:00
* is decremented to zero because its reference is increased in
* __run_return_statement regardless of its reference count. */
2006-04-21 17:24:31 +00:00
v = STACK_RETVAL(run);
xp_awk_refdownval_nofree (run, v);
2006-03-25 17:04:36 +00:00
2006-04-21 17:24:31 +00:00
run->stack_top = (xp_size_t)run->stack[run->stack_base+1];
run->stack_base = (xp_size_t)run->stack[run->stack_base+0];
2006-03-25 17:04:36 +00:00
2006-04-21 17:24:31 +00:00
if (run->exit_level == EXIT_FUNCTION)
2006-03-26 16:36:30 +00:00
{
2006-04-21 17:24:31 +00:00
run->exit_level = EXIT_NONE;
2006-03-26 16:36:30 +00:00
}
2006-04-21 17:24:31 +00:00
/*xp_printf (XP_TEXT("returning from function stack_top=%ld, stack_base=%ld\n"), run->stack_top, run->stack_base); */
2006-04-09 15:31:13 +00:00
return (n == -1)? XP_NULL: v;
2006-03-24 06:33:36 +00:00
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_int (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-07 16:52:42 +00:00
{
xp_awk_val_t* val;
val = xp_awk_makeintval (
2006-04-21 17:24:31 +00:00
run, ((xp_awk_nde_int_t*)nde)->val);
if (val == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-07 16:52:42 +00:00
return val;
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_real (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-07 16:52:42 +00:00
{
xp_awk_val_t* val;
val = xp_awk_makerealval (
2006-04-21 17:24:31 +00:00
run, ((xp_awk_nde_real_t*)nde)->val);
if (val == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-07 16:52:42 +00:00
return val;
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_str (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-07 16:52:42 +00:00
{
xp_awk_val_t* val;
val = xp_awk_makestrval (
((xp_awk_nde_str_t*)nde)->buf,
((xp_awk_nde_str_t*)nde)->len);
2006-04-21 17:24:31 +00:00
if (val == XP_NULL) PANIC (run, XP_AWK_ENOMEM);
2006-04-07 16:52:42 +00:00
return val;
}
2006-04-24 11:22:42 +00:00
static xp_awk_val_t* __eval_rex (xp_awk_run_t* run, xp_awk_nde_t* nde)
{
/* TODO */
2006-04-24 11:26:00 +00:00
xp_printf (XP_TEXT("eval_rex not implemented yet...\n"));
2006-04-24 11:22:42 +00:00
PANIC (run, XP_AWK_EINTERNAL);
return XP_NULL;
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_named (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-07 16:52:42 +00:00
{
xp_awk_pair_t* pair;
xp_awk_nde_var_t* tgt = (xp_awk_nde_var_t*)nde;
2006-04-21 17:24:31 +00:00
pair = xp_awk_map_get(&run->named,tgt->id.name);
2006-04-07 16:52:42 +00:00
return (pair == XP_NULL)? xp_awk_val_nil: pair->val;
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_global (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-07 16:52:42 +00:00
{
xp_awk_nde_var_t* tgt = (xp_awk_nde_var_t*)nde;
2006-04-21 17:24:31 +00:00
return STACK_GLOBAL(run,tgt->id.idxa);
2006-04-07 16:52:42 +00:00
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_local (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-07 16:52:42 +00:00
{
xp_awk_nde_var_t* tgt = (xp_awk_nde_var_t*)nde;
2006-04-21 17:24:31 +00:00
return STACK_LOCAL(run,tgt->id.idxa);
2006-04-07 16:52:42 +00:00
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_arg (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-07 16:52:42 +00:00
{
xp_awk_nde_var_t* tgt = (xp_awk_nde_var_t*)nde;
2006-04-21 17:24:31 +00:00
return STACK_ARG(run,tgt->id.idxa);
2006-04-07 16:52:42 +00:00
}
2006-04-18 11:26:48 +00:00
static xp_awk_val_t* __eval_indexed (
2006-04-21 17:24:31 +00:00
xp_awk_run_t* run, xp_awk_nde_var_t* nde, xp_awk_val_map_t* map)
2006-04-07 16:52:42 +00:00
{
2006-04-16 16:30:59 +00:00
xp_awk_val_t* idx, *res;
xp_awk_pair_t* pair;
2006-04-18 11:26:48 +00:00
xp_awk_nde_t* tmp;
xp_char_t* str;
2006-04-16 13:30:19 +00:00
2006-04-19 16:09:51 +00:00
/* TODO: should it be an error? should it return nil? */
2006-04-18 11:26:48 +00:00
if (map->type != XP_AWK_VAL_MAP)
{
2006-04-21 17:24:31 +00:00
PANIC (run, XP_AWK_ENOTINDEXABLE);
2006-04-18 11:26:48 +00:00
}
2006-04-16 16:30:59 +00:00
2006-04-18 11:26:48 +00:00
xp_assert (nde->idx != XP_NULL);
2006-04-16 16:30:59 +00:00
2006-04-18 11:26:48 +00:00
tmp = nde->idx;
2006-04-27 15:20:10 +00:00
/* TODO: multidimensional array
2006-04-18 11:26:48 +00:00
while (tmp != XP_NULL)
*/
2006-04-16 13:30:19 +00:00
{
2006-04-20 05:44:29 +00:00
int errnum;
2006-04-21 17:24:31 +00:00
idx = __eval_expression (run, tmp);
2006-04-18 11:26:48 +00:00
if (idx == XP_NULL) return XP_NULL;
xp_awk_refupval (idx);
2006-04-20 05:44:29 +00:00
str = __val_to_str (idx, &errnum);
2006-04-18 11:26:48 +00:00
if (str == XP_NULL)
{
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, idx);
PANIC (run, errnum);
2006-04-18 11:26:48 +00:00
}
2006-04-21 17:24:31 +00:00
xp_awk_refdownval (run, idx);
2006-04-18 11:26:48 +00:00
/* TODO:
tmp = tmp->next;
*/
2006-04-16 13:30:19 +00:00
}
2006-04-16 16:30:59 +00:00
/* TODO: check this out........ */
2006-04-18 11:26:48 +00:00
pair = xp_awk_map_get (((xp_awk_val_map_t*)map)->map, str);
2006-04-16 16:30:59 +00:00
res = (pair == XP_NULL)? xp_awk_val_nil: (xp_awk_val_t*)pair->val;
2006-04-16 13:30:19 +00:00
xp_free (str);
2006-04-16 16:30:59 +00:00
return res;
2006-04-07 16:52:42 +00:00
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_namedidx (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-19 16:09:51 +00:00
{
xp_awk_nde_var_t* tgt = (xp_awk_nde_var_t*)nde;
xp_awk_pair_t* pair;
2006-04-21 17:24:31 +00:00
pair = xp_awk_map_get (&run->named, tgt->id.name);
return __eval_indexed (run, tgt,
2006-04-19 16:09:51 +00:00
(pair == XP_NULL)? xp_awk_val_nil: pair->val);
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_globalidx (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-18 11:26:48 +00:00
{
xp_awk_nde_var_t* tgt = (xp_awk_nde_var_t*)nde;
2006-04-21 17:24:31 +00:00
return __eval_indexed (run, tgt, STACK_GLOBAL(run,tgt->id.idxa));
2006-04-18 11:26:48 +00:00
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_localidx (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-07 16:52:42 +00:00
{
2006-04-18 11:26:48 +00:00
xp_awk_nde_var_t* tgt = (xp_awk_nde_var_t*)nde;
2006-04-21 17:24:31 +00:00
return __eval_indexed (run, tgt, STACK_LOCAL(run,tgt->id.idxa));
2006-04-07 16:52:42 +00:00
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_argidx (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-07 16:52:42 +00:00
{
2006-04-18 11:26:48 +00:00
xp_awk_nde_var_t* tgt = (xp_awk_nde_var_t*)nde;
2006-04-21 17:24:31 +00:00
return __eval_indexed (run, tgt, STACK_ARG(run,tgt->id.idxa));
2006-04-07 16:52:42 +00:00
}
2006-04-21 17:24:31 +00:00
static xp_awk_val_t* __eval_pos (xp_awk_run_t* run, xp_awk_nde_t* nde)
2006-04-07 16:52:42 +00:00
{
2006-04-14 10:56:42 +00:00
/* TODO: */
2006-04-18 11:26:48 +00:00
xp_printf (XP_TEXT("eval_pos not competed....\n"));
2006-04-07 16:52:42 +00:00
return XP_NULL;
}
2006-04-21 17:24:31 +00:00
static int __raw_push (xp_awk_run_t* run, void* val)
2006-03-24 06:33:36 +00:00
{
2006-04-21 17:24:31 +00:00
if (run->stack_top >= run->stack_limit)
2006-03-24 06:33:36 +00:00
{
void* tmp;
xp_size_t n;
2006-04-21 17:24:31 +00:00
n = run->stack_limit + STACK_INCREMENT;
tmp = (void**)xp_realloc (run->stack, n * xp_sizeof(void*));
2006-03-24 06:33:36 +00:00
if (tmp == XP_NULL) return -1;
2006-04-21 17:24:31 +00:00
run->stack = tmp;
run->stack_limit = n;
2006-03-24 06:33:36 +00:00
}
2006-04-21 17:24:31 +00:00
run->stack[run->stack_top++] = val;
2006-03-25 17:04:36 +00:00
return 0;
2006-03-24 06:33:36 +00:00
}
2006-03-26 14:03:08 +00:00
2006-04-21 17:24:31 +00:00
static void __raw_pop (xp_awk_run_t* run)
2006-03-26 14:03:08 +00:00
{
2006-04-21 17:24:31 +00:00
xp_assert (run->stack_top > run->stack_base);
run->stack_top--;
2006-03-26 14:03:08 +00:00
}
2006-04-21 17:24:31 +00:00
static void __raw_pop_times (xp_awk_run_t* run, xp_size_t times)
2006-04-09 15:31:13 +00:00
{
while (times > 0)
{
--times;
2006-04-21 17:24:31 +00:00
__raw_pop (run);
2006-04-09 15:31:13 +00:00
}
}
2006-04-16 04:31:38 +00:00
2006-04-22 13:54:53 +00:00
static int __read_text_input (xp_awk_run_t* run)
{
xp_ssize_t n;
xp_char_t c;
xp_str_clear (&run->input.line);
if (run->input.eof) return 0;
while (1)
{
if (run->input.buf_pos >= run->input.buf_len)
{
n = run->txtio (XP_AWK_INPUT_DATA, run->txtio_arg,
run->input.buf, xp_countof(run->input.buf));
if (n == -1) PANIC_I (run, XP_AWK_ETXTINDATA);
if (n == 0)
{
if (XP_STR_LEN(&run->input.line) == 0) return 0;
run->input.eof = xp_true;
break;
}
run->input.buf_pos = 0;
run->input.buf_len = n;
}
c = run->input.buf[run->input.buf_pos++];
if (xp_str_ccat (&run->input.line, c) == (xp_size_t)-1)
{
PANIC_I (run, XP_AWK_ENOMEM);
}
/* TODO: use LF instead of this hard coded value */
/* any better way to tell line terminating with newlines?
* line with new line characters removed or retained? */
if (c == XP_CHAR('\n')) break;
}
return 1;
}
2006-04-16 06:16:42 +00:00
static int __val_to_num (xp_awk_val_t* v, xp_long_t* l, xp_real_t* r)
{
if (v->type == XP_AWK_VAL_NIL)
{
*l = 0;
return 0;
}
if (v->type == XP_AWK_VAL_INT)
{
*l = ((xp_awk_val_int_t*)v)->val;
return 0;
}
if (v->type == XP_AWK_VAL_REAL)
{
*r = ((xp_awk_val_real_t*)v)->val;
return 1;
}
if (v->type == XP_AWK_VAL_STR)
{
const xp_char_t* endptr;
/* don't care about val->len */
*l = xp_awk_strtolong (((xp_awk_val_str_t*)v)->buf, 0, &endptr);
if (*endptr == XP_CHAR('.') ||
*endptr == XP_CHAR('E') ||
*endptr == XP_CHAR('e'))
{
*r = xp_awk_strtoreal (((xp_awk_val_str_t*)v)->buf);
return 1; /* real */
}
return 0; /* long */
}
return -1; /* error */
}
2006-04-20 05:44:29 +00:00
static xp_char_t* __val_to_str (xp_awk_val_t* v, int* errnum)
2006-04-16 04:31:38 +00:00
{
2006-04-20 05:44:29 +00:00
if (v->type == XP_AWK_VAL_INT)
{
xp_char_t* tmp;
xp_long_t t;
xp_size_t len = 0;
t = ((xp_awk_val_int_t*)v)->val;
2006-04-29 12:09:29 +00:00
if (t == 0)
{
/* handle zero */
tmp = xp_malloc (2 * xp_sizeof(xp_char_t));
if (tmp == XP_NULL)
{
*errnum = XP_AWK_ENOMEM;
return XP_NULL;
}
tmp[0] = XP_CHAR('0');
tmp[1] = XP_CHAR('\0');
return tmp;
}
/* non-zero values */
2006-04-20 05:44:29 +00:00
if (t < 0) { t = -t; len++; }
while (t > 0) { len++; t /= 10; }
tmp = xp_malloc (len + 1 * xp_sizeof(xp_char_t));
if (tmp == XP_NULL)
{
*errnum = XP_AWK_ENOMEM;
return XP_NULL;
}
t = ((xp_awk_val_int_t*)v)->val;
if (t < 0) t = -t;
tmp[len] = XP_CHAR('\0');
while (t > 0)
{
tmp[--len] = (xp_char_t)(t % 10) + XP_CHAR('0');
t /= 10;
}
2006-04-27 15:59:01 +00:00
if (((xp_awk_val_int_t*)v)->val < 0) tmp[--len] = XP_CHAR('-');
2006-04-20 05:44:29 +00:00
return tmp;
}
2006-04-16 13:30:19 +00:00
if (v->type == XP_AWK_VAL_STR)
2006-04-16 04:31:38 +00:00
{
2006-04-20 05:44:29 +00:00
xp_char_t* tmp;
tmp = xp_strxdup (
2006-04-16 13:30:19 +00:00
((xp_awk_val_str_t*)v)->buf,
((xp_awk_val_str_t*)v)->len);
2006-04-20 05:44:29 +00:00
if (tmp == XP_NULL) *errnum = XP_AWK_ENOMEM;
return tmp;
2006-04-16 04:31:38 +00:00
}
2006-04-20 05:44:29 +00:00
2006-04-22 16:16:40 +00:00
/* TODO: process more value types */
2006-04-20 05:44:29 +00:00
*errnum = XP_AWK_EWRONGINDEX;
2006-04-16 13:30:19 +00:00
return XP_NULL;
2006-04-16 04:31:38 +00:00
}