aplat

commit c41db72d43bdc6188c8b8e5a9b9571e4d9493531
parent 33e7e94cc967cceb4a12fecc8fe7c3074edd528e
Auteur: Selve <selve@asteride.xyz>
Date:   Wed, 15 Nov 2023 12:09:19 -0500

ajout de commentaires et d'assertions

Diffstat:
M
aplat.c
 | 
10
++++++++--

1 file changed, 8 insertions(+), 2 deletions(-)
diff --git a/aplat.c b/aplat.c
@@ -1,3 +1,4 @@
+#include <assert.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <unistd.h>
@@ -28,18 +29,20 @@ main(void)
 	return 0;
 }
 
+/* effacer le domaine cadet */
 int
 rec_etq(void)
 {
+	assert(etq.pcar > etq.t);
+	/* prend aussi pour acquis que le format des domaines est respecté */
 	while (--etq.pcar > etq.t)
 		if (*etq.pcar == ':' && *--etq.pcar == '\\') {
 			if (etq.pcar != etq.t && *(etq.pcar-1) == '\\')
 				continue;
 			break;
 		}
-	if (etq.pcar < etq.t) /* pas trouvé d'autre '\:' */
-		return -1;
 	etq.ncar = etq.pcar - etq.t;
+	assert(etq.pcar >= etq.t);
 	return 0;
 }
 
@@ -170,6 +173,7 @@ int
 manger_espaces(FILE *f)
 {
 	int c;
+	assert(f != NULL);
 	while ((c = getc(f)) == ' '|| c == '\n' || c == '\t')
 		if (c == EOF) break;
 	return c;
@@ -179,6 +183,8 @@ int
 guillemets(FILE *f, struct tampon *t)
 {
 	int c;
+	assert(f != NULL);
+	assert(t != NULL);
 	while ((c = getc(f)) != '"' && c != EOF) {
 		switch (c) {
 		case '\n':