summaryrefslogtreecommitdiff
path: root/42sh/src/parser/parser_operators.c
blob: 31cebbb54c9072f1c540c392ac7b458bf779d80f (plain)
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
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
#include "parser/parser_functions.h"
#include "parser/parser_utils.h"

struct ast *parse_and_or(struct lexer *lexer, enum parser_state *state)
{
    struct ast *node = parse_pipeline(lexer, state);
    struct token next = lexer_peek(lexer);

    if (error_check(node, state, next))
    {
        QUICK_CLEANUP
    }

    while (next.type == TOKEN_AND || next.type == TOKEN_OR)
    {
        struct ast *logical = ast_create(AST_LOGICAL);
        if (logical == NULL)
        {
            cleanup(node, state);
            return NULL;
        }

        ((struct ast_logical *)logical)->type = next.type;

        lexer_pop(lexer);
        next = lexer_peek(lexer);

        while (next.type == TOKEN_NEWLINE)
        {
            lexer_pop(lexer);
            next = lexer_peek(lexer);
        }

        set_left(logical, node);

        struct ast *right = parse_pipeline(lexer, state);

        // So it's ready for next iteration + usable in error_check()
        next = lexer_peek(lexer);

        // If there IS an error, then it MUST have returned NULL
        // So no need to free 'right'
        if (error_check(logical, state, next))
        {
            return NULL;
        }

        set_right(logical, right);
        node = logical;
    }
    return node;
}

struct ast *parse_pipeline(struct lexer *lexer, enum parser_state *state)
{
    struct ast *negation = NULL;
    struct token next = lexer_peek(lexer);

    if (next.type == TOKEN_NEG)
    {
        negation = ast_create(AST_LOGICAL);
        if (negation == NULL)
        {
            QUICK_CLEANUP
        }

        union ast_caster cast;
        cast.ast = negation;
        cast.ast_lo->type = next.type;

        lexer_pop(lexer);
        next = lexer_peek(lexer);
    }

    struct ast *node = parse_command(lexer, state);
    next = lexer_peek(lexer);

    if (negation != NULL)
    {
        set_left(negation, node);
        node = negation;
    }

    // If there is an error here (aka node failed), just negation is alloc'ed
    if (error_check(negation, state, next))
    {
        return NULL;
    }

    while (next.type == TOKEN_PIPE)
    {
        lexer_pop(lexer);
        struct ast *pipe = ast_create(AST_PIPELINE);

        if (pipe == NULL)
        {
            cleanup(node, state);
            return NULL;
        }

        set_left(pipe, node);

        while (next.type == TOKEN_NEWLINE)
        {
            lexer_pop(lexer);
            next = lexer_peek(lexer);
        }

        set_right(pipe, parse_command(lexer, state));

        next = lexer_peek(lexer);

        if (error_check(pipe, state, next))
        {
            return NULL;
        }

        node = pipe;
    }

    return node;
}