Add iterative evaluation method

components/core/src/clp/ffi/ir_stream/search/AstEvaluationResult.hpp

@@ -2,19 +2,22 @@
 #define CLP_FFI_IR_STREAM_SEARCH_ASTEVALUATIONRESULT_HPP
 
 #include <cstdint>
+#include <type_traits>
 
 namespace clp::ffi::ir_stream::search {
 /**
  * Enum representing the result of evaluating a search AST.
  */
-enum class AstEvaluationResult : uint8_t {
-    True,
-    False,
+enum AstEvaluationResult : uint8_t {
+    True = 1,
+    False = 1 << 1,
 
     // The AST evaluation is intentionally skipped because it belongs to a pruned branch of the
     // parent tree.
-    Pruned,
+    Pruned = 1 << 2,
 };
+
+using ast_evaluation_result_bitmask_t = std::underlying_type_t<AstEvaluationResult>;
 }  // namespace clp::ffi::ir_stream::search
 
 #endif  // CLP_FFI_IR_STREAM_SEARCH_ASTEVALUATIONRESULT_HPP

components/core/src/clp/ffi/ir_stream/search/ErrorCode.cpp

@@ -19,6 +19,11 @@ auto ErrorCategory::message(ErrorCodeEnum error_enum) const -> std::string {
     switch (error_enum) {
         case ErrorCodeEnum::AstDynamicCastFailure:
             return "Failed to dynamically cast an AST node to the expected type.";
+        case ErrorCodeEnum::AstEvaluationInvariantViolation:
+            return "Internal invariant violated during AST evaluation. This indicates a serious"
+                   " bug in the evaluation logic.";
+        case ErrorCodeEnum::AttemptToIterateAstLeafExpr:
+            return "Attempted to iterate a leaf expression of an AST.";
         case ErrorCodeEnum::ColumnDescriptorTokenIteratorOutOfBounds:
             return "Attempted to access a token beyond the end of the column descriptor.";
         case ErrorCodeEnum::ColumnTokenizationFailure:
@@ -27,6 +32,8 @@ auto ErrorCategory::message(ErrorCodeEnum error_enum) const -> std::string {
             return "The projected column is not unique.";
         case ErrorCodeEnum::EncodedTextAstDecodingFailure:
             return "Failed to decode the given encoded text AST.";
+        case ErrorCodeEnum::ExpressionTypeUnexpected:
+            return "Unexpected expression type.";
         case ErrorCodeEnum::LiteralTypeUnexpected:
             return "Unexpected literal type.";
         case ErrorCodeEnum::LiteralTypeUnsupported:
@@ -35,8 +42,6 @@ auto ErrorCategory::message(ErrorCodeEnum error_enum) const -> std::string {
             return "The requested method is not implemented.";
         case ErrorCodeEnum::ProjectionColumnDescriptorCreationFailure:
             return "Failed to create a column descriptor for the given projection.";
-        case ErrorCodeEnum::QueryExpressionIsNull:
-            return "The query expression is NULL.";
         case ErrorCodeEnum::QueryTransformationPassFailed:
             return "Failed to execute transformation passes on the query expression.";
         default:

components/core/src/clp/ffi/ir_stream/search/ErrorCode.hpp

@@ -11,16 +11,18 @@ namespace clp::ffi::ir_stream::search {
  */
 enum class ErrorCodeEnum : uint8_t {
     AstDynamicCastFailure = 1,
+    AstEvaluationInvariantViolation,
+    AttemptToIterateAstLeafExpr,
     ColumnDescriptorTokenIteratorOutOfBounds,
     ColumnTokenizationFailure,
     DuplicateProjectedColumn,
     EncodedTextAstDecodingFailure,
+    ExpressionTypeUnexpected,
     LiteralTypeUnexpected,
     LiteralTypeUnsupported,
     MethodNotImplemented,
     ProjectionColumnDescriptorCreationFailure,
     QueryTransformationPassFailed,
-    QueryExpressionIsNull,
 };
 
 using ErrorCode = ystdlib::error_handling::ErrorCode<ErrorCodeEnum>;

components/core/src/clp/ffi/ir_stream/search/QueryHandler.hpp

@@ -90,21 +90,15 @@ class QueryHandler {
     }
 
     /**
-     * Evaluates the given node-ID-value pairs against the underlying query.
-     * @param auto_gen_node_id_value_pairs
-     * @param user_gen_node_id_value_pairs
+     * Evaluates the given kv-pair log event against the underlying query.
+     * @param log_event
      * @return A result containing the evaluation result on success, or an error code indicating
      * the failure:
-     * - Forwards `QueryHandlerImpl::evaluate_node_id_value_pairs`'s return values.
+     * - Forwards `QueryHandlerImpl::evaluate_kv_pair_log_event`'s return values.
      */
-    [[nodiscard]] auto evaluate_node_id_value_pairs(
-            KeyValuePairLogEvent::NodeIdValuePairs const& auto_gen_node_id_value_pairs,
-            KeyValuePairLogEvent::NodeIdValuePairs const& user_gen_node_id_value_pairs
-    ) -> outcome_v2::std_result<AstEvaluationResult> {
-        return m_query_handler_impl.evaluate_node_id_value_pairs(
-                auto_gen_node_id_value_pairs,
-                user_gen_node_id_value_pairs
-        );
+    [[nodiscard]] auto evaluate_kv_pair_log_event(KeyValuePairLogEvent const& log_event)
+            -> outcome_v2::std_result<AstEvaluationResult> {
+        return m_query_handler_impl.evaluate_kv_pair_log_event(log_event);
     }
 
 private: