aboutsummaryrefslogtreecommitdiffstats
path: root/parser.hpp
blob: 2ecf6f876122454842c99b4699c28f440902e521 (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
/**
 * lisp-compiler: Compiles LISP using LLVM.
 * Copyright (C) 2022  Clyne Sullivan
 *
 * This program is free software: you can redistribute it and/or modify it under
 * the terms of the GNU General Public License as published by the Free Software
 * Foundation, either version 3 of the License, or (at your option) any later
 * version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
 * FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more
 * details.
 *
 * You should have received a copy of the GNU General Public License along with
 * this program.  If not, see <http://www.gnu.org/licenses/>.
 *
 * @file parser.hpp
 * @brief Source code parser to produce AST.
 */

#ifndef PARSER_HPP
#define PARSER_HPP

#include "ast.hpp"

#include <deque>
#include <optional>
#include <string>
#include <variant>

class Parser {
public:
    enum Error {
        ExpectedProcedureCallOpen,
        ExpectedIdentifier,
        ExpectedProcedureCallClose,
        ExpectedArgumentList,
        UnknownIdentifier,
        InvalidExpression,
        InvalidOperand,
        InvalidCondition,
        InvalidThenBranch,
        InvalidElseBranch,
        InvalidInitializer,
        InvalidAssignValue,
        InvalidArgumentName,
        InvalidLambdaBody
    };

    /**
     * Appends the given string to the end of the text queue.
     * Call parse() after adding text to produce the AST.
     */
    void addString(const std::string&);

    /**
     * Attempts to parse all text in the text queue, stopping if there is an
     * error.
     * @return An iterable collection of produced AST nodes.
     */
    std::deque<AST::Node *> parse();

    std::string describeErrors() noexcept;

    bool hasErrors() const noexcept {
        return !errors.empty();
    }

private:
    std::deque<char> text;
    std::deque<Error> errors;

    /**
     * Advances through the text queue until a non-whitespace character is
     * found.
     */
    void consumeWhitespace() noexcept;
    /**
     * Attempts to consume an identifier from the text queue.
     * @return A string containing the identifier if one is found.
     */
    std::optional<std::string> consumeIdentifier() noexcept;
    /**
     * Attempts to consume a literal number from the text queue.
     * @return The number if one is found: an integer if there is no decimal
     * point; otherwise, a double.
     * TODO Ensure and add noexcept.
     */
    std::optional<std::variant<int, double>> consumeLiteralNumber();

    AST::Node *parseExpression();
    AST::Node *parseProcedureCall();
    AST::Node *parseConditional();
    AST::Node *parseDefinition();
    AST::Node *parseAssignment();
    AST::Node *parseLambdaExpression();
};

#endif // PARSER_HPP