/* test.c - evaluate expression * * Copyright 2018 Rob Landley * * See http://pubs.opengroup.org/onlinepubs/9699919799/utilities/test.html * * Deviations from posix: -k, [[ < > =~ ]] USE_TEST(NEWTOY(test, 0, TOYFLAG_USR|TOYFLAG_BIN|TOYFLAG_NOHELP|TOYFLAG_MAYFORK)) USE_TEST_GLUE(OLDTOY([, test, TOYFLAG_BIN|TOYFLAG_MAYFORK|TOYFLAG_NOHELP)) USE_SH(OLDTOY([[, test, TOYFLAG_NOFORK|TOYFLAG_NOHELP)) config TEST bool "test" default y help usage: test [-bcdefghkLprSsuwx PATH] [-nz STRING] [-t FD] [X ?? Y] Return true or false by performing tests. No arguments is false, one argument is true if not empty string. --- Tests with a single argument (after the option): PATH is/has: -b block device -f regular file -p fifo -u setuid bit -c char device -g setgid -r readable -w writable -d directory -h symlink -S socket -x executable -e exists -L symlink -s nonzero size -k sticky bit STRING is: -n nonzero size -z zero size FD (integer file descriptor) is: -t a TTY --- Tests with one argument on each side of an operator: Two strings: = are identical != differ =~ string matches regex Alphabetical sort: < first is lower > first higher Two integers: -eq equal -gt first > second -lt first < second -ne not equal -ge first >= second -le first <= second Two files: -ot Older mtime -nt Newer mtime -ef same dev/inode --- Modify or combine tests: ! EXPR not (swap true/false) EXPR -a EXPR and (are both true) ( EXPR ) evaluate this first EXPR -o EXPR or (is either true) config TEST_GLUE bool default y depends on TEST || SH */ #include "toys.h" // Consume 3, 2, or 1 argument test, returning result and *count used. static int do_test(char **args, int *count) { char c, *s; int i; if (*count>=3) { *count = 3; char *s = args[1], *ss = "eqnegtgeltleefotnt"; // TODO shell integration case insensitivity if (!strcmp(s, "=") || !strcmp(s, "==")) return !strcmp(args[0], args[2]); if (!strcmp(s, "!=")) return strcmp(args[0], args[2]); if (!strcmp(s, "=~")) { regex_t reg; // TODO: regex needs integrated quoting support with the shell. // Ala [[ abc =~ "1"* ]] matches but [[ abc =~ 1"*" ]] does not xregcomp(®, args[2], REG_NOSUB); // REG_EXTENDED? REG_ICASE? i = regexec(®, args[0], 0, 0, 0); regfree(®); return !i; } if ((*s=='<' || *s=='>') && !s[1]) { i = strcmp(args[0], args[2]); return (*s=='<') ? i<0 : i>0; } if (*s=='-' && strlen(s)==3 && (s = strstr(ss, s+1)) && !((i = s-ss)&1)) { struct stat st1, st2; long long a QUIET, b QUIET; if (i <= 10) { a = atolx(args[0]); b = atolx(args[2]); } else { if ((i == 12 ? stat : lstat)(args[0], &st1) || (i == 12 ? stat : lstat)(args[2], &st2)) return 0; } if (!i) return a == b; if (i==2) return a != b; if (i==4) return a > b; if (i==6) return a >= b; if (i==8) return a < b; if (i==10) return a<= b; if (i==12) return (st1.st_dev==st2.st_dev) && (st1.st_ino==st2.st_ino); if (i==14) return (st1.st_atim.tv_sec < st2.st_atim.tv_sec) || (st1.st_atim.tv_nsec < st2.st_atim.tv_nsec); if (i==16) return (st1.st_atim.tv_sec > st2.st_atim.tv_sec) || (st1.st_atim.tv_nsec > st2.st_atim.tv_nsec); } } s = *args; if (*count>=2 && *s == '-' && s[1] && !s[2]) { *count = 2; c = s[1]; if (c=='a') c = 'e'; if (-1 != (i = stridx("hLbcdefgkpSusxwr", c))) { struct stat st; if (i>=13) return !access(args[1], 1<<(i-13)); // stat or lstat, check s if (-1 == ((i<2) ? lstat : stat)(args[1], &st)) return 0; if (c == 's') return !!st.st_size; // otherwise 1<<32 == 0 // handle file type checking and SUID/SGID if ((i = ((char []){80,80,48,16,32,0,64,2,1,8,96,4}[i])<<9)>=4096) return (st.st_mode&S_IFMT) == i; else return (st.st_mode & i) == i; } else if (c == 'z') return !*args[1]; else if (c == 'n') return *args[1]; else if (c == 't') return isatty(atolx(args[1])); } return *count = 0; } #define NOT 1 // Most recent test had an odd number of preceding ! #define AND 2 // test before -a failed since -o or ( so force false #define OR 4 // test before -o succeeded since ( so force true void test_main(void) { char *s = (void *)1; int pos, paren, pstack, result = 0; toys.exitval = 2; if (CFG_TOYBOX && *toys.which->name=='[') { if (toys.optc) for (s = toys.optargs[--toys.optc]; *s==']'; s++); if (*s) error_exit("Missing ']'"); } // loop through command line arguments if (toys.optc) for (pos = paren = pstack = 0; ; pos++) { int len = toys.optc-pos; if (!len) perror_exit("need arg @%d", pos); // Evaluate next test result = do_test(toys.optargs+pos, &len); pos += len; // Single argument could be ! ( or nonempty if (!len) { if (toys.optargs[pos+1]) { if (!strcmp("!", toys.optargs[pos])) { pstack ^= NOT; continue; } if (!strcmp("(", toys.optargs[pos])) { if (++paren>9) perror_exit("bad ("); pstack <<= 3; continue; } } result = *toys.optargs[pos++]; } s = toys.optargs[pos]; for (;;) { // Handle pending ! -a -o (the else means -o beats -a) if (pstack&NOT) result = !result; pstack &= ~NOT; if (pstack&OR) result = 1; else if (pstack&AND) result = 0; // Do it again for every ) if (!paren || pos==toys.optc || strcmp(")", s)) break; paren--; pstack >>= 3; s = toys.optargs[++pos]; } // Out of arguments? if (pos==toys.optc) { if (paren) perror_exit("need )"); break; } // are we followed by -a or -o? if (!strcmp("-a", s)) { if (!result) pstack |= AND; } else if (!strcmp("-o", s)) { // -o flushes -a even if previous test was false pstack &=~AND; if (result) pstack |= OR; } else error_exit("too many arguments"); } // Invert C logic to get shell logic toys.exitval = !result; }