1 /* do not edit automatically generated by mc from FpuIO. */
2 /* FpuIO.def Implements a fixed format input/output for REAL/LONGREAL.
4 Copyright (C) 2001-2025 Free Software Foundation, Inc.
5 Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
7 This file is part of GNU Modula-2.
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)
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.
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.
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/>. */
29 #if !defined (_FpuIO_H)
38 # if !defined (PROC_D)
40 typedef void (*PROC_t
) (void);
41 typedef struct { PROC_t proc
; } PROC
;
45 # if defined (_FpuIO_C)
48 # define EXTERN extern
51 EXTERN
void FpuIO_ReadReal (double *x
);
52 EXTERN
void FpuIO_WriteReal (double x
, unsigned int TotalWidth
, unsigned int FractionWidth
);
53 EXTERN
void FpuIO_StrToReal (const char *a_
, unsigned int _a_high
, double *x
);
54 EXTERN
void FpuIO_RealToStr (double x
, unsigned int TotalWidth
, unsigned int FractionWidth
, char *a
, unsigned int _a_high
);
55 EXTERN
void FpuIO_ReadLongReal (long double *x
);
56 EXTERN
void FpuIO_WriteLongReal (long double x
, unsigned int TotalWidth
, unsigned int FractionWidth
);
57 EXTERN
void FpuIO_StrToLongReal (const char *a_
, unsigned int _a_high
, long double *x
);
58 EXTERN
void FpuIO_LongRealToStr (long double x
, unsigned int TotalWidth
, unsigned int FractionWidth
, char *a
, unsigned int _a_high
);
59 EXTERN
void FpuIO_ReadLongInt (long int *x
);
60 EXTERN
void FpuIO_WriteLongInt (long int x
, unsigned int n
);
61 EXTERN
void FpuIO_StrToLongInt (const char *a_
, unsigned int _a_high
, long int *x
);
62 EXTERN
void FpuIO_LongIntToStr (long int x
, unsigned int n
, char *a
, unsigned int _a_high
);