Index: fusl/src/locale/pleval.c |
diff --git a/fusl/src/locale/pleval.c b/fusl/src/locale/pleval.c |
new file mode 100644 |
index 0000000000000000000000000000000000000000..d60058da6c3711a3ceaed85f89afbb2f442f1fb5 |
--- /dev/null |
+++ b/fusl/src/locale/pleval.c |
@@ -0,0 +1,157 @@ |
+#include <stdlib.h> |
+#include <ctype.h> |
+ |
+/* |
+grammar: |
+ |
+Start = Expr ';' |
+Expr = Or | Or '?' Expr ':' Expr |
+Or = And | Or '||' And |
+And = Eq | And '&&' Eq |
+Eq = Rel | Eq '==' Rel | Eq '!=' Rel |
+Rel = Add | Rel '<=' Add | Rel '>=' Add | Rel '<' Add | Rel '>' Add |
+Add = Mul | Add '+' Mul | Add '-' Mul |
+Mul = Prim | Mul '*' Prim | Mul '/' Prim | Mul '%' Prim |
+Prim = '(' Expr ')' | '!' Prim | decimal | 'n' |
+ |
+internals: |
+ |
+recursive descent expression evaluator with stack depth limit. |
+for binary operators an operator-precedence parser is used. |
+eval* functions store the result of the parsed subexpression |
+and return a pointer to the next non-space character. |
+*/ |
+ |
+struct st { |
+ unsigned long r; |
+ unsigned long n; |
+ int op; |
+}; |
+ |
+static const char *skipspace(const char *s) |
+{ |
+ while (isspace(*s)) s++; |
+ return s; |
+} |
+ |
+static const char *evalexpr(struct st *st, const char *s, int d); |
+ |
+static const char *evalprim(struct st *st, const char *s, int d) |
+{ |
+ char *e; |
+ if (--d < 0) return ""; |
+ s = skipspace(s); |
+ if (isdigit(*s)) { |
+ st->r = strtoul(s, &e, 10); |
+ if (e == s || st->r == -1) return ""; |
+ return skipspace(e); |
+ } |
+ if (*s == 'n') { |
+ st->r = st->n; |
+ return skipspace(s+1); |
+ } |
+ if (*s == '(') { |
+ s = evalexpr(st, s+1, d); |
+ if (*s != ')') return ""; |
+ return skipspace(s+1); |
+ } |
+ if (*s == '!') { |
+ s = evalprim(st, s+1, d); |
+ st->r = !st->r; |
+ return s; |
+ } |
+ return ""; |
+} |
+ |
+static int binop(struct st *st, int op, unsigned long left) |
+{ |
+ unsigned long a = left, b = st->r; |
+ switch (op) { |
+ case 0: st->r = a||b; return 0; |
+ case 1: st->r = a&&b; return 0; |
+ case 2: st->r = a==b; return 0; |
+ case 3: st->r = a!=b; return 0; |
+ case 4: st->r = a>=b; return 0; |
+ case 5: st->r = a<=b; return 0; |
+ case 6: st->r = a>b; return 0; |
+ case 7: st->r = a<b; return 0; |
+ case 8: st->r = a+b; return 0; |
+ case 9: st->r = a-b; return 0; |
+ case 10: st->r = a*b; return 0; |
+ case 11: if (b) {st->r = a%b; return 0;} return 1; |
+ case 12: if (b) {st->r = a/b; return 0;} return 1; |
+ } |
+ return 1; |
+} |
+ |
+static const char *parseop(struct st *st, const char *s) |
+{ |
+ static const char opch[11] = "|&=!><+-*%/"; |
+ static const char opch2[6] = "|&===="; |
+ int i; |
+ for (i=0; i<11; i++) |
+ if (*s == opch[i]) { |
+ /* note: >,< are accepted with or without = */ |
+ if (i<6 && s[1] == opch2[i]) { |
+ st->op = i; |
+ return s+2; |
+ } |
+ if (i>=4) { |
+ st->op = i+2; |
+ return s+1; |
+ } |
+ break; |
+ } |
+ st->op = 13; |
+ return s; |
+} |
+ |
+static const char *evalbinop(struct st *st, const char *s, int minprec, int d) |
+{ |
+ static const char prec[14] = {1,2,3,3,4,4,4,4,5,5,6,6,6,0}; |
+ unsigned long left; |
+ int op; |
+ d--; |
+ s = evalprim(st, s, d); |
+ s = parseop(st, s); |
+ for (;;) { |
+ /* |
+ st->r (left hand side value) and st->op are now set, |
+ get the right hand side or back out if op has low prec, |
+ if op was missing then prec[op]==0 |
+ */ |
+ op = st->op; |
+ if (prec[op] <= minprec) |
+ return s; |
+ left = st->r; |
+ s = evalbinop(st, s, prec[op], d); |
+ if (binop(st, op, left)) |
+ return ""; |
+ } |
+} |
+ |
+static const char *evalexpr(struct st *st, const char *s, int d) |
+{ |
+ unsigned long a, b; |
+ if (--d < 0) |
+ return ""; |
+ s = evalbinop(st, s, 0, d); |
+ if (*s != '?') |
+ return s; |
+ a = st->r; |
+ s = evalexpr(st, s+1, d); |
+ if (*s != ':') |
+ return ""; |
+ b = st->r; |
+ s = evalexpr(st, s+1, d); |
+ st->r = a ? b : st->r; |
+ return s; |
+} |
+ |
+unsigned long __pleval(const char *s, unsigned long n) |
+{ |
+ struct st st; |
+ st.n = n; |
+ s = evalexpr(&st, s, 100); |
+ return *s == ';' ? st.r : -1; |
+} |