Move Menu Expression to Simple Namespace to have generic configurable expressions

src/Parser/Parsing/Matcher/AbstractMatcherFactory.h

@@ -7,6 +7,8 @@
 #include "MatcherAnd.h"
 #include "MatcherLabel.h"
 #include "MatcherLoop.h"
+#include "MatcherFalse.h"
+#include "MatcherTrue.h"
 #include "MatcherOptional.h"
 #include "MatcherOr.h"
 #include "Parsing/IParserValue.h"
@@ -85,6 +87,16 @@ public:
     {
     }
 
+    _NODISCARD MatcherFactoryWrapper<TokenType> False() const
+    {
+        return MatcherFactoryWrapper<TokenType>(std::make_unique<MatcherFalse<TokenType>>());
+    }
+
+    _NODISCARD MatcherFactoryWrapper<TokenType> True() const
+    {
+        return MatcherFactoryWrapper<TokenType>(std::make_unique<MatcherTrue<TokenType>>());
+    }
+
     _NODISCARD MatcherFactoryWrapper<TokenType> And(std::initializer_list<Movable<std::unique_ptr<AbstractMatcher<TokenType>>>> matchers) const
     {
         return MatcherFactoryWrapper<TokenType>(std::make_unique<MatcherAnd<TokenType>>(matchers));

src/Parser/Parsing/Matcher/MatcherFalse.h

@@ -0,0 +1,23 @@
+#pragma once
+
+#include <memory>
+
+#include "Parsing/IParserValue.h"
+#include "AbstractMatcher.h"
+
+template <typename TokenType>
+class MatcherFalse final : public AbstractMatcher<TokenType>
+{
+    // TokenType must inherit IParserValue
+    static_assert(std::is_base_of<IParserValue, TokenType>::value);
+
+protected:
+    MatcherResult<TokenType> CanMatch(ILexer<TokenType>* lexer, unsigned tokenOffset) override
+    {
+        return MatcherResult<TokenType>::NoMatch();
+    }
+
+public:
+    MatcherFalse()
+    = default;
+};

src/Parser/Parsing/Matcher/MatcherTrue.h

@@ -0,0 +1,23 @@
+#pragma once
+
+#include <memory>
+
+#include "Parsing/IParserValue.h"
+#include "AbstractMatcher.h"
+
+template <typename TokenType>
+class MatcherTrue final : public AbstractMatcher<TokenType>
+{
+    // TokenType must inherit IParserValue
+    static_assert(std::is_base_of<IParserValue, TokenType>::value);
+
+protected:
+    MatcherResult<TokenType> CanMatch(ILexer<TokenType>* lexer, unsigned tokenOffset) override
+    {
+        return MatcherResult<TokenType>::Match(0);
+    }
+
+public:
+    MatcherTrue()
+    = default;
+};