chiark - git - mdw - disorder/blob - libtests/t-macros.c

   1 /*
   2  * This file is part of DisOrder.
   3  * Copyright (C) 2008 Richard Kettlewell
   4  *
   5  * This program is free software: you can redistribute it and/or modify
   6  * it under the terms of the GNU General Public License as published by
   7  * the Free Software Foundation, either version 3 of the License, or
   8  * (at your option) any later version.
   9  *
  10  * This program is distributed in the hope that it will be useful,
  11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13  * GNU General Public License for more details.
  14  *
  15  * You should have received a copy of the GNU General Public License
  16  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
  17  */
  18 #include "test.h"
  19 #include "macros.h"
  20
  21 static void test_macros(void) {
  22   const struct mx_node *m;
  23 #define L1 "this is just some\n"
  24 #define L2 "plain text\n"
  25   static const char plain[] = L1 L2;
  26   char *s;
  27   const char *cs;
  28
  29   /* Plain text ------------------------------------------------------------- */
  30
  31   /* As simple as it gets */
  32   m = mx_parse("plaintext1", 1, "", NULL);
  33   insist(m == 0);
  34
  35   /* Almost as simple as that */
  36   m = mx_parse("plaintext1", 1, plain, NULL);
  37   check_integer(m->type, MX_TEXT);
  38   check_string(m->filename, "plaintext1");
  39   check_integer(m->line, 1);
  40   check_string(m->text, L1 L2);
  41   insist(m->next == 0);
  42   check_string(mx_dump(m), plain);
  43
  44   /* Check that partial parses stop in the right place */
  45   m = mx_parse("plaintext2", 5, plain, plain + strlen(L1));
  46   check_integer(m->type, MX_TEXT);
  47   check_string(m->filename, "plaintext2");
  48   check_integer(m->line, 5);
  49   check_string(m->text, L1);
  50   insist(m->next == 0);
  51   check_string(mx_dump(m), L1);
  52
  53   /* Simple macro parsing --------------------------------------------------- */
  54
  55   /* The simplest possible expansion */
  56   m = mx_parse("macro1", 1, "@macro", NULL);
  57   check_integer(m->type, MX_EXPANSION);
  58   check_string(m->filename, "macro1");
  59   check_integer(m->line, 1);
  60   check_string(m->name, "macro");
  61   check_integer(m->nargs, 0);
  62   insist(m->next == 0);
  63   check_string(mx_dump(m), "@macro");
  64
  65   m = mx_parse("macro2", 1, "@macro    ", NULL);
  66   check_integer(m->type, MX_EXPANSION);
  67   check_string(m->filename, "macro2");
  68   check_integer(m->line, 1);
  69   check_string(m->name, "macro");
  70   check_integer(m->nargs, 0);
  71   insist(m->next != 0);
  72   check_integer(m->next->type, MX_TEXT);
  73   check_string(mx_dump(m), "@macro    ");
  74
  75   /* Multiple bracketed arguments */
  76   m = mx_parse("macro7", 1, "@macro{arg1}{arg2}", NULL);
  77   check_string(mx_dump(m), "@macro{arg1}{arg2}");
  78
  79   m = mx_parse("macro8", 1, "@macro{\narg1}{\narg2}", NULL);
  80   check_string(mx_dump(m), "@macro{\narg1}{\narg2}");
  81   check_integer(m->args[0]->line, 1);
  82   check_integer(m->args[1]->line, 2);
  83   /* ...yes, lines 1 and 2: the first character of the first arg is
  84    * the \n at the end of line 1.  Compare with macro9: */
  85
  86   m = mx_parse("macro9", 1, "@macro\n{arg1}\n{arg2}", NULL);
  87   check_string(mx_dump(m), "@macro{arg1}{arg2}");
  88   check_integer(m->args[0]->line, 2);
  89   check_integer(m->args[1]->line, 3);
  90
  91   /* Arguments that themselves contain expansions */
  92   m = mx_parse("macro10", 1, "@macro{@macro2{arg1}{arg2}}", NULL);
  93   check_string(mx_dump(m), "@macro{@macro2{arg1}{arg2}}");
  94
  95   /* ...and with omitted trailing @ */
  96   m = mx_parse("macro11", 1, "@macro{@macro2{arg1}{arg2}}", NULL);
  97   check_string(mx_dump(m), "@macro{@macro2{arg1}{arg2}}");
  98
  99   /* Similarly but with more whitespace; NB that the whitespace is
 100    * preserved. */
 101   m = mx_parse("macro12", 1, "@macro {@macro2 {arg1} {arg2}  }\n", NULL);
 102   check_string(mx_dump(m), "@macro{@macro2{arg1}{arg2}  }\n");
 103
 104   /* Simple expansions ------------------------------------------------------ */
 105
 106   mx_register_builtin();
 107   mx_search_path(".");
 108   mx_search_path("lib");
 109   if((cs = getenv("srcdir")))
 110     mx_search_path(cs);
 111
 112 #define check_macro(NAME, INPUT, OUTPUT, RET) do {              \
 113   m = mx_parse(NAME, 1, INPUT, NULL);                           \
 114   check_integer(mx_expandstr(m, &s, 0/*u*/, NAME), (RET));      \
 115   if(s && strcmp(s, OUTPUT)) {                                  \
 116     fprintf(stderr, "%s:%d: test %s\n"                          \
 117             "     INPUT:\n%s\n"                                 \
 118             "  EXPECTED: '%s'\n"                                \
 119             "       GOT: '%s'\n",                               \
 120             __FILE__, __LINE__, NAME, INPUT, OUTPUT, s);        \
 121     count_error();                                              \
 122   }                                                             \
 123 } while(0)
 124
 125   check_macro("empty", "", "", 0);
 126   check_macro("plain", plain, plain, 0);
 127   check_macro("quote1", "@@", "@", 0);
 128   check_macro("quote2", "@@@@", "@@", 0);
 129   check_macro("nothing1", "@_", "", 0);
 130   check_macro("nothing2", "<@_>", "<>", 0);
 131
 132   check_macro("if1", "@if{true}{yes}{no}", "yes", 0);
 133   check_macro("if2", "@if{true}{yes}", "yes", 0);
 134   check_macro("if3", "@if{false}{yes}{no}", "no", 0);
 135   check_macro("if4", "@if{false}{yes}", "", 0);
 136   check_macro("if5", "@if{ true}{yes}", "", 0);
 137   check_macro("if6", "@if{true}{yes}@_{wible}t", "yes{wible}t", 0);
 138
 139   check_macro("br1", "@if(true)(yes)(no)", "yes", 0);
 140   check_macro("br1", "@if[true][yes]{no}", "yes{no}", 0);
 141
 142   check_macro("and1", "@and", "true", 0);
 143   check_macro("and2", "@and{true}", "true", 0);
 144   check_macro("and3", "@and{false}", "false", 0);
 145   check_macro("and4", "@and{true}{true}", "true", 0);
 146   check_macro("and5", "@and{false}{true}", "false", 0);
 147   check_macro("and6", "@and{true}{false}", "false", 0);
 148   check_macro("and7", "@and{false}{false}", "false", 0);
 149
 150   check_macro("or1", "@or", "false", 0);
 151   check_macro("or2", "@or{true}", "true", 0);
 152   check_macro("or2", "@or{false}", "false", 0);
 153   check_macro("or3", "@or{true}{true}", "true", 0);
 154   check_macro("or4", "@or{false}{true}", "true", 0);
 155   check_macro("or5", "@or{true}{false}", "true", 0);
 156   check_macro("or7", "@or{false}{false}", "false", 0);
 157
 158   check_macro("not1", "@not{true}", "false", 0);
 159   check_macro("not2", "@not{false}", "true", 0);
 160   check_macro("not3", "@not{wibble}", "true", 0);
 161
 162   check_macro("comment1", "@# wibble\n", "", 0);
 163   check_macro("comment2", "@# comment\nplus a line", "plus a line", 0);
 164
 165   check_macro("discard1", "@discard{wibble}", "", 0);
 166   check_macro("discard2", "@discard{comment with a\nnewline in}", "", 0);
 167
 168   check_macro("eq1", "@eq", "true", 0);
 169   check_macro("eq2", "@eq{}", "true", 0);
 170   check_macro("eq3", "@eq{a}", "true", 0);
 171   check_macro("eq4", "@eq{a}{a}", "true", 0);
 172   check_macro("eq5", "@eq{a}{a}{a}", "true", 0);
 173   check_macro("eq7", "@eq{a}{b}", "false", 0);
 174   check_macro("eq8", "@eq{a}{b}{a}", "false", 0);
 175   check_macro("eq9", "@eq{a}{a}{b}", "false", 0);
 176   check_macro("eq10", "@eq{b}{a}{a}", "false", 0);
 177
 178   check_macro("ne1", "@ne", "true", 0);
 179   check_macro("ne2", "@ne{}", "true", 0);
 180   check_macro("ne3", "@ne{a}", "true", 0);
 181   check_macro("ne4", "@ne{a}{a}", "false", 0);
 182   check_macro("ne5", "@ne{a}{a}{a}", "false", 0);
 183   check_macro("ne7", "@ne{a}{b}", "true", 0);
 184   check_macro("ne8", "@ne{a}{b}{a}", "false", 0);
 185   check_macro("ne9", "@ne{a}{a}{b}", "false", 0);
 186   check_macro("ne10", "@ne{b}{a}{a}", "false", 0);
 187   check_macro("ne11", "@ne{a}{b}{c}", "true", 0);
 188
 189   check_macro("sh1", "@shell{true}", "", 0);
 190   check_macro("sh2", "@shell{echo spong}", "spong\n", 0);
 191   fprintf(stderr, ">>> expect error message about shell command:\n");
 192   check_macro("sh3", "@shell{echo spong;exit 3}", "spong\n", 0);
 193
 194   check_macro("url1", "@urlquote{unreserved}", "unreserved", 0);
 195   check_macro("url2", "@urlquote{has space}", "has%20space", 0);
 196   check_macro("url3", "@urlquote{\xc0\xc1}", "%c0%c1", 0);
 197
 198   check_macro("include1", "@include{t-macros-1.tmpl}",
 199               "yes\n", 0);
 200   check_macro("include2", "@include{t-macros-2}",
 201               "wibble\n", 0);
 202   fprintf(stderr, ">>> expect error message about t-macros-nonesuch:\n");
 203   check_macro("include3", "<@include{t-macros-nonesuch}>",
 204               "<[[cannot find 't-macros-nonesuch']]>", 0);
 205   fprintf(stderr, ">>> expect error message about 'wibble':\n");
 206   check_macro("badex1", "<@wibble>",
 207               "<[['wibble' unknown]]>", 0);
 208   fprintf(stderr, ">>> expect error message about 'if':\n");
 209   check_macro("badex2", "<@if>",
 210               "<[['if' too few args]]>", 0);
 211   fprintf(stderr, ">>> expect error message about 'if':\n");
 212   check_macro("badex3", "<@if{1}{2}{3}{4}{5}>",
 213               "<[['if' too many args]]>", 0);
 214
 215   check_macro("dirname1", "@dirname{foo/bar}", "foo", 0);
 216   check_macro("dirname2", "@dirname{foo & something/bar}",
 217               "foo & something", 0);
 218   check_macro("basename1", "@basename{xyzzy/plugh}", "plugh", 0);
 219   check_macro("basename2", "@basename{xyzzy/a<b}", "a<b", 0);
 220
 221   check_macro("q1", "@q{wibble}", "wibble", 0);
 222   check_macro("q2", "@q{wibble}wobble", "wibblewobble", 0);
 223
 224   /* Macro definitions ------------------------------------------------------ */
 225
 226   check_macro("macro1", "@define{m}{a b c}{@c @b @a}@#\n"
 227               "@m{1}{2}{3}",
 228               "3 2 1", 0);
 229   check_macro("macro2", "@m{b}{c}{a}",
 230               "a c b", 0);
 231   check_macro("macro3", "@m{@eq{z}{z}}{p}{q}",
 232               "q p true", 0);
 233   check_macro("macro4",
 234               "@discard{\n"
 235               "  @define{n}{a b c}\n"
 236               "    {@if{@eq{@a}{@b}} {@c} {no}}\n"
 237               "}@#\n"
 238               "@n{x}{y}{z}",
 239               "no", 0);
 240   check_macro("macro5",
 241               "@n{x}{x}{z}",
 242               "z", 0);
 243
 244 }
 245
 246 TEST(macros);
 247
 248 /*
 249 Local Variables:
 250 c-basic-offset:2
 251 comment-column:40
 252 fill-column:79
 253 indent-tabs-mode:nil
 254 End:
 255 */