1 files changed, 79 insertions, 0 deletions

diff --git a/MoonParser/pegtl/internal/must.hpp b/MoonParser/pegtl/internal/must.hpp
new file mode 100644
index 0000000..4ac9920
--- /dev/null
+++ b/MoonParser/pegtl/internal/must.hpp
@@ -0,0 +1,79 @@
+// Copyright (c) 2014-2017 Dr. Colin Hirsch and Daniel Frey
+// Please see LICENSE for license or visit https://github.com/taocpp/PEGTL/
+
+#ifndef TAOCPP_PEGTL_INCLUDE_INTERNAL_MUST_HPP
+#define TAOCPP_PEGTL_INCLUDE_INTERNAL_MUST_HPP
+
+#include "../config.hpp"
+
+#include "raise.hpp"
+#include "rule_conjunction.hpp"
+#include "skip_control.hpp"
+
+#include "../apply_mode.hpp"
+#include "../rewind_mode.hpp"
+
+#include "../analysis/generic.hpp"
+
+namespace tao
+{
+   namespace TAOCPP_PEGTL_NAMESPACE
+   {
+      namespace internal
+      {
+         // The general case applies must<> to each of the
+         // rules in the 'Rules' parameter pack individually.
+
+         template< typename... Rules >
+         struct must
+         {
+            using analyze_t = analysis::generic< analysis::rule_type::SEQ, Rules... >;
+
+            template< apply_mode A,
+                      rewind_mode M,
+                      template< typename... > class Action,
+                      template< typename... > class Control,
+                      typename Input,
+                      typename... States >
+            static bool match( Input& in, States&&... st )
+            {
+               return rule_conjunction< must< Rules >... >::template match< A, M, Action, Control >( in, st... );
+            }
+         };
+
+         // While in theory the implementation for a single rule could
+         // be simplified to must< Rule > = sor< Rule, raise< Rule > >, this
+         // would result in some unnecessary run-time overhead.
+
+         template< typename Rule >
+         struct must< Rule >
+         {
+            using analyze_t = typename Rule::analyze_t;
+
+            template< apply_mode A,
+                      rewind_mode,
+                      template< typename... > class Action,
+                      template< typename... > class Control,
+                      typename Input,
+                      typename... States >
+            static bool match( Input& in, States&&... st )
+            {
+               if( !Control< Rule >::template match< A, rewind_mode::DONTCARE, Action, Control >( in, st... ) ) {
+                  raise< Rule >::template match< A, rewind_mode::DONTCARE, Action, Control >( in, st... );
+               }
+               return true;
+            }
+         };
+
+         template< typename... Rules >
+         struct skip_control< must< Rules... > > : std::true_type
+         {
+         };
+
+      }  // namespace internal
+
+   }  // namespace TAOCPP_PEGTL_NAMESPACE
+
+}  // namespace tao
+
+#endif