From e8fa81e3828087a5eebca872c10ea73bf36949f0 Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Sat, 10 Oct 2015 14:34:41 +0200
Subject: [PATCH] xpressn.c, fetchid(), #3/15 express some facts

---
 src/frontend/numparam/xpressn.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/frontend/numparam/xpressn.c b/src/frontend/numparam/xpressn.c
index e02d89c99..74a468695 100644
--- a/src/frontend/numparam/xpressn.c
+++ b/src/frontend/numparam/xpressn.c
@@ -702,8 +702,10 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end)
     char c;
     bool ok;
 
+    // facts: alfa(*s) == true && s < s_end
     c = *s++;
 
+    // facts: alfa(c) == true && s <= s_end
     while (!alfa(c) && (s < s_end))
         c = *s++;
 
@@ -1053,6 +1055,7 @@ formula(dico_t *dico, const char *s, const char *s_end, bool *perror)
             s = kptr;
             fu = 0;
         } else if (alfa(c)) {
+            // facts: c == *s && s < s_end && alfa(c) == true
             s = fetchid(&tstr, s, s_end); /* user id, but sort out keywords */
             state = S_atom;
             {