polyml/libpolyml/basicio.cpp

284 void close_stream(PIOSTRUCT str)
286     if (!isOpen(str)) return;
287     if (isDirectory(str))
290         FindClose(str->device.directory.hFind);
292         closedir(str->device.ioDir);
296     else if (isSocket(str))
298         closesocket(str->device.sock);
300     else if (isConsole(str)) return;
302     else close(str->device.ioDesc);
303     str->ioBits = 0;
304     str->token = TAGGED(0);
307     if (str->hAvailable) CloseHandle(str->hAvailable);
308     str->hAvailable = NULL;
1527             PIOSTRUCT str = get_stream(strm->Word());
1528             if (str == NULL) raise_syscall(taskData, "Stream is closed", STREAMCLOSED);
1529             return Make_fixed_precision(taskData, isAvailable(taskData, str) ? 1 : 0);
1540             PIOSTRUCT str = get_stream(strm->Word());
1541             if (str == NULL) raise_syscall(taskData, "Stream is closed", STREAMCLOSED);
1543             long pos = seekStream(taskData, str, 0L, SEEK_CUR);
1550             PIOSTRUCT str = get_stream(strm->Word());
1551             if (str == NULL) raise_syscall(taskData, "Stream is closed", STREAMCLOSED);
1553             (void)seekStream(taskData, str, position, SEEK_SET);
1559             PIOSTRUCT str = get_stream(strm->Word());
1560             if (str == NULL) raise_syscall(taskData, "Stream is closed", STREAMCLOSED);
1563             long original = seekStream(taskData, str, 0L, SEEK_CUR);
1564             long endOfStream = seekStream(taskData, str, 0L, SEEK_END);
1565             if (seekStream(taskData, str, original, SEEK_SET) != original)
1587             PIOSTRUCT str = get_stream(strm->Word());
1588             if (str == NULL) raise_syscall(taskData, "Stream is closed", STREAMCLOSED);
1589             if (isAvailable(taskData, str))
1591             WaitStream waiter(str);
1614             PIOSTRUCT str = get_stream(strm->Word());
1615             if (str == NULL) raise_syscall(taskData, "Stream is closed", STREAMCLOSED);
1616             return Make_fixed_precision(taskData, str->device.ioDesc);
1622             PIOSTRUCT str;
1626                 str = &(basic_io_vector[i]);
1627                 if (str->token != ClosedToken && str->device.ioDesc == ioDesc)
1628                     return taskData->saveVec.push(str->token);
1634             str = &basic_io_vector[stream_no];
1635             str->device.ioDesc = get_C_int(taskData, DEREFWORD(args));
1638             str->ioBits = IO_BIT_OPEN | IO_BIT_READ | IO_BIT_WRITE ;
1640             str->ioBits |= getFileType(ioDesc);
2011         PIOSTRUCT str = &(basic_io_vector[i]);
2013         if (str->token.IsDataPtr())
2015             PolyObject *token = str->token.AsObjPtr();
2019             if (token == 0 && isOpen(str))
2020                 close_stream(str);
2021             str->token = token == 0 ? ClosedToken : token;