From 0390736faa2890bdda1a72abdf2e937f247d25f2 Mon Sep 17 00:00:00 2001 From: rlar Date: Sat, 10 Oct 2015 16:21:07 +0200 Subject: [PATCH] xpressn.c, fetchid(), #15/15 cleanup --- src/frontend/numparam/xpressn.c | 9 --------- 1 file changed, 9 deletions(-) diff --git a/src/frontend/numparam/xpressn.c b/src/frontend/numparam/xpressn.c index f9752276a..934a90d76 100644 --- a/src/frontend/numparam/xpressn.c +++ b/src/frontend/numparam/xpressn.c @@ -697,21 +697,13 @@ parseunit(const char *s) static const char * fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end) -/* copy next identifier from s into t, advance and return scan index i */ { spice_dstring_reinit(t); - // facts: alfa(*s) == true && s < s_end - // facts: alfa(c) == true && s <= s_end - for (; s < s_end; s++) { char c = *s; - // facts: upcase('\0') == '\0' - // facts: alfanum('\0') == false - // facts: alfanum(upcase(x)) == alfanum(x) - if (!(alfanum(c) || c == '.')) return s; @@ -1047,7 +1039,6 @@ 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; {