/****************************************************************************
* *
* GNAT COMPILER COMPONENTS *
* *
* C I O *
* *
* C Implementation File *
* *
* Copyright (C) 1992-2011, Free Software Foundation, Inc. *
* *
* GNAT is free software; you can redistribute it and/or modify it under *
* terms of the GNU General Public License as published by the Free Soft- *
* ware Foundation; either version 3, or (at your option) any later ver- *
* sion. GNAT is distributed in the hope that it will be useful, but WITH- *
* OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *
* or FITNESS FOR A PARTICULAR PURPOSE. *
* *
* As a special exception 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 *
* . *
* *
* GNAT was originally developed by the GNAT team at New York University. *
* Extensive contributions were provided by Ada Core Technologies Inc. *
* *
****************************************************************************/
#ifdef __cplusplus
extern "C" {
#endif
#ifdef IN_RTS
#include "tconfig.h"
#include "tsystem.h"
#include
#else
#include "config.h"
#include "system.h"
#endif
#include "adaint.h"
/* Don't use macros on GNU/Linux since they cause incompatible changes between
glibc 2.0 and 2.1 */
#ifdef linux
#undef putchar
#undef getchar
#undef fputc
#undef stderr
#undef stdout
#endif
/* Don't use macros versions of this functions on VxWorks since they cause
imcompatible changes in some VxWorks versions */
#ifdef __vxworks
#undef getchar
#undef putchar
#undef feof
#undef ferror
#undef fileno
#endif
#ifdef RTX
#include
#include
#endif
int
get_char (void)
{
#ifdef VMS
return decc$getchar();
#else
return getchar ();
#endif
}
int
get_int (void)
{
int x;
scanf (" %d", &x);
return x;
}
void
put_int (int x)
{
#ifdef RTX
RtPrintf ("%d", x);
#else
/* Use fprintf rather than printf, since the latter is unbuffered
on vxworks */
fprintf (stdout, "%d", x);
#endif
}
void
put_int_stderr (int x)
{
#ifdef RTX
RtPrintf ("%d", x);
#else
fprintf (stderr, "%d", x);
#endif
}
void
put_char (int c)
{
#ifdef RTX
RtPrintf ("%c", c);
#else
putchar (c);
#endif
}
void
put_char_stderr (int c)
{
#ifdef RTX
RtPrintf ("%c", c);
#else
fputc (c, stderr);
#endif
}
#ifdef __vxworks
char *
mktemp (char *template)
{
return tmpnam (NULL);
}
#endif
#ifdef __cplusplus
}
#endif