/*-------------------------------------------------------------------------*
* CTRL_C_MANAGER *
* *
*-------------------------------------------------------------------------*/
static PlLong
Ctrl_C_Manager(int from_callback)
{
StmInf *pstm = pl_stm_tbl[pl_stm_top_level_output];
PredInf *pred;
int c;
CodePtr to_execute;
// Pl_Reset_Prolog_In_Signal();
Restore_Machine_Regs(buff_save_machine_regs);
start:
Pl_Stream_Printf(pstm, "\nProlog interruption (h for help) ? ");
Pl_Stream_Flush(pstm);
c = Pl_Stream_Get_Key(pl_stm_tbl[pl_stm_top_level_input], TRUE, FALSE);
Pl_Stream_Putc('\n', pstm);
switch (c)
{
case 'a': /* abort */
to_execute = Prolog_Predicate(ABORT, 0);
if (from_callback)
return (PlLong) to_execute;
Pl_Execute_A_Continuation(to_execute);
break;
case 'b': /* break */
Pl_Call_Prolog(Prolog_Predicate(BREAK, 0));
goto start;
break;
case 'c': /* continue */
break;
case 'e': /* exit */
Pl_Exit_With_Value(0);
case 't': /* trace */
case 'd': /* debug */
if (SYS_VAR_DEBUGGER)
{
pred = Pl_Lookup_Pred(Pl_Create_Atom((c == 't') ? "trace" : "debug"), 0);
if (pred == NULL)
Pl_Fatal_Error(ERR_DEBUGGER_NOT_FOUND); /* should not occur */
Pl_Call_Prolog((CodePtr) pred->codep);
break;
}
default: /* help */
Pl_Stream_Printf(pstm, " a abort b break\n");
Pl_Stream_Printf(pstm, " c continue e exit\n");
if (SYS_VAR_DEBUGGER)
Pl_Stream_Printf(pstm, " d debug t trace\n");
Pl_Stream_Printf(pstm, " h/? help\n");
goto start;
}
return 0;
}
/*-------------------------------------------------------------------------*
* PL_HALT_IF_NO_TOP_LEVEL_1 *
* *
*-------------------------------------------------------------------------*/
WamCont
Pl_Halt_If_No_Top_Level_1(WamWord exit_code_word)
{
PredInf *pred;
int x;
x = Pl_Rd_Integer_Check(exit_code_word);
if (SYS_VAR_TOP_LEVEL == 0) /* no top level running */
Pl_Exit_With_Value(x);
pred = Pl_Lookup_Pred(Pl_Create_Atom((x) ? "$top_level_abort" : "$top_level_stop"), 0);
if (pred == NULL) /* should not occur */
Pl_Exit_With_Value(x);
return (WamCont) (pred->codep);
}
/*-------------------------------------------------------------------------*
* PL_FATAL_ERROR *
* *
*-------------------------------------------------------------------------*/
void
Pl_Fatal_Error(char *format, ...)
{
va_list arg_ptr;
char buff[1024];
va_start(arg_ptr, format);
vsprintf(buff, format, arg_ptr);
va_end(arg_ptr);
#ifndef NO_USE_LINEDIT
if (pl_le_hook_message_box)
(*pl_le_hook_message_box)("Fatal Error", buff, 0);
else
#endif
fprintf(stderr, "\nFatal Error: %s\n", buff);
Pl_Exit_With_Value(1);
}
/*-------------------------------------------------------------------------*
* PL_HALT_1 *
* *
*-------------------------------------------------------------------------*/
void
Pl_Halt_1(WamWord exit_code_word)
{
Pl_Exit_With_Value(Pl_Rd_Integer_Check(exit_code_word));
}
int
main(int argc, char *argv[])
{
Pl_Exit_With_Value(Main_Wrapper(argc, argv));
return 0; /* anything for the compiler */
}
