| (* ShortWholeIO.def provides input/output of SHORTINT/SHORTCARD over channels. |
| |
| Copyright (C) 2013-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/>. *) |
| |
| DEFINITION MODULE ShortWholeIO; |
| |
| (* Input and output of whole numbers in decimal text form |
| over specified channels. The read result is of the |
| type IOConsts.ReadResults. |
| *) |
| |
| IMPORT IOChan; |
| |
| (* The text form of a signed whole number is |
| ["+" | "-"], decimal digit, {decimal digit} |
| |
| The text form of an unsigned whole number is |
| decimal digit, {decimal digit} |
| *) |
| |
| PROCEDURE ReadInt (cid: IOChan.ChanId; VAR int: SHORTINT); |
| (* Skips leading spaces, and removes any remaining characters |
| from cid that form part of a signed whole number. The |
| value of this number is assigned to int. The read result |
| is set to the value allRight, outOfRange, wrongFormat, |
| endOfLine, or endOfInput. |
| *) |
| |
| PROCEDURE WriteInt (cid: IOChan.ChanId; int: SHORTINT; |
| width: CARDINAL); |
| (* Writes the value of int to cid in text form, in a field of |
| the given minimum width. *) |
| |
| PROCEDURE ReadCard (cid: IOChan.ChanId; VAR card: SHORTCARD); |
| (* Skips leading spaces, and removes any remaining characters |
| from cid that form part of an unsigned whole number. The |
| value of this number is assigned to card. The read result |
| is set to the value allRight, outOfRange, wrongFormat, |
| endOfLine, or endOfInput. |
| *) |
| |
| PROCEDURE WriteCard (cid: IOChan.ChanId; card: SHORTCARD; |
| width: CARDINAL); |
| (* Writes the value of card to cid in text form, in a field |
| of the given minimum width. *) |
| |
| END ShortWholeIO. |