/* prdebug.c */
/* Functions that might help you to find a bug with a source-level debugger.
 */
#ifndef MEGAMAX
#include <assert.h>
#endif
#include "prtypes.h"
#include "prstdio.h"
#include "prlex.h"

#include "prextern.h"
static void  pr_offset(struct  node *nodeptr);
static void  pr_ofiles(void);
static void  stack_dump(void);

/* Print the offset of a variable */

static void pr_offset(nodeptr)
node_ptr_t nodeptr;
{
    char buffer [30] ;
    if(NODEPTR_TYPE(nodeptr)!= VAR)
    {
	pr_string("non var\n");
    }
    else { 
	sprintf(buffer, "%ld",NODEPTR_OFFSET(nodeptr));
	prfputs( buffer, PRSTDOUT) ;
    }
}

/* print all open files */
static void pr_ofiles()
{
    extern struct named_ofile Open_ofiles[];
    int i;
    char *name;

    for(i = 0; i < MAXOPEN; i++)
    {
	name =  (Open_ofiles[i].o_filename);
	if(*name){
	    tty_pr_string(name);
	    tty_pr_string("\n");
	}
    }
}

static void stack_dump()
{
extern dyn_ptr_t LastCframe; 
if (LastCframe == NULL)
   return;
dump_stack( LastCframe );
}

#ifdef HUNTBUGS

/* The function below was used to look for a bug 
 *   - bughunt(__LINE__,__FILE__,..) was inserted in various parts of the program 
 */

atom_ptr_t Mischievous, hash_search();
extern atom_ptr_t Predicate;
int Bug_hunt_flag = 0;  /* see do_builtin() in prlush */
static unsigned long Sum;

unsigned long sum_bytes()
{
unsigned long result;
char *p;
char *start_watch_zone, *end_watch_zone;

start_watch_zone = (char *)hash_search("eq");/* last predicate in sprolog.ini */
end_watch_zone = (char *)hash_search("log-session");/* last predicate in sprolog.ini */
assert(start_watch_zone != NULL);
assert(end_watch_zone != NULL);
assert(start_watch_zone != end_watch_zone);
for(result = 0L , p = start_watch_zone; p <= end_watch_zone;  p++)
    result += *p;
return(result);
}

bughunt(line, file, msg)
char *file,*msg;
{
static int first_time = 1;
char buffer [100] ;
if(Bug_hunt_flag == 0)return 1;
if(first_time){
    Sum = sum_bytes();
    first_time = 0;
     return(1);
    }
    else
    if(Sum != sum_bytes())
	{
	sprintf(buffer,"bughunt error %s line %d %s\n", file, line, msg);
	prfputs(buffer, PRSTDOUT);
	getchar();
	stack_dump();
	Sum = sum_bytes();

	return(0);
	}
/* printf("Sum = %lu\n", Sum); */
    return (1);
}

#endif