[thirdparty/gcc.git] / gcc / m2 / pge-boot / GPushBackInput.c

/* do not edit automatically generated by mc from PushBackInput.  */
/* PushBackInput.mod provides a method for pushing back and consuming input.

Copyright (C) 2001-2023 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 (PROC_D)
#      define PROC_D
       typedef void (*PROC_t) (void);
       typedef struct { PROC_t proc; } PROC;
#   endif

#   if !defined (FALSE)
#      define FALSE (1==0)
#   endif

#include <stddef.h>
#include <string.h>
#include <limits.h>
#if defined(__cplusplus)
#   undef NULL
#   define NULL 0
#endif
#define _PushBackInput_H
#define _PushBackInput_C

#   include "GFIO.h"
#   include "GDynamicStrings.h"
#   include "GASCII.h"
#   include "GDebug.h"
#   include "GStrLib.h"
#   include "GNumberIO.h"
#   include "GStrIO.h"
#   include "GStdIO.h"
#   include "Glibc.h"

#   define MaxPushBackStack 8192
#   define MaxFileName 4096
typedef struct PushBackInput__T2_a PushBackInput__T2;

typedef struct PushBackInput__T3_a PushBackInput__T3;

struct PushBackInput__T2_a { char array[MaxFileName+1]; };
struct PushBackInput__T3_a { char array[MaxPushBackStack+1]; };
static PushBackInput__T2 FileName;
static PushBackInput__T3 CharStack;
static unsigned int ExitStatus;
static unsigned int Column;
static unsigned int StackPtr;
static unsigned int LineNo;
static unsigned int Debugging;

/*
   Open - opens a file for reading.
*/

extern "C" FIO_File PushBackInput_Open (const char *a_, unsigned int _a_high);

/*
   GetCh - gets a character from either the push back stack or
           from file, f.
*/

extern "C" char PushBackInput_GetCh (FIO_File f);

/*
   PutCh - pushes a character onto the push back stack, it also
           returns the character which has been pushed.
*/

extern "C" char PushBackInput_PutCh (char ch);

/*
   PutString - pushes a string onto the push back stack.
*/

extern "C" void PushBackInput_PutString (const char *a_, unsigned int _a_high);

/*
   PutStr - pushes a dynamic string onto the push back stack.
            The string, s, is not deallocated.
*/

extern "C" void PushBackInput_PutStr (DynamicStrings_String s);

/*
   Error - emits an error message with the appropriate file, line combination.
*/

extern "C" void PushBackInput_Error (const char *a_, unsigned int _a_high);

/*
   WarnError - emits an error message with the appropriate file, line combination.
               It does not terminate but when the program finishes an exit status of
               1 will be issued.
*/

extern "C" void PushBackInput_WarnError (const char *a_, unsigned int _a_high);

/*
   WarnString - emits an error message with the appropriate file, line combination.
                It does not terminate but when the program finishes an exit status of
                1 will be issued.
*/

extern "C" void PushBackInput_WarnString (DynamicStrings_String s);

/*
   Close - closes the opened file.
*/

extern "C" void PushBackInput_Close (FIO_File f);

/*
   GetExitStatus - returns the exit status which will be 1 if any warnings were issued.
*/

extern "C" unsigned int PushBackInput_GetExitStatus (void);

/*
   SetDebug - sets the debug flag on or off.
*/

extern "C" void PushBackInput_SetDebug (unsigned int d);

/*
   GetColumnPosition - returns the column position of the current character.
*/

extern "C" unsigned int PushBackInput_GetColumnPosition (void);

/*
   GetCurrentLine - returns the current line number.
*/

extern "C" unsigned int PushBackInput_GetCurrentLine (void);

/*
   ErrChar - writes a char, ch, to stderr.
*/

static void ErrChar (char ch);

/*
   Init - initialize global variables.
*/

static void Init (void);


/*
   ErrChar - writes a char, ch, to stderr.
*/

static void ErrChar (char ch)
{
  FIO_WriteChar (FIO_StdErr, ch);
}


/*
   Init - initialize global variables.
*/

static void Init (void)
{
  ExitStatus = 0;
  StackPtr = 0;
  LineNo = 1;
  Column = 0;
}


/*
   Open - opens a file for reading.
*/

extern "C" FIO_File PushBackInput_Open (const char *a_, unsigned int _a_high)
{
  char a[_a_high+1];

  /* make a local copy of each unbounded array.  */
  memcpy (a, a_, _a_high+1);

  Init ();
  StrLib_StrCopy ((const char *) a, _a_high, (char *) &FileName.array[0], MaxFileName);
  return FIO_OpenToRead ((const char *) a, _a_high);
  /* static analysis guarentees a RETURN statement will be used before here.  */
  __builtin_unreachable ();
}


/*
   GetCh - gets a character from either the push back stack or
           from file, f.
*/

extern "C" char PushBackInput_GetCh (FIO_File f)
{
  char ch;

  if (StackPtr > 0)
    {
      StackPtr -= 1;
      if (Debugging)
        {
          StdIO_Write (CharStack.array[StackPtr]);
        }
      return CharStack.array[StackPtr];
    }
  else
    {
      if ((FIO_EOF (f)) || (! (FIO_IsNoError (f))))
        {
          ch = ASCII_nul;
        }
      else
        {
          do {
            ch = FIO_ReadChar (f);
          } while (! (((ch != ASCII_cr) || (FIO_EOF (f))) || (! (FIO_IsNoError (f)))));
          if (ch == ASCII_lf)
            {
              Column = 0;
              LineNo += 1;
            }
          else
            {
              Column += 1;
            }
        }
      if (Debugging)
        {
          StdIO_Write (ch);
        }
      return ch;
    }
  /* static analysis guarentees a RETURN statement will be used before here.  */
  __builtin_unreachable ();
}


/*
   PutCh - pushes a character onto the push back stack, it also
           returns the character which has been pushed.
*/

extern "C" char PushBackInput_PutCh (char ch)
{
  if (StackPtr < MaxPushBackStack)
    {
      CharStack.array[StackPtr] = ch;
      StackPtr += 1;
    }
  else
    {
      Debug_Halt ((const char *) "max push back stack exceeded, increase MaxPushBackStack", 55, 150, (const char *) "../../gcc-git-devel-modula2/gcc/m2/gm2-libs/PushBackInput.mod", 61);
    }
  return ch;
  /* static analysis guarentees a RETURN statement will be used before here.  */
  __builtin_unreachable ();
}


/*
   PutString - pushes a string onto the push back stack.
*/

extern "C" void PushBackInput_PutString (const char *a_, unsigned int _a_high)
{
  unsigned int l;
  char a[_a_high+1];

  /* make a local copy of each unbounded array.  */
  memcpy (a, a_, _a_high+1);

  l = StrLib_StrLen ((const char *) a, _a_high);
  while (l > 0)
    {
      l -= 1;
      if ((PushBackInput_PutCh (a[l])) != a[l])
        {
          Debug_Halt ((const char *) "assert failed", 13, 132, (const char *) "../../gcc-git-devel-modula2/gcc/m2/gm2-libs/PushBackInput.mod", 61);
        }
    }
}


/*
   PutStr - pushes a dynamic string onto the push back stack.
            The string, s, is not deallocated.
*/

extern "C" void PushBackInput_PutStr (DynamicStrings_String s)
{
  unsigned int i;

  i = DynamicStrings_Length (s);
  while (i > 0)
    {
      i -= 1;
      if ((PushBackInput_PutCh (DynamicStrings_char (s, static_cast<int> (i)))) != (DynamicStrings_char (s, static_cast<int> (i))))
        {
          Debug_Halt ((const char *) "assert failed", 13, 113, (const char *) "../../gcc-git-devel-modula2/gcc/m2/gm2-libs/PushBackInput.mod", 61);
        }
    }
}


/*
   Error - emits an error message with the appropriate file, line combination.
*/

extern "C" void PushBackInput_Error (const char *a_, unsigned int _a_high)
{
  char a[_a_high+1];

  /* make a local copy of each unbounded array.  */
  memcpy (a, a_, _a_high+1);

  StdIO_PushOutput ((StdIO_ProcWrite) {(StdIO_ProcWrite_t) ErrChar});
  StrIO_WriteString ((const char *) &FileName.array[0], MaxFileName);
  StdIO_Write (':');
  NumberIO_WriteCard (LineNo, 0);
  StdIO_Write (':');
  StrIO_WriteString ((const char *) a, _a_high);
  StrIO_WriteLn ();
  StdIO_PopOutput ();
  FIO_Close (FIO_StdErr);
  libc_exit (1);
}


/*
   WarnError - emits an error message with the appropriate file, line combination.
               It does not terminate but when the program finishes an exit status of
               1 will be issued.
*/

extern "C" void PushBackInput_WarnError (const char *a_, unsigned int _a_high)
{
  char a[_a_high+1];

  /* make a local copy of each unbounded array.  */
  memcpy (a, a_, _a_high+1);

  StdIO_PushOutput ((StdIO_ProcWrite) {(StdIO_ProcWrite_t) ErrChar});
  StrIO_WriteString ((const char *) &FileName.array[0], MaxFileName);
  StdIO_Write (':');
  NumberIO_WriteCard (LineNo, 0);
  StdIO_Write (':');
  StrIO_WriteString ((const char *) a, _a_high);
  StrIO_WriteLn ();
  StdIO_PopOutput ();
  ExitStatus = 1;
}


/*
   WarnString - emits an error message with the appropriate file, line combination.
                It does not terminate but when the program finishes an exit status of
                1 will be issued.
*/

extern "C" void PushBackInput_WarnString (DynamicStrings_String s)
{
  typedef char *WarnString__T1;

  WarnString__T1 p;

  p = static_cast<WarnString__T1> (DynamicStrings_string (s));
  StrIO_WriteString ((const char *) &FileName.array[0], MaxFileName);
  StdIO_Write (':');
  NumberIO_WriteCard (LineNo, 0);
  StdIO_Write (':');
  do {
    if (p != NULL)
      {
        if ((*p) == ASCII_lf)
          {
            StrIO_WriteLn ();
            StrIO_WriteString ((const char *) &FileName.array[0], MaxFileName);
            StdIO_Write (':');
            NumberIO_WriteCard (LineNo, 0);
            StdIO_Write (':');
          }
        else
          {
            StdIO_Write ((*p));
          }
        p += 1;
      }
  } while (! ((p == NULL) || ((*p) == ASCII_nul)));
  ExitStatus = 1;
}


/*
   Close - closes the opened file.
*/

extern "C" void PushBackInput_Close (FIO_File f)
{
  FIO_Close (f);
}


/*
   GetExitStatus - returns the exit status which will be 1 if any warnings were issued.
*/

extern "C" unsigned int PushBackInput_GetExitStatus (void)
{
  return ExitStatus;
  /* static analysis guarentees a RETURN statement will be used before here.  */
  __builtin_unreachable ();
}


/*
   SetDebug - sets the debug flag on or off.
*/

extern "C" void PushBackInput_SetDebug (unsigned int d)
{
  Debugging = d;
}


/*
   GetColumnPosition - returns the column position of the current character.
*/

extern "C" unsigned int PushBackInput_GetColumnPosition (void)
{
  if (StackPtr > Column)
    {
      return 0;
    }
  else
    {
      return Column-StackPtr;
    }
  /* static analysis guarentees a RETURN statement will be used before here.  */
  __builtin_unreachable ();
}


/*
   GetCurrentLine - returns the current line number.
*/

extern "C" unsigned int PushBackInput_GetCurrentLine (void)
{
  return LineNo;
  /* static analysis guarentees a RETURN statement will be used before here.  */
  __builtin_unreachable ();
}

extern "C" void _M2_PushBackInput_init (__attribute__((unused)) int argc,__attribute__((unused)) char *argv[],__attribute__((unused)) char *envp[])
{
  PushBackInput_SetDebug (FALSE);
  Init ();
}

extern "C" void _M2_PushBackInput_finish (__attribute__((unused)) int argc,__attribute__((unused)) char *argv[],__attribute__((unused)) char *envp[])
{
}
Commit	Line	Data
1eee94d3 GM	1	/* do not edit automatically generated by mc from PushBackInput. */
	2	/* PushBackInput.mod provides a method for pushing back and consuming input.
	3
83ffe9cd	4	Copyright (C) 2001-2023 Free Software Foundation, Inc.
1eee94d3 GM	5	Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
	6
	7	This file is part of GNU Modula-2.
	8
	9	GNU Modula-2 is free software; you can redistribute it and/or modify
	10	it under the terms of the GNU General Public License as published by
	11	the Free Software Foundation; either version 3, or (at your option)
	12	any later version.
	13
	14	GNU Modula-2 is distributed in the hope that it will be useful, but
	15	WITHOUT ANY WARRANTY; without even the implied warranty of
	16	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
	17	General Public License for more details.
	18
	19	Under Section 7 of GPL version 3, you are granted additional
	20	permissions described in the GCC Runtime Library Exception, version
	21	3.1, as published by the Free Software Foundation.
	22
	23	You should have received a copy of the GNU General Public License and
	24	a copy of the GCC Runtime Library Exception along with this program;
	25	see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
	26	<http://www.gnu.org/licenses/>. */
	27
	28	# if !defined (PROC_D)
	29	# define PROC_D
	30	typedef void (*PROC_t) (void);
	31	typedef struct { PROC_t proc; } PROC;
	32	# endif
	33
	34	# if !defined (FALSE)
	35	# define FALSE (1==0)
	36	# endif
	37
	38	#include <stddef.h>
	39	#include <string.h>
	40	#include <limits.h>
	41	#if defined(__cplusplus)
	42	# undef NULL
	43	# define NULL 0
	44	#endif
	45	#define _PushBackInput_H
	46	#define _PushBackInput_C
	47
	48	# include "GFIO.h"
	49	# include "GDynamicStrings.h"
	50	# include "GASCII.h"
	51	# include "GDebug.h"
	52	# include "GStrLib.h"
	53	# include "GNumberIO.h"
	54	# include "GStrIO.h"
	55	# include "GStdIO.h"
	56	# include "Glibc.h"
	57
	58	# define MaxPushBackStack 8192
	59	# define MaxFileName 4096
	60	typedef struct PushBackInput__T2_a PushBackInput__T2;
	61
	62	typedef struct PushBackInput__T3_a PushBackInput__T3;
	63
	64	struct PushBackInput__T2_a { char array[MaxFileName+1]; };
	65	struct PushBackInput__T3_a { char array[MaxPushBackStack+1]; };
	66	static PushBackInput__T2 FileName;
	67	static PushBackInput__T3 CharStack;
	68	static unsigned int ExitStatus;
69	static unsigned int Column;
70	static unsigned int StackPtr;
71	static unsigned int LineNo;
72	static unsigned int Debugging;
73
74	/*
75	Open - opens a file for reading.
76	*/
77
78	extern "C" FIO_File PushBackInput_Open (const char *a_, unsigned int _a_high);
79
80	/*
81	GetCh - gets a character from either the push back stack or
82	from file, f.
83	*/
84
85	extern "C" char PushBackInput_GetCh (FIO_File f);
86
87	/*
88	PutCh - pushes a character onto the push back stack, it also
89	returns the character which has been pushed.
90	*/
91
92	extern "C" char PushBackInput_PutCh (char ch);
93
94	/*
95	PutString - pushes a string onto the push back stack.
96	*/
97
98	extern "C" void PushBackInput_PutString (const char *a_, unsigned int _a_high);
99
100	/*
101	PutStr - pushes a dynamic string onto the push back stack.
102	The string, s, is not deallocated.
103	*/
104
105	extern "C" void PushBackInput_PutStr (DynamicStrings_String s);
106
107	/*
108	Error - emits an error message with the appropriate file, line combination.
109	*/
110
111	extern "C" void PushBackInput_Error (const char *a_, unsigned int _a_high);
112
113	/*
114	WarnError - emits an error message with the appropriate file, line combination.
115	It does not terminate but when the program finishes an exit status of
116	1 will be issued.
117	*/
118
119	extern "C" void PushBackInput_WarnError (const char *a_, unsigned int _a_high);
120
121	/*
122	WarnString - emits an error message with the appropriate file, line combination.
123	It does not terminate but when the program finishes an exit status of
124	1 will be issued.
125	*/
126
127	extern "C" void PushBackInput_WarnString (DynamicStrings_String s);
128
129	/*
130	Close - closes the opened file.
131	*/
132
133	extern "C" void PushBackInput_Close (FIO_File f);
134
135	/*
136	GetExitStatus - returns the exit status which will be 1 if any warnings were issued.
137	*/
138
139	extern "C" unsigned int PushBackInput_GetExitStatus (void);
140
141	/*
142	SetDebug - sets the debug flag on or off.
143	*/
144
145	extern "C" void PushBackInput_SetDebug (unsigned int d);
146
147	/*
148	GetColumnPosition - returns the column position of the current character.
149	*/
150
151	extern "C" unsigned int PushBackInput_GetColumnPosition (void);
152
153	/*
154	GetCurrentLine - returns the current line number.
155	*/
156
157	extern "C" unsigned int PushBackInput_GetCurrentLine (void);
158
159	/*
160	ErrChar - writes a char, ch, to stderr.
161	*/
162
163	static void ErrChar (char ch);
164
165	/*
166	Init - initialize global variables.
167	*/
168
169	static void Init (void);
170
171
172	/*
173	ErrChar - writes a char, ch, to stderr.
174	*/
175
176	static void ErrChar (char ch)
177	{
178	FIO_WriteChar (FIO_StdErr, ch);
179	}
180
181
182	/*
183	Init - initialize global variables.
184	*/
185
186	static void Init (void)
187	{
188	ExitStatus = 0;
189	StackPtr = 0;
190	LineNo = 1;
191	Column = 0;
192	}
193
194
195	/*
196	Open - opens a file for reading.
197	*/
198
199	extern "C" FIO_File PushBackInput_Open (const char *a_, unsigned int _a_high)
200	{
201	char a[_a_high+1];
202
203	/* make a local copy of each unbounded array. */
204	memcpy (a, a_, _a_high+1);
205
206	Init ();
207	StrLib_StrCopy ((const char ) a, _a_high, (char ) &FileName.array[0], MaxFileName);
208	return FIO_OpenToRead ((const char *) a, _a_high);
209	/* static analysis guarentees a RETURN statement will be used before here. */
210	__builtin_unreachable ();
211	}
212
213
214	/*
215	GetCh - gets a character from either the push back stack or
216	from file, f.
217	*/
218
219	extern "C" char PushBackInput_GetCh (FIO_File f)
220	{
221	char ch;
222
223	if (StackPtr > 0)
224	{
225	StackPtr -= 1;
226	if (Debugging)
227	{
228	StdIO_Write (CharStack.array[StackPtr]);
229	}
230	return CharStack.array[StackPtr];
231	}
232	else
233	{
234	if ((FIO_EOF (f)) \|\| (! (FIO_IsNoError (f))))
235	{
236	ch = ASCII_nul;
237	}
238	else
239	{
240	do {
241	ch = FIO_ReadChar (f);
242	} while (! (((ch != ASCII_cr) \|\| (FIO_EOF (f))) \|\| (! (FIO_IsNoError (f)))));
243	if (ch == ASCII_lf)
244	{
245	Column = 0;
246	LineNo += 1;
247	}
248	else
249	{
250	Column += 1;
251	}
252	}
253	if (Debugging)
254	{
255	StdIO_Write (ch);
256	}
257	return ch;
258	}
259	/* static analysis guarentees a RETURN statement will be used before here. */
260	__builtin_unreachable ();
261	}
262
263
264	/*
265	PutCh - pushes a character onto the push back stack, it also
266	returns the character which has been pushed.
267	*/
268
269	extern "C" char PushBackInput_PutCh (char ch)
270	{
271	if (StackPtr < MaxPushBackStack)
272	{
273	CharStack.array[StackPtr] = ch;
274	StackPtr += 1;
275	}
276	else
277	{
278	Debug_Halt ((const char ) "max push back stack exceeded, increase MaxPushBackStack", 55, 150, (const char ) "../../gcc-git-devel-modula2/gcc/m2/gm2-libs/PushBackInput.mod", 61);
279	}
280	return ch;
281	/* static analysis guarentees a RETURN statement will be used before here. */
282	__builtin_unreachable ();
283	}
284
285
286	/*
287	PutString - pushes a string onto the push back stack.
288	*/
289
290	extern "C" void PushBackInput_PutString (const char *a_, unsigned int _a_high)
291	{
292	unsigned int l;
293	char a[_a_high+1];
294
295	/* make a local copy of each unbounded array. */
296	memcpy (a, a_, _a_high+1);
297
298	l = StrLib_StrLen ((const char *) a, _a_high);
299	while (l > 0)
300	{
301	l -= 1;
302	if ((PushBackInput_PutCh (a[l])) != a[l])
303	{
304	Debug_Halt ((const char ) "assert failed", 13, 132, (const char ) "../../gcc-git-devel-modula2/gcc/m2/gm2-libs/PushBackInput.mod", 61);
305	}
306	}
307	}
308
309
310	/*
311	PutStr - pushes a dynamic string onto the push back stack.
312	The string, s, is not deallocated.
313	*/
314
315	extern "C" void PushBackInput_PutStr (DynamicStrings_String s)
316	{
317	unsigned int i;
318
319	i = DynamicStrings_Length (s);
320	while (i > 0)
321	{
322	i -= 1;
323	if ((PushBackInput_PutCh (DynamicStrings_char (s, static_cast<int> (i)))) != (DynamicStrings_char (s, static_cast<int> (i))))
324	{
325	Debug_Halt ((const char ) "assert failed", 13, 113, (const char ) "../../gcc-git-devel-modula2/gcc/m2/gm2-libs/PushBackInput.mod", 61);
326	}
327	}
328	}
329
330
331	/*
332	Error - emits an error message with the appropriate file, line combination.
333	*/
334
335	extern "C" void PushBackInput_Error (const char *a_, unsigned int _a_high)
336	{
337	char a[_a_high+1];
338
339	/* make a local copy of each unbounded array. */
340	memcpy (a, a_, _a_high+1);
341
342	StdIO_PushOutput ((StdIO_ProcWrite) {(StdIO_ProcWrite_t) ErrChar});
343	StrIO_WriteString ((const char *) &FileName.array[0], MaxFileName);
344	StdIO_Write (':');
345	NumberIO_WriteCard (LineNo, 0);
346	StdIO_Write (':');
347	StrIO_WriteString ((const char *) a, _a_high);
348	StrIO_WriteLn ();
349	StdIO_PopOutput ();
350	FIO_Close (FIO_StdErr);
351	libc_exit (1);
352	}
353
354
355	/*
356	WarnError - emits an error message with the appropriate file, line combination.
357	It does not terminate but when the program finishes an exit status of
358	1 will be issued.
359	*/
360
361	extern "C" void PushBackInput_WarnError (const char *a_, unsigned int _a_high)
362	{
363	char a[_a_high+1];
364
365	/* make a local copy of each unbounded array. */
366	memcpy (a, a_, _a_high+1);
367
368	StdIO_PushOutput ((StdIO_ProcWrite) {(StdIO_ProcWrite_t) ErrChar});
369	StrIO_WriteString ((const char *) &FileName.array[0], MaxFileName);
370	StdIO_Write (':');
371	NumberIO_WriteCard (LineNo, 0);
372	StdIO_Write (':');
373	StrIO_WriteString ((const char *) a, _a_high);
374	StrIO_WriteLn ();
375	StdIO_PopOutput ();
376	ExitStatus = 1;
377	}
378
379
380	/*
381	WarnString - emits an error message with the appropriate file, line combination.
382	It does not terminate but when the program finishes an exit status of
383	1 will be issued.
384	*/
385
386	extern "C" void PushBackInput_WarnString (DynamicStrings_String s)
387	{
388	typedef char *WarnString__T1;
389
390	WarnString__T1 p;
391
392	p = static_cast<WarnString__T1> (DynamicStrings_string (s));
393	StrIO_WriteString ((const char *) &FileName.array[0], MaxFileName);
394	StdIO_Write (':');
395	NumberIO_WriteCard (LineNo, 0);
396	StdIO_Write (':');
397	do {
398	if (p != NULL)
399	{
400	if ((*p) == ASCII_lf)
401	{
402	StrIO_WriteLn ();
403	StrIO_WriteString ((const char *) &FileName.array[0], MaxFileName);
404	StdIO_Write (':');
405	NumberIO_WriteCard (LineNo, 0);
406	StdIO_Write (':');
407	}
408	else
409	{
410	StdIO_Write ((*p));
411	}
412	p += 1;
413	}
414	} while (! ((p == NULL) \|\| ((*p) == ASCII_nul)));
415	ExitStatus = 1;
416	}
417
418
419	/*
420	Close - closes the opened file.
421	*/
422
423	extern "C" void PushBackInput_Close (FIO_File f)
424	{
425	FIO_Close (f);
426	}
427
428
429	/*
430	GetExitStatus - returns the exit status which will be 1 if any warnings were issued.
431	*/
432
433	extern "C" unsigned int PushBackInput_GetExitStatus (void)
434	{
435	return ExitStatus;
436	/* static analysis guarentees a RETURN statement will be used before here. */
437	__builtin_unreachable ();
438	}
439
440
441	/*
442	SetDebug - sets the debug flag on or off.
443	*/
444
445	extern "C" void PushBackInput_SetDebug (unsigned int d)
446	{
447	Debugging = d;
448	}
449
450
451	/*
452	GetColumnPosition - returns the column position of the current character.
453	*/
454
455	extern "C" unsigned int PushBackInput_GetColumnPosition (void)
456	{
457	if (StackPtr > Column)
458	{
459	return 0;
460	}
461	else
462	{
463	return Column-StackPtr;
464	}
465	/* static analysis guarentees a RETURN statement will be used before here. */
466	__builtin_unreachable ();
467	}
468
469
470	/*
471	GetCurrentLine - returns the current line number.
472	*/
473
474	extern "C" unsigned int PushBackInput_GetCurrentLine (void)
475	{
476	return LineNo;
477	/* static analysis guarentees a RETURN statement will be used before here. */
478	__builtin_unreachable ();
479	}
480
481	extern "C" void _M2_PushBackInput_init (__attribute__((unused)) int argc,__attribute__((unused)) char argv[],__attribute__((unused)) char envp[])
482	{
483	PushBackInput_SetDebug (FALSE);
484	Init ();
485	}
486
487	extern "C" void _M2_PushBackInput_finish (__attribute__((unused)) int argc,__attribute__((unused)) char argv[],__attribute__((unused)) char envp[])
488	{
489	}