+/* readwrite.c */
+
+#include "readwrite.h"
#include <stdio.h>
-#include <limits.h>
#include <stdint.h>
+#include <limits.h>
-uint16_t read_uint16_bigendian(FILE * file) {
-// Read uint16 from file in big-endian order.
- const uint16_t nchar = UCHAR_MAX + 1;
+static const uint16_t uchar_s = UCHAR_MAX + 1;
+
+extern uint16_t read_uint16_bigendian(FILE * file) {
unsigned char a = fgetc(file);
unsigned char b = fgetc(file);
- return (a * nchar) + b; }
+ return (a * uchar_s) + b; }
-void write_uint16_bigendian(uint16_t x, FILE * file) {
-// Write uint16 to file in beg-endian order.
- const uint16_t nchar = UCHAR_MAX + 1;
- unsigned char a = x / nchar;
- unsigned char b = x % nchar;
- fputc(a, file);
- fputc(b, file); }
-
-uint32_t read_uint32_bigendian(FILE * file) {
-// Read uint32 from file in big-endian order.
- const uint16_t nchar = UCHAR_MAX + 1;
+extern uint32_t read_uint32_bigendian(FILE * file) {
unsigned char a = fgetc(file);
unsigned char b = fgetc(file);
unsigned char c = fgetc(file);
unsigned char d = fgetc(file);
- return (a * nchar * nchar * nchar) + (b * nchar * nchar) + (c * nchar) + d; }
+ return (a * uchar_s * uchar_s * uchar_s) + (b * uchar_s * uchar_s) + (c * uchar_s) + d; }
-void write_uint32_bigendian(uint32_t x, FILE * file) {
-// Write uint32 to file in beg-endian order.
- const uint16_t nchar = UCHAR_MAX + 1;
- unsigned char a = x / (nchar * nchar * nchar);
- unsigned char b = (x - (a * nchar * nchar * nchar)) / (nchar * nchar);
- unsigned char c = (x - ((a * nchar * nchar * nchar) + (b * nchar * nchar))) / nchar;
- unsigned char d = x % nchar;
+extern void write_uint16_bigendian(uint16_t x, FILE * file) {
+ unsigned char a = x / uchar_s;
+ unsigned char b = x % uchar_s;
+ fputc(a, file);
+ fputc(b, file); }
+
+extern void write_uint32_bigendian(uint32_t x, FILE * file) {
+ unsigned char a = x / (uchar_s * uchar_s * uchar_s);
+ unsigned char b = (x - (a * uchar_s * uchar_s * uchar_s)) / (uchar_s * uchar_s);
+ unsigned char c = (x - ((a * uchar_s * uchar_s * uchar_s) + (b * uchar_s * uchar_s))) / uchar_s;
+ unsigned char d = x % uchar_s;
fputc(a, file);
fputc(b, file);
fputc(c, file);
fputc(d, file); }
-