1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
#include <assert.h>
#include <inttypes.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>

#include "error.h"
#include "expected.h"
#include "fmt.h"
#include "fmt_check_parser.h"
#include "instr.h"
#include "lexer.h"
#include "testcase.h"
#include <utils/ustr.h>

enum TestCaseKeyword
{
    KW_CASE,
    KW_TEST,
    KW_CHECK,
    KW_ESAC,
    KW_NUM_KEYWORDS,
};

static void parseBlock(enum TestCaseKeyword kw);
static void parseCode(enum TestCaseKeyword kw);

static struct UStr *kwIdent[KW_NUM_KEYWORDS];
static struct TestCase *testCase;

void
parseFmtCheck()
{
    kwIdent[KW_CASE] = makeUStr("case");
    kwIdent[KW_TEST] = makeUStr("test");
    kwIdent[KW_CHECK] = makeUStr("check");
    kwIdent[KW_ESAC] = makeUStr("esac");

    for (getToken(); token.kind != EOI;) {
        if (token.kind == EOL) {
            getToken();
            continue;
        }

        parseBlock(KW_CASE);
        parseBlock(KW_TEST);
        parseBlock(KW_CHECK);
        parseBlock(KW_ESAC);
    }
}

static void
parseBlock(enum TestCaseKeyword kw)
{
    expected(IDENT);
    struct UStr *ident = makeUStr(token.val.cstr);
    getToken();
    expected(EOL);
    getToken();

    if (ident != kwIdent[kw]) {
        error("expected '%s' got '%s'\n", kwIdent[kw]->cstr, ident->cstr);
    }

    if (kw == KW_CASE) {
        testCase = addTestCase();
    }
    if (kw != KW_ESAC) {
        parseCode(kw);
    }
}

static void
parseCode(enum TestCaseKeyword kw)
{
    enum TestCaseCodeBlock codeBlock;

    switch (kw) {
        case KW_CASE:
            codeBlock = TC_INIT;
            break;
        case KW_TEST:
            codeBlock = TC_TEST;
            break;
        case KW_CHECK:
            codeBlock = TC_CHECK;
            break;
        default:
            fprintf(stderr, "internal error in 'parseCode'\n");
            exit(1);
    }

    while (token.kind == CODE || token.kind == EOL) {
        appendTestCaseCode(testCase, codeBlock, &token.val);
        getToken();
    }
}