Add more expression AstNode.

Author: nos1dot618

include/lbd/frontend/ast/expression/IdentifierExpression.hpp

@@ -7,7 +7,7 @@ namespace lbd::frontend::ast::expression
     class IdentifierExpression final : Expression
     {
     public:
-        IdentifierExpression(const source::Range& range, std::string name);
+        IdentifierExpression(const source::Range& range, std::string name) noexcept;
 
         void print(std::ostream& outputStream, size_t indent) const noexcept override;
 

include/lbd/frontend/ast/expression/LambdaExpression.hpp

@@ -0,0 +1,21 @@
+#pragma once
+
+#include <lbd/frontend/ast/expression/Expression.hpp>
+#include <lbd/frontend/ast/expression/IdentifierExpression.hpp>
+
+namespace lbd::frontend::ast::expression
+{
+    class NumberExpression final : Expression
+    {
+    public:
+        NumberExpression(const source::Range& range, std::string value) noexcept;
+
+        void print(std::ostream& outputStream, size_t indent) const noexcept override;
+
+    private:
+        IdentifierExpression argumentIdentifierExpression;
+        interpreter::type::Type argumentType;
+        std::unique_ptr<Expression> expression;
+        source::Location location;
+    };
+}

include/lbd/frontend/ast/expression/NumberExpression.hpp

@@ -0,0 +1,17 @@
+#pragma once
+
+#include <lbd/frontend/ast/expression/Expression.hpp>
+
+namespace lbd::frontend::ast::expression
+{
+    class NumberExpression final : Expression
+    {
+    public:
+        NumberExpression(const source::Range& range, double value) noexcept;
+
+        void print(std::ostream& outputStream, size_t indent) const noexcept override;
+
+    private:
+        double value;
+    };
+}

include/lbd/frontend/ast/expression/StringExpression.hpp

@@ -7,7 +7,7 @@ namespace lbd::frontend::ast::expression
     class StringExpression final : Expression
     {
     public:
-        StringExpression(const source::Range& range, std::string value);
+        StringExpression(const source::Range& range, std::string value) noexcept;
 
         void print(std::ostream& outputStream, size_t indent) const noexcept override;
 

include/lbd/type/TypeKind.hpp

@@ -0,0 +1,14 @@
+#pragma once
+
+namespace lbd::type
+{
+    enum class TypeKind
+    {
+        NAMED, // Number, String
+        VARIABLE, // a, b
+        APPLIED, // List<Number>, Map<String, Number>
+        FUNCTION, // String -> Number
+        QUALIFIED, // Eq a => a -> a
+        ANY,
+    };
+}

src/frontend/ast/expression/IdentifierExpression.cpp

@@ -2,7 +2,7 @@
 
 namespace lbd::frontend::ast::expression
 {
-    IdentifierExpression::IdentifierExpression(const source::Range& range, std::string name)
+    IdentifierExpression::IdentifierExpression(const source::Range& range, std::string name) noexcept
         : Expression(AstNodeKind::IDENTIFIER_EXPRESSION, range), name(std::move(name)) {}
 
     void IdentifierExpression::print(std::ostream& outputStream, const size_t indent) const noexcept

src/frontend/ast/expression/NumberExpression.cpp

@@ -0,0 +1,13 @@
+#include <lbd/frontend/ast/expression/NumberExpression.hpp>
+
+namespace lbd::frontend::ast::expression
+{
+    NumberExpression::NumberExpression(const source::Range& range, const double value) noexcept
+        : Expression(AstNodeKind::NUMBER_EXPRESSION, range), value(value) {}
+
+    void NumberExpression::print(std::ostream& outputStream, const size_t indent) const noexcept
+    {
+        printIndent(outputStream, indent);
+        outputStream << value;
+    }
+}

src/frontend/ast/expression/StringExpression.cpp

@@ -2,7 +2,7 @@
 
 namespace lbd::frontend::ast::expression
 {
-    StringExpression::StringExpression(const source::Range& range, std::string value)
+    StringExpression::StringExpression(const source::Range& range, std::string value) noexcept
         : Expression(AstNodeKind::STRING_EXPRESSION, range), value(std::move(value)) {}
 
     void StringExpression::print(std::ostream& outputStream, const size_t indent) const noexcept