/*-------------------------------------------------------------------------*
* ALL_OP *
* *
*-------------------------------------------------------------------------*/
PlBool
all_op(PlTerm list)
{
PlTerm op[1024];
PlTerm args[3];
int n = 0;
int result;
Pl_Query_Begin(PL_TRUE);
args[0] = Pl_Mk_Variable();
args[1] = Pl_Mk_Variable();
args[2] = Pl_Mk_Variable();
result = Pl_Query_Call(Pl_Find_Atom("current_op"), 3, args);
while (result)
{
op[n++] = Pl_Mk_Atom(Pl_Rd_Atom(args[2])); /* arg #2 is the name of the op */
result = Pl_Query_Next_Solution();
}
Pl_Query_End(PL_RECOVER);
return Pl_Un_Proper_List_Check(n, op, list);
}
/*-------------------------------------------------------------------------*
* PL_SR_OPEN_FILE_2 *
* *
*-------------------------------------------------------------------------*/
void
Pl_SR_Open_File_2(WamWord file_name_word, WamWord from_stream_word)
{
SRInf *sr = cur_sr;
int atom_file_name;
int stm;
SRFile *file;
Bool from_stream = Pl_Rd_Boolean(from_stream_word);
Bool master_file = (sr->file_top == NULL);
StmInf *pstm, *pstm_tmp;
if (sr->next_to_reread == NULL)
{
if (from_stream)
{
stm = Pl_Get_Stream_Or_Alias(file_name_word, STREAM_CHECK_INPUT);
Pl_Check_Stream_Type(stm, TRUE, TRUE);
atom_file_name = pl_stm_tbl[stm]->atom_file_name;
}
else
{
atom_file_name = Pl_Rd_Atom(file_name_word);
if (strcmp(pl_atom_tbl[atom_file_name].name, "user") == 0)
#if 0
stm = pl_stm_input;
#else
{
stm = Pl_Add_Stream(0, (long) 0, pl_stm_tbl[pl_stm_input]->prop,
NULL, NULL, NULL, NULL, NULL, NULL, NULL);
*pl_stm_tbl[stm] = *pl_stm_tbl[pl_stm_input];
}
#endif
else
{
stm = Pl_Add_Stream_For_Stdio_File(pl_atom_tbl[atom_file_name].name,
STREAM_MODE_READ, TRUE);
if (stm < 0)
{
if (errno == ENOENT || errno == ENOTDIR)
Pl_Err_Existence(pl_existence_source_sink,
file_name_word);
else
Pl_Err_Permission(pl_permission_operation_open,
pl_permission_type_source_sink,
file_name_word);
}
}
}
pstm = pl_stm_tbl[stm];
file = (SRFile *) Malloc(sizeof(SRFile));
file->atom_file_name = atom_file_name;
file->stm = stm;
file->reposition = pstm->prop.reposition;
if (!file->reposition)
{
file->tmp_path = Pl_M_Tempnam(NULL, NULL);
file->tmp_stm = Pl_Add_Stream_For_Stdio_File(file->tmp_path,
STREAM_MODE_WRITE, TRUE);
if (file->tmp_stm < 0)
Pl_Fatal_Error("cannot create tmp file %s in %s:%d", file->tmp_path,
__FILE__, __LINE__);
/* try to be similar to original file */
pstm_tmp = pl_stm_tbl[file->tmp_stm];
pstm_tmp->atom_file_name = atom_file_name;
pstm_tmp->prop.eof_action = pstm->prop.eof_action;
if (pstm_tmp->prop.buffering != pstm->prop.buffering)
{
pstm_tmp->prop.buffering = pstm->prop.buffering;
Pl_Stdio_Set_Buffering((FILE *) pstm_tmp->file,
pstm_tmp->prop.buffering);
}
Pl_Add_Mirror_To_Stream(stm, file->tmp_stm);
}
else
{
file->tmp_path = NULL;
file->tmp_stm = -1;
}
file->next = NULL;
if (sr->file_first == NULL)
sr->file_first = file;
else
sr->file_last->next = file;
sr->file_last = file;
}
