gcc/m2/mc-boot/GFIO.h - gcc.git - Git at Google

 /* do not edit automatically generated by mc from FIO.  */
 /* FIO.def provides a simple buffered file input/output library.

 Copyright (C) 2001-2025 Free Software Foundation, Inc.
 Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.

 This file is part of GNU Modula-2.

 GNU Modula-2 is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation; either version 3, or (at your option)
 any later version.

 GNU Modula-2 is distributed in the hope that it will be useful, but
 WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 General Public License for more details.

 Under Section 7 of GPL version 3, you are granted additional
 permissions described in the GCC Runtime Library Exception, version
 3.1, as published by the Free Software Foundation.

 You should have received a copy of the GNU General Public License and
 a copy of the GCC Runtime Library Exception along with this program;
 see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
 <http://www.gnu.org/licenses/>.  */


 #if !defined (_FIO_H)
 #   define _FIO_H

 #include "config.h"
 #include "system.h"
 #   ifdef __cplusplus
 extern "C" {
 #   endif
 #include <stdbool.h>
 #   if !defined (PROC_D)
 #      define PROC_D
        typedef void (*PROC_t) (void);
        typedef struct { PROC_t proc; } PROC;
 #   endif

 #   include "GSYSTEM.h"

 #   if defined (_FIO_C)
 #      define EXTERN
 #   else
 #      define EXTERN extern
 #   endif

 typedef unsigned int FIO_File;

 EXTERN FIO_File FIO_StdIn;
 EXTERN FIO_File FIO_StdOut;
 EXTERN FIO_File FIO_StdErr;

 /*
    IsNoError - returns a TRUE if no error has occured on file, f.
 */

 EXTERN bool FIO_IsNoError (FIO_File f);

 /*
    IsActive - returns TRUE if the file, f, is still active.
 */

 EXTERN bool FIO_IsActive (FIO_File f);

 /*
    Exists - returns TRUE if a file named, fname exists for reading.
 */

 EXTERN bool FIO_Exists (const char *fname_, unsigned int _fname_high);

 /*
    OpenToRead - attempts to open a file, fname, for reading and
                 it returns this file.
                 The success of this operation can be checked by
                 calling IsNoError.
 */

 EXTERN FIO_File FIO_OpenToRead (const char *fname_, unsigned int _fname_high);

 /*
    OpenToWrite - attempts to open a file, fname, for write and
                  it returns this file.
                  The success of this operation can be checked by
                  calling IsNoError.
 */

 EXTERN FIO_File FIO_OpenToWrite (const char *fname_, unsigned int _fname_high);

 /*
    OpenForRandom - attempts to open a file, fname, for random access
                    read or write and it returns this file.
                    The success of this operation can be checked by
                    calling IsNoError.
                    towrite, determines whether the file should be
                    opened for writing or reading.
                    newfile, determines whether a file should be
                    created if towrite is TRUE or whether the
                    previous file should be left alone,
                    allowing this descriptor to seek
                    and modify an existing file.
 */

 EXTERN FIO_File FIO_OpenForRandom (const char *fname_, unsigned int _fname_high, bool towrite, bool newfile);

 /*
    Close - close a file which has been previously opened using:
            OpenToRead, OpenToWrite, OpenForRandom.
            It is correct to close a file which has an error status.
 */

 EXTERN void FIO_Close (FIO_File f);
 EXTERN bool FIO_exists (void * fname, unsigned int flength);
 EXTERN FIO_File FIO_openToRead (void * fname, unsigned int flength);
 EXTERN FIO_File FIO_openToWrite (void * fname, unsigned int flength);
 EXTERN FIO_File FIO_openForRandom (void * fname, unsigned int flength, bool towrite, bool newfile);

 /*
    FlushBuffer - flush contents of the FIO file, f, to libc.
 */

 EXTERN void FIO_FlushBuffer (FIO_File f);

 /*
    ReadNBytes - reads nBytes of a file into memory area, dest, returning
                 the number of bytes actually read.
                 This function will consume from the buffer and then
                 perform direct libc reads. It is ideal for large reads.
 */

 EXTERN unsigned int FIO_ReadNBytes (FIO_File f, unsigned int nBytes, void * dest);

 /*
    ReadAny - reads HIGH (a) + 1 bytes into, a.  All input
              is fully buffered, unlike ReadNBytes and thus is more
              suited to small reads.
 */

 EXTERN void FIO_ReadAny (FIO_File f, unsigned char *a, unsigned int _a_high);

 /*
    WriteNBytes - writes nBytes from memory area src to a file
                  returning the number of bytes actually written.
                  This function will flush the buffer and then
                  write the nBytes using a direct write from libc.
                  It is ideal for large writes.
 */

 EXTERN unsigned int FIO_WriteNBytes (FIO_File f, unsigned int nBytes, void * src);

 /*
    WriteAny - writes HIGH (a) + 1 bytes onto, file, f.  All output
               is fully buffered, unlike WriteNBytes and thus is more
               suited to small writes.
 */

 EXTERN void FIO_WriteAny (FIO_File f, unsigned char *a, unsigned int _a_high);

 /*
    WriteChar - writes a single character to file, f.
 */

 EXTERN void FIO_WriteChar (FIO_File f, char ch);

 /*
    EOF - tests to see whether a file, f, has reached end of file.
 */

 EXTERN bool FIO_EOF (FIO_File f);

 /*
    EOLN - tests to see whether a file, f, is about to read a newline.
           It does NOT consume the newline.  It reads the next character
           and then immediately unreads the character.
 */

 EXTERN bool FIO_EOLN (FIO_File f);

 /*
    WasEOLN - tests to see whether a file, f, has just read a newline
              character.
 */

 EXTERN bool FIO_WasEOLN (FIO_File f);

 /*
    ReadChar - returns a character read from file, f.
               Sensible to check with IsNoError or EOF after calling
               this function.
 */

 EXTERN char FIO_ReadChar (FIO_File f);

 /*
    UnReadChar - replaces a character, ch, back into file, f.
                 This character must have been read by ReadChar
                 and it does not allow successive calls.  It may
                 only be called if the previous read was successful,
                 end of file or end of line seen.
 */

 EXTERN void FIO_UnReadChar (FIO_File f, char ch);

 /*
    WriteLine - writes out a linefeed to file, f.
 */

 EXTERN void FIO_WriteLine (FIO_File f);

 /*
    WriteString - writes a string to file, f.
 */

 EXTERN void FIO_WriteString (FIO_File f, const char *a_, unsigned int _a_high);

 /*
    ReadString - reads a string from file, f, into string, a.
                 It terminates the string if HIGH is reached or
                 if a newline is seen or an error occurs.
 */

 EXTERN void FIO_ReadString (FIO_File f, char *a, unsigned int _a_high);

 /*
    WriteCardinal - writes a CARDINAL to file, f.
                    It writes the binary image of the CARDINAL.
                    to file, f.
 */

 EXTERN void FIO_WriteCardinal (FIO_File f, unsigned int c);

 /*
    ReadCardinal - reads a CARDINAL from file, f.
                   It reads a bit image of a CARDINAL
                   from file, f.
 */

 EXTERN unsigned int FIO_ReadCardinal (FIO_File f);

 /*
    GetUnixFileDescriptor - returns the UNIX file descriptor of a file.
                            Useful when combining FIO.mod with select
                            (in Selective.def - but note the comments in
                             Selective about using read/write primatives)
 */

 EXTERN int FIO_GetUnixFileDescriptor (FIO_File f);

 /*
    SetPositionFromBeginning - sets the position from the beginning
                               of the file.
 */

 EXTERN void FIO_SetPositionFromBeginning (FIO_File f, long int pos);

 /*
    SetPositionFromEnd - sets the position from the end of the file.
 */

 EXTERN void FIO_SetPositionFromEnd (FIO_File f, long int pos);

 /*
    FindPosition - returns the current absolute position in file, f.
 */

 EXTERN long int FIO_FindPosition (FIO_File f);

 /*
    GetFileName - assigns, a, with the filename associated with, f.
 */

 EXTERN void FIO_GetFileName (FIO_File f, char *a, unsigned int _a_high);

 /*
    getFileName - returns the address of the filename associated with, f.
 */

 EXTERN void * FIO_getFileName (FIO_File f);

 /*
    getFileNameLength - returns the number of characters associated with
                        filename, f.
 */

 EXTERN unsigned int FIO_getFileNameLength (FIO_File f);

 /*
    FlushOutErr - flushes, StdOut, and, StdErr.
 */

 EXTERN void FIO_FlushOutErr (void);
 #   ifdef __cplusplus
 }
 #   endif

 #   undef EXTERN
 #endif
	/* do not edit automatically generated by mc from FIO. */
	/* FIO.def provides a simple buffered file input/output library.

	Copyright (C) 2001-2025 Free Software Foundation, Inc.
	Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.

	This file is part of GNU Modula-2.

	GNU Modula-2 is free software; you can redistribute it and/or modify
	it under the terms of the GNU General Public License as published by
	the Free Software Foundation; either version 3, or (at your option)
	any later version.

	GNU Modula-2 is distributed in the hope that it will be useful, but
	WITHOUT ANY WARRANTY; without even the implied warranty of
	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
	General Public License for more details.

	Under Section 7 of GPL version 3, you are granted additional
	permissions described in the GCC Runtime Library Exception, version
	3.1, as published by the Free Software Foundation.

	You should have received a copy of the GNU General Public License and
	a copy of the GCC Runtime Library Exception along with this program;
	see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
	<http://www.gnu.org/licenses/>. */


	#if !defined (_FIO_H)
	# define _FIO_H

	#include "config.h"
	#include "system.h"
	# ifdef __cplusplus
	extern "C" {
	# endif
	#include <stdbool.h>
	# if !defined (PROC_D)
	# define PROC_D
	typedef void (*PROC_t) (void);
	typedef struct { PROC_t proc; } PROC;
	# endif

	# include "GSYSTEM.h"

	# if defined (_FIO_C)
	# define EXTERN
	# else
	# define EXTERN extern
	# endif

	typedef unsigned int FIO_File;

	EXTERN FIO_File FIO_StdIn;
	EXTERN FIO_File FIO_StdOut;
	EXTERN FIO_File FIO_StdErr;

	/*
	IsNoError - returns a TRUE if no error has occured on file, f.
	*/

	EXTERN bool FIO_IsNoError (FIO_File f);

	/*
	IsActive - returns TRUE if the file, f, is still active.
	*/

	EXTERN bool FIO_IsActive (FIO_File f);

	/*
	Exists - returns TRUE if a file named, fname exists for reading.
	*/

	EXTERN bool FIO_Exists (const char *fname_, unsigned int _fname_high);

	/*
	OpenToRead - attempts to open a file, fname, for reading and
	it returns this file.
	The success of this operation can be checked by
	calling IsNoError.
	*/

	EXTERN FIO_File FIO_OpenToRead (const char *fname_, unsigned int _fname_high);

	/*
	OpenToWrite - attempts to open a file, fname, for write and
	it returns this file.
	The success of this operation can be checked by
	calling IsNoError.
	*/

	EXTERN FIO_File FIO_OpenToWrite (const char *fname_, unsigned int _fname_high);

	/*
	OpenForRandom - attempts to open a file, fname, for random access
	read or write and it returns this file.
	The success of this operation can be checked by
	calling IsNoError.
	towrite, determines whether the file should be
	opened for writing or reading.
	newfile, determines whether a file should be
	created if towrite is TRUE or whether the
	previous file should be left alone,
	allowing this descriptor to seek
	and modify an existing file.
	*/

	EXTERN FIO_File FIO_OpenForRandom (const char *fname_, unsigned int _fname_high, bool towrite, bool newfile);

	/*
	Close - close a file which has been previously opened using:
	OpenToRead, OpenToWrite, OpenForRandom.
	It is correct to close a file which has an error status.
	*/

	EXTERN void FIO_Close (FIO_File f);
	EXTERN bool FIO_exists (void * fname, unsigned int flength);
	EXTERN FIO_File FIO_openToRead (void * fname, unsigned int flength);
	EXTERN FIO_File FIO_openToWrite (void * fname, unsigned int flength);
	EXTERN FIO_File FIO_openForRandom (void * fname, unsigned int flength, bool towrite, bool newfile);

	/*
	FlushBuffer - flush contents of the FIO file, f, to libc.
	*/

	EXTERN void FIO_FlushBuffer (FIO_File f);

	/*
	ReadNBytes - reads nBytes of a file into memory area, dest, returning
	the number of bytes actually read.
	This function will consume from the buffer and then
	perform direct libc reads. It is ideal for large reads.
	*/

	EXTERN unsigned int FIO_ReadNBytes (FIO_File f, unsigned int nBytes, void * dest);

	/*
	ReadAny - reads HIGH (a) + 1 bytes into, a. All input
	is fully buffered, unlike ReadNBytes and thus is more
	suited to small reads.
	*/

	EXTERN void FIO_ReadAny (FIO_File f, unsigned char *a, unsigned int _a_high);

	/*
	WriteNBytes - writes nBytes from memory area src to a file
	returning the number of bytes actually written.
	This function will flush the buffer and then
	write the nBytes using a direct write from libc.
	It is ideal for large writes.
	*/

	EXTERN unsigned int FIO_WriteNBytes (FIO_File f, unsigned int nBytes, void * src);

	/*
	WriteAny - writes HIGH (a) + 1 bytes onto, file, f. All output
	is fully buffered, unlike WriteNBytes and thus is more
	suited to small writes.
	*/

	EXTERN void FIO_WriteAny (FIO_File f, unsigned char *a, unsigned int _a_high);

	/*
	WriteChar - writes a single character to file, f.
	*/

	EXTERN void FIO_WriteChar (FIO_File f, char ch);

	/*
	EOF - tests to see whether a file, f, has reached end of file.
	*/

	EXTERN bool FIO_EOF (FIO_File f);

	/*
	EOLN - tests to see whether a file, f, is about to read a newline.
	It does NOT consume the newline. It reads the next character
	and then immediately unreads the character.
	*/

	EXTERN bool FIO_EOLN (FIO_File f);

	/*
	WasEOLN - tests to see whether a file, f, has just read a newline
	character.
	*/

	EXTERN bool FIO_WasEOLN (FIO_File f);

	/*
	ReadChar - returns a character read from file, f.
	Sensible to check with IsNoError or EOF after calling
	this function.
	*/

	EXTERN char FIO_ReadChar (FIO_File f);

	/*
	UnReadChar - replaces a character, ch, back into file, f.
	This character must have been read by ReadChar
	and it does not allow successive calls. It may
	only be called if the previous read was successful,
	end of file or end of line seen.
	*/

	EXTERN void FIO_UnReadChar (FIO_File f, char ch);

	/*
	WriteLine - writes out a linefeed to file, f.
	*/

	EXTERN void FIO_WriteLine (FIO_File f);

	/*
	WriteString - writes a string to file, f.
	*/

	EXTERN void FIO_WriteString (FIO_File f, const char *a_, unsigned int _a_high);

	/*
	ReadString - reads a string from file, f, into string, a.
	It terminates the string if HIGH is reached or
	if a newline is seen or an error occurs.
	*/

	EXTERN void FIO_ReadString (FIO_File f, char *a, unsigned int _a_high);

	/*
	WriteCardinal - writes a CARDINAL to file, f.
	It writes the binary image of the CARDINAL.
	to file, f.
	*/

	EXTERN void FIO_WriteCardinal (FIO_File f, unsigned int c);

	/*
	ReadCardinal - reads a CARDINAL from file, f.
	It reads a bit image of a CARDINAL
	from file, f.
	*/

	EXTERN unsigned int FIO_ReadCardinal (FIO_File f);

	/*
	GetUnixFileDescriptor - returns the UNIX file descriptor of a file.
	Useful when combining FIO.mod with select
	(in Selective.def - but note the comments in
	Selective about using read/write primatives)
	*/

	EXTERN int FIO_GetUnixFileDescriptor (FIO_File f);

	/*
	SetPositionFromBeginning - sets the position from the beginning
	of the file.
	*/

	EXTERN void FIO_SetPositionFromBeginning (FIO_File f, long int pos);

	/*
	SetPositionFromEnd - sets the position from the end of the file.
	*/

	EXTERN void FIO_SetPositionFromEnd (FIO_File f, long int pos);

	/*
	FindPosition - returns the current absolute position in file, f.
	*/

	EXTERN long int FIO_FindPosition (FIO_File f);

	/*
	GetFileName - assigns, a, with the filename associated with, f.
	*/

	EXTERN void FIO_GetFileName (FIO_File f, char *a, unsigned int _a_high);

	/*
	getFileName - returns the address of the filename associated with, f.
	*/

	EXTERN void * FIO_getFileName (FIO_File f);

	/*
	getFileNameLength - returns the number of characters associated with
	filename, f.
	*/

	EXTERN unsigned int FIO_getFileNameLength (FIO_File f);

	/*
	FlushOutErr - flushes, StdOut, and, StdErr.
	*/

	EXTERN void FIO_FlushOutErr (void);
	# ifdef __cplusplus
	}
	# endif

	# undef EXTERN
	#endif