/* $Id$ */

#include	<stdio.h>
#include	<assert.h>
#include	<alloc.h>
#include	<out.h>
#if __STDC__
#include	<stdarg.h>
#else
#include	<varargs.h>
#endif

#include	"operator.h"
#include	"position.h"
#include	"file.h"
#include	"idf.h"
#include	"tree.h"
#include	"scope.h"
#include	"symbol.h"
#include	"langdep.h"
#include	"type.h"
#include	"expr.h"
#include	"misc.h"

extern FILE	*db_out;
t_lineno	currline;
t_lineno	listline;
extern char	*strrchr();
extern int	interrupted;

#if __STDC__
/*VARARGS1*/
p_tree
mknode(int op, ...)
{
  va_list ap;
  register p_tree p = new_tree();

  va_start(ap, op);
  {
	register int i, na;

	p->t_oper = op;
#else
/*VARARGS1*/
p_tree
mknode(va_alist)
  va_dcl
{
  va_list ap;
  register p_tree p = new_tree();

  va_start(ap);
  {
	register int i, na;

	p->t_oper = va_arg(ap, int);
#endif
	switch(p->t_oper) {
	case OP_NAME:
	case OP_HELP:
		p->t_idf = va_arg(ap, struct idf *);
		p->t_str = va_arg(ap, char *);
		break;
	case OP_STRING:
		p->t_sval = va_arg(ap, char *);
		break;
	case OP_REAL:
		p->t_fval = va_arg(ap, double);
		break;
	case OP_AT:
		p->t_lino = va_arg(ap, long);
		p->t_filename = va_arg(ap, char *);
		break;
	case OP_INTEGER:
		p->t_ival = va_arg(ap, long);
		break;
	default:
		na = nargs(p->t_oper);
		assert(na <= MAXARGS);
		for (i = 0; i < na; i++) {
			p->t_args[i] = va_arg(ap, p_tree);
		}
		break;
	}
  }
  va_end(ap);
  return p;
}

freenode(p)
  register p_tree	p;
{
  register int na, i;

  if (! p) return;
  na = nargs(p->t_oper);
  assert(na <= MAXARGS);
  for (i = 0; i < na; i++) {
	freenode(p->t_args[i]);
  }
  free_tree(p);
}

t_addr
get_addr_from_node(p)
  p_tree	p;
{
  t_addr	a = ILL_ADDR;
  register p_symbol sym;

  if (! p) return NO_ADDR;
  if (p->t_address != 0) return p->t_address;
  switch(p->t_oper) {
  case OP_AT:
	if (! p->t_filename &&
	    (! listfile || ! (p->t_filename = listfile->sy_idf->id_text))) {
		error("no current file");
		break;
	}
	a = get_addr_from_position(&(p->t_pos));
	if (a == ILL_ADDR) {
		error("could not determine address of \"%s\":%d",
			p->t_filename, p->t_lino);
		break;
	}
	p->t_address = a;
	break;
	
  case OP_IN:
	a =  get_addr_from_node(p->t_args[0]);

	if (p->t_args[1]) {
		p_scope sc;

		a = get_addr_from_node(p->t_args[1]);
		sc = base_scope(get_scope_from_addr(a));
		sym = identify(p->t_args[0], FUNCTION|PROC|MODULE);
		if (! sym->sy_name.nm_scope ||
		    ! sym->sy_name.nm_scope->sc_bp_opp) {
			error("could not determine address of \"%s\"", p->t_str);
			a = ILL_ADDR;
			break;
		}
		if (sc->sc_definedby != sym) {
			error("inconsistent address");
			a = ILL_ADDR;
			break;
		}
	}
	p->t_address = a;
	break;

  case OP_NAME:
  case OP_SELECT:
	sym = identify(p, FUNCTION|PROC|MODULE);
	if (! sym) {
		break;
	}
	if (! sym->sy_name.nm_scope || ! sym->sy_name.nm_scope->sc_bp_opp) {
		error("could not determine address of \"%s\"", p->t_str);
		break;
	}
	a = sym->sy_name.nm_scope->sc_bp_opp;
	break;

  default:
	assert(0);
  }
  return a;
}

static int	ommit_commas = 0;

print_node(f, p, top_level)
  register p_tree	p;
  register FILE		*f;
{
  if (!p) return;
  switch(p->t_oper) {
  case OP_LOG:
	fputs("log ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_PRCOMM:
	fputs("rerun ?", f);
	break;
  case OP_RUN:
	fputs("run ", f);
	ommit_commas = 1;
	print_node(f, p->t_args[0], 0);
	ommit_commas = 0;
	break;
  case OP_LIST:
	fputs("list ", f);
	if (p->t_args[0]) {
		print_node(f, p->t_args[0], 0);
		if (p->t_args[1]) {
			if (p->t_args[1]->t_ival >= 0) {
				fputs(", ", f);
				print_node(f, p->t_args[1], 0);
			}
			else  {
				if (p->t_args[1]->t_ival < -100000000) {
					fputs("-", f);
				}
				else print_node(f, p->t_args[1], 0);
			}
		}
	}
	break;
  case OP_PRINT:
	fputs("print ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_SOURCE:
	fputs("source ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_ENABLE:
	fputs("enable ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_DISABLE:
	fputs("disable ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_DISPLAY:
	fputs("display ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_LINK:
	print_node(f, p->t_args[0], 0);
	if (! ommit_commas) fputs(", ", f);
	else putc(' ', f);
	print_node(f, p->t_args[1], 0);
	break;
  case OP_FILE:
	fputs("file ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_FRAME:
	fputs("frame ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_UP:
	fputs("frame +", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_DOWN:
	fputs("frame -", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_SET:
	fputs("set ", f);
	print_node(f, p->t_args[0], 0);
	fputs(" to ", f);
	print_node(f, p->t_args[1], 0);
	break;
  case OP_FIND:
	fputs("find ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_WHICH:
	fputs("which ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_DELETE:
	fputs("delete ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_REGS:
	fputs("regs ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_NEXT:
	fputs("next ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_STEP:
	fputs("step ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_STATUS:
	fputs("status", f);
	break;
  case OP_DUMP:
	fputs("dump ", f);
	(void) print_position(p->t_address, 1);
	break;
  case OP_RESTORE:
	fputs("restore ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_WHERE:
	fputs("where ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_HELP:
	fputs("help ", f);
	print_node(f, p->t_args[0], 0);
	break;
  case OP_CONT:
	fputs("cont", f);
	if (p->t_args[0]) {
		fprintf(f, " %ld", p->t_args[0]->t_ival);
	}
	if (p->t_args[1]) {
		fputs(" ", f);
		print_node(f, p->t_args[1], 0);
	}
	break;

  case OP_WHEN:
	fputs("when ", f);
	if (p->t_address != NO_ADDR) {
		(void) print_position(p->t_address, 1);
	}
	else print_node(f, p->t_args[0], 0);
	if (p->t_args[1]) {
		fputs(" if ", f);
		print_node(f, p->t_args[1], 0);
	}
	p = p->t_args[2];
	fputs(" { ", f);
	while (p && p->t_oper == OP_LINK) {
		print_node(f, p->t_args[0], 0);
		fputs("; ", f);
		p = p->t_args[1];
	}
	print_node(f, p, 0);
	fputs(" }", f);
	break;
  case OP_STOP:
	fputs("stop ", f);
	if (p->t_address != NO_ADDR) {
		(void) print_position(p->t_address, 1);
	}
	else print_node(f, p->t_args[0], 0);
	if (p->t_args[1]) {
		fputs(" if ", f);
		print_node(f, p->t_args[1], 0);
	}
	break;
  case OP_TRACE:
	fputs("trace ", f);
	if (p->t_args[2]) {
		fputs("on ", f);
		print_node(f, p->t_args[2], 0);
		fputs(" ", f);
	}
	if (p->t_address != NO_ADDR) {
		(void) print_position(p->t_address, 1);
	}
	else print_node(f, p->t_args[0], 0);
	if (p->t_args[1]) {
		fputs(" if ", f);
		print_node(f, p->t_args[1], 0);
	}
	break;
  case OP_AT:
	fprintf(f, "at \"%s\":%d", p->t_filename, (int) p->t_lino);
	break;
  case OP_IN:
	fputs("in ", f);
	print_node(f, p->t_args[0], 0);
	fputs(" ", f);
	print_node(f, p->t_args[1], 0);
	break;
  case OP_SELECT:
	print_node(f, p->t_args[0], 0);
	fputs("`", f);
	print_node(f, p->t_args[1], 0);
	break;
  case OP_OUTPUT:
	fprintf(f, "> %s ", p->t_str);
	break;
  case OP_INPUT:
	fprintf(f, "< %s ", p->t_str);
	break;
  case OP_NAME:
	fputs(p->t_str, f);
	break;
  case OP_INTEGER:
	fprintf(f, currlang->decint_fmt, p->t_ival);
	break;
  case OP_STRING:
	(*currlang->printstring)(f, p->t_sval, strlen(p->t_sval));
	break;
  case OP_REAL:
	fprintf(f, currlang->real_fmt, p->t_fval);
	break;
  case OP_FORMAT:
	print_node(f, p->t_args[0], 0);
	fputs("\\", f);
	print_node(f, p->t_args[1], 0);
	break;
  case OP_UNOP:
  case OP_BINOP:
	(*currlang->printop)(f, p);
	break;
  default:
	assert(0);
  }
  if (top_level) fputs("\n", f);
}

int
repeatable(com)
  p_tree	com;
{
  switch(com->t_oper) {
  case OP_CONT:
	com->t_args[0]->t_ival = 1;
	freenode(com->t_args[1]);
	com->t_args[1] = 0;
	return 1;
  case OP_NEXT:
  case OP_STEP:
	freenode(com->t_args[0]);
	com->t_args[0] = 0;
	return 1;
  case OP_LIST:
	freenode(com->t_args[0]);
	com->t_args[0] = 0;
	freenode(com->t_args[1]);
	com->t_args[1] = 0;
	return 1;
  }
  return 0;
}

int
in_status(com)
  p_tree	com;
{
  switch(com->t_oper) {
  case OP_PRCOMM:
	/* not really in status but may not be removed */
  case OP_STOP:
  case OP_WHEN:
  case OP_TRACE:
  case OP_DUMP:
  case OP_DISPLAY:
	return 1;
  }
  return 0;
}

eval(p)
  p_tree	p;
{
  if (p && operators[p->t_oper].op_fun) (*operators[p->t_oper].op_fun)(p);
}

newfile(id)
  register struct idf	*id;
{
  register p_symbol sym = Lookup(id, PervasiveScope, FILESYM);

  if (listfile != sym) listline = 1;
  listfile = sym;
  if (! listfile) {
	listline = 1;
	listfile = add_file(id->id_text);
	listfile->sy_file->f_scope = FileScope;
  }
  find_language(strrchr(id->id_text, '.'));
}

int	in_wheninvoked;

perform(p, a)
  register p_tree	p;
  t_addr		a;
{
  switch(p->t_oper) {
  case OP_WHEN:
	if (p->t_args[1] && ! eval_cond(p->t_args[1])) break;
	p = p->t_args[2];
	in_wheninvoked++;
	while (p && p->t_oper == OP_LINK) {
		if (interrupted) return;
		if (p->t_args[0]) eval(p->t_args[0]);
		p = p->t_args[1];
	}
	if (interrupted) return;
	if (p) eval(p);
	in_wheninvoked--;
	break;
  case OP_TRACE:
	if (p->t_args[0] && p->t_args[0]->t_oper == OP_IN) {
		register p_scope sc = base_scope(CurrentScope);
	
		if (sc != get_scope_from_addr(p->t_args[0]->t_address)) {
			break;
		}
	}
	if (interrupted) return;
	if (p->t_args[1] && ! eval_cond(p->t_args[1])) break;
	list_position(get_position_from_addr(a));
	if (p->t_args[2]) do_print(p->t_args[2]);
	break;
  default:
	assert(0);
  }
}

list_position(pos)
  p_position	pos;
{
  newfile(str2idf(pos->filename, 1));
  currfile = listfile;
  currline = pos->lineno;
  lines(currfile->sy_file, (int)currline, (int)1);
  listline = 0;
}