idToLiteral without Iri

ad-freiburg · Jan 6, 2025 · 7455f29 · 7455f29
1 parent 39ca3cb
commit 7455f29
Show file tree

Hide file tree

Showing 6 changed files with 106 additions and 110 deletions.
diff --git a/src/engine/ExportQueryExecutionTrees.cpp b/src/engine/ExportQueryExecutionTrees.cpp
@@ -350,8 +350,8 @@ ExportQueryExecutionTrees::idToStringAndTypeForEncodedValue(Id id) {
 }
 
 // _____________________________________________________________________________
-std::optional<LiteralOrIri>
-ExportQueryExecutionTrees::idToLiteralOrIriForEncodedValue(
+std::optional<ad_utility::triple_component::Literal>
+ExportQueryExecutionTrees::idToLiteralForEncodedValue(
     Id id, bool onlyReturnLiteralsWithXsdString) {
   if (onlyReturnLiteralsWithXsdString) {
     return std::nullopt;
@@ -361,7 +361,8 @@ ExportQueryExecutionTrees::idToLiteralOrIriForEncodedValue(
     return std::nullopt;
   }
 
-  return LiteralOrIri::literalWithoutQuotes(optionalStringAndType->first);
+  return ad_utility::triple_component::Literal::literalWithoutQuotes(
+      optionalStringAndType->first);
 }
 
 // _____________________________________________________________________________
@@ -372,28 +373,25 @@ bool ExportQueryExecutionTrees::isPlainLiteralOrLiteralWithXsdString(
 }
 
 // _____________________________________________________________________________
-std::optional<LiteralOrIri> ExportQueryExecutionTrees::handleIriOrLiteral(
-    LiteralOrIri word, bool onlyReturnLiterals,
-    bool onlyReturnLiteralsWithXsdString) {
+std::optional<ad_utility::triple_component::Literal>
+ExportQueryExecutionTrees::handleIriOrLiteral(
+    LiteralOrIri word, bool onlyReturnLiteralsWithXsdString) {
   if (!word.isLiteral()) {
-    if (onlyReturnLiterals || onlyReturnLiteralsWithXsdString) {
-      AD_THROW("The input is an IRI, but only literals are allowed.");
-      return std::nullopt;
-    }
-    return word;
+    AD_THROW("The input is an IRI, but only literals are allowed.");
+    return std::nullopt;
   }
 
   if (onlyReturnLiteralsWithXsdString) {
     if (isPlainLiteralOrLiteralWithXsdString(word)) {
-      return word;
+      return word.getLiteral();
     }
     return std::nullopt;
   }
 
   if (word.hasDatatype() && !isPlainLiteralOrLiteralWithXsdString(word)) {
     word.getLiteral().removeDatatype();
   }
-  return word;
+  return word.getLiteral();
 }
 
 // _____________________________________________________________________________
@@ -463,9 +461,10 @@ ExportQueryExecutionTrees::idToStringAndType(const Index& index, Id id,
 
 // _____________________________________________________________________________
 template <bool onlyReturnLiterals>
-std::optional<LiteralOrIri> ExportQueryExecutionTrees::idToLiteralOrIri(
-    const Index& index, Id id, const LocalVocab& localVocab,
-    bool onlyReturnLiteralsWithXsdString) {
+std::optional<ad_utility::triple_component::Literal>
+ExportQueryExecutionTrees::idToLiteral(const Index& index, Id id,
+                                       const LocalVocab& localVocab,
+                                       bool onlyReturnLiteralsWithXsdString) {
   using enum Datatype;
   auto datatype = id.getDatatype();
 
@@ -477,19 +476,18 @@ std::optional<LiteralOrIri> ExportQueryExecutionTrees::idToLiteralOrIri(
 
   switch (datatype) {
     case WordVocabIndex:
-      return LiteralOrIri::literalWithoutQuotes(
+      return ad_utility::triple_component::Literal::literalWithoutQuotes(
           index.indexToString(id.getWordVocabIndex()));
     case VocabIndex:
     case LocalVocabIndex:
       return handleIriOrLiteral(
           getLiteralOrIriFromVocabIndex(index, id, localVocab),
-          onlyReturnLiterals, onlyReturnLiteralsWithXsdString);
+          onlyReturnLiteralsWithXsdString);
     case TextRecordIndex:
       AD_THROW("TextRecordIndex case is not implemented.");
       return std::nullopt;
     default:
-      return idToLiteralOrIriForEncodedValue(id,
-                                             onlyReturnLiteralsWithXsdString);
+      return idToLiteralForEncodedValue(id, onlyReturnLiteralsWithXsdString);
   }
 }
 
@@ -515,14 +513,14 @@ ExportQueryExecutionTrees::idToStringAndType(const Index& index, Id id,
                                              std::identity&& escapeFunction);
 
 // ___________________________________________________________________________
-template std::optional<LiteralOrIri>
-ExportQueryExecutionTrees::idToLiteralOrIri<false>(
+template std::optional<ad_utility::triple_component::Literal>
+ExportQueryExecutionTrees::idToLiteral<false>(
     const Index& index, Id id, const LocalVocab& localVocab,
     bool onlyReturnLiteralsWithXsdString);
 
 // ___________________________________________________________________________
-template std::optional<LiteralOrIri>
-ExportQueryExecutionTrees::idToLiteralOrIri<true>(
+template std::optional<ad_utility::triple_component::Literal>
+ExportQueryExecutionTrees::idToLiteral<true>(
     const Index& index, Id id, const LocalVocab& localVocab,
     bool onlyReturnLiteralsWithXsdString);
 

diff --git a/src/engine/ExportQueryExecutionTrees.h b/src/engine/ExportQueryExecutionTrees.h
@@ -78,7 +78,7 @@ class ExportQueryExecutionTrees {
   // return 'std::nullopt'. These semantics are useful for the string
   // expressions in StringExpressions.cpp.
   template <bool returnOnlyLiterals = false>
-  static std::optional<LiteralOrIri> idToLiteralOrIri(
+  static std::optional<ad_utility::triple_component::Literal> idToLiteral(
       const Index& index, Id id, const LocalVocab& localVocab,
       bool onlyReturnLiteralsWithXsdString = false);
 
@@ -88,14 +88,14 @@ class ExportQueryExecutionTrees {
   // If `onlyReturnLiteralsWithXsdString` is `true`, returns `std::nullopt`.
   // If `onlyReturnLiteralsWithXsdString` is `false`, removes datatypes from
   // literals (e.g. the integer `42` is converted to the plain literal `"42"`).
-  static std::optional<LiteralOrIri> idToLiteralOrIriForEncodedValue(
-      Id id, bool onlyReturnLiteralsWithXsdString = false);
+  static std::optional<ad_utility::triple_component::Literal>
+  idToLiteralForEncodedValue(Id id,
+                             bool onlyReturnLiteralsWithXsdString = false);
 
   // A helper function for the `idToLiteralOrIri` function. Checks and processes
   // a LiteralOrIri based on the given parameters.
-  static std::optional<LiteralOrIri> handleIriOrLiteral(
-      LiteralOrIri word, bool onlyReturnLiterals,
-      bool onlyReturnLiteralsWithXsdString);
+  static std::optional<ad_utility::triple_component::Literal>
+  handleIriOrLiteral(LiteralOrIri word, bool onlyReturnLiteralsWithXsdString);
 
   // Checks if a LiteralOrIri is either a plain literal (without datatype)
   // or a literal with the `xsd:string` datatype.

diff --git a/src/engine/sparqlExpressions/SparqlExpressionValueGetters.cpp b/src/engine/sparqlExpressions/SparqlExpressionValueGetters.cpp
@@ -91,26 +91,26 @@ std::optional<std::string> StringValueGetter::operator()(
 }
 
 // ____________________________________________________________________________
-std::optional<LiteralOrIri> LiteralOrIriValueGetter::operator()(
-    Id id, const EvaluationContext* context) const {
-  return ExportQueryExecutionTrees::idToLiteralOrIri(context->_qec.getIndex(),
-                                                     id, context->_localVocab);
+std::optional<ad_utility::triple_component::Literal>
+LiteralValueGetter::operator()(Id id, const EvaluationContext* context) const {
+  return ExportQueryExecutionTrees::idToLiteral(context->_qec.getIndex(), id,
+                                                context->_localVocab);
 }
 
 // ____________________________________________________________________________
-std::optional<LiteralOrIri>
-LiteralOrIriValueGetterWithXsdStringFilter::operator()(
+std::optional<ad_utility::triple_component::Literal>
+LiteralValueGetterWithXsdStringFilter::operator()(
     Id id, const EvaluationContext* context) const {
-  return ExportQueryExecutionTrees::idToLiteralOrIri(
-      context->_qec.getIndex(), id, context->_localVocab, true);
+  return ExportQueryExecutionTrees::idToLiteral(context->_qec.getIndex(), id,
+                                                context->_localVocab, true);
 }
 
 // ____________________________________________________________________________
-std::optional<LiteralOrIri>
-LiteralOrIriValueGetterWithXsdStringFilter::operator()(
+std::optional<ad_utility::triple_component::Literal>
+LiteralValueGetterWithXsdStringFilter::operator()(
     const LiteralOrIri& s, const EvaluationContext*) const {
   if (ExportQueryExecutionTrees::isPlainLiteralOrLiteralWithXsdString(s)) {
-    return s;
+    return s.getLiteral();
   }
   AD_THROW("Input is not a plain string or xsd:string.");
   return std::nullopt;

diff --git a/src/engine/sparqlExpressions/SparqlExpressionValueGetters.h b/src/engine/sparqlExpressions/SparqlExpressionValueGetters.h
@@ -143,29 +143,29 @@ struct StringValueGetter : Mixin<StringValueGetter> {
 
 // This class can be used as the `ValueGetter` argument of Expression
 // templates. It produces a LiteralOrIri.
-struct LiteralOrIriValueGetter : Mixin<LiteralOrIriValueGetter> {
-  using Mixin<LiteralOrIriValueGetter>::operator();
+struct LiteralValueGetter : Mixin<LiteralValueGetter> {
+  using Mixin<LiteralValueGetter>::operator();
 
-  std::optional<LiteralOrIri> operator()(ValueId,
-                                         const EvaluationContext*) const;
+  std::optional<ad_utility::triple_component::Literal> operator()(
+      ValueId, const EvaluationContext*) const;
 
-  std::optional<LiteralOrIri> operator()(const LiteralOrIri& s,
-                                         const EvaluationContext*) const {
-    return s;
+  std::optional<ad_utility::triple_component::Literal> operator()(
+      const LiteralOrIri& s, const EvaluationContext*) const {
+    return s.getLiteral();
   }
 };
 
 // Same as above but only literals with 'xsd:string' datatype or no datatype are
 // returned.
-struct LiteralOrIriValueGetterWithXsdStringFilter
-    : Mixin<LiteralOrIriValueGetterWithXsdStringFilter> {
-  using Mixin<LiteralOrIriValueGetterWithXsdStringFilter>::operator();
+struct LiteralValueGetterWithXsdStringFilter
+    : Mixin<LiteralValueGetterWithXsdStringFilter> {
+  using Mixin<LiteralValueGetterWithXsdStringFilter>::operator();
 
-  std::optional<LiteralOrIri> operator()(ValueId,
-                                         const EvaluationContext*) const;
+  std::optional<ad_utility::triple_component::Literal> operator()(
+      ValueId, const EvaluationContext*) const;
 
-  std::optional<LiteralOrIri> operator()(const LiteralOrIri& s,
-                                         const EvaluationContext*) const;
+  std::optional<ad_utility::triple_component::Literal> operator()(
+      const LiteralOrIri& s, const EvaluationContext*) const;
 };
 
 // Value getter for `isBlank`.

diff --git a/src/engine/sparqlExpressions/StringExpressions.cpp b/src/engine/sparqlExpressions/StringExpressions.cpp
@@ -109,6 +109,49 @@ class StringExpressionImpl : public SparqlExpression {
   }
 };
 
+// Same as the `StringExpressionImpl` above, but with the LiteralOrValueGetter.
+template <size_t N, typename Function,
+          typename... AdditionalNonStringValueGetters>
+class LiteralExpressionImpl : public SparqlExpression {
+ private:
+  using ExpressionWithStr = NARY<
+      N, FV<Function, LiteralValueGetter, AdditionalNonStringValueGetters...>>;
+  using ExpressionWithoutStr =
+      NARY<N, FV<Function, LiteralValueGetterWithXsdStringFilter,
+                 AdditionalNonStringValueGetters...>>;
+
+  SparqlExpression::Ptr impl_;
+
+ public:
+  explicit LiteralExpressionImpl(
+      SparqlExpression::Ptr child,
+      std::same_as<SparqlExpression::Ptr> auto... children)
+      requires(sizeof...(children) + 1 == N) {
+    AD_CORRECTNESS_CHECK(child != nullptr);
+    if (child->isStrExpression()) {
+      auto childrenOfStr = std::move(*child).moveChildrenOut();
+      AD_CORRECTNESS_CHECK(childrenOfStr.size() == 1);
+      impl_ = std::make_unique<ExpressionWithStr>(
+          std::move(childrenOfStr.at(0)), std::move(children)...);
+    } else {
+      impl_ = std::make_unique<ExpressionWithoutStr>(std::move(child),
+                                                     std::move(children)...);
+    }
+  }
+
+  ExpressionResult evaluate(EvaluationContext* context) const override {
+    return impl_->evaluate(context);
+  }
+  std::string getCacheKey(const VariableToColumnMap& varColMap) const override {
+    return impl_->getCacheKey(varColMap);
+  }
+
+ private:
+  std::span<SparqlExpression::Ptr> childrenImpl() override {
+    return impl_->children();
+  }
+};
+
 // Lift a `Function` that takes one or multiple `std::string`s (possibly via
 // references) and returns an `Id` or `std::string` to a function that takes the
 // same number of `std::optional<std::string>` and returns `Id` or
@@ -201,8 +244,9 @@ class SubstrImpl {
   };
 
  public:
-  IdOrLiteralOrIri operator()(std::optional<LiteralOrIri> s, NumericValue start,
-                              NumericValue length) const {
+  IdOrLiteralOrIri operator()(
+      std::optional<ad_utility::triple_component::Literal> s,
+      NumericValue start, NumericValue length) const {
     if (!s.has_value() || std::holds_alternative<NotNumeric>(start) ||
         std::holds_alternative<NotNumeric>(length)) {
       return Id::makeUndefined();
@@ -243,60 +287,14 @@ class SubstrImpl {
     std::size_t endByteOffset = utf8ToByteOffset(str, startInt + lengthInt);
     std::size_t byteLength = endByteOffset - startByteOffset;
 
-    s.value().getLiteral().setSubstr(startByteOffset, byteLength);
-    return std::move(s.value());
-  }
-};
-
-// Implementation of the `SUBSTR` SPARQL function. It dynamically
-// selects the appropriate value getter for the first argument based on whether
-// it is a `STR()` expression (using
-// `LiteralOrIriValueGetterWithXsdStringFilter`) or another type (using
-// `LiteralOrIriValueGetter`).
-class SubstrExpressionImpl : public SparqlExpression {
- private:
-  using ExpressionWithStr =
-      NARY<3, FV<SubstrImpl, LiteralOrIriValueGetterWithXsdStringFilter,
-                 NumericValueGetter, NumericValueGetter>>;
-  using ExpressionWithoutStr =
-      NARY<3, FV<SubstrImpl, LiteralOrIriValueGetter, NumericValueGetter,
-                 NumericValueGetter>>;
-
-  SparqlExpression::Ptr impl_;
-
- public:
-  explicit SubstrExpressionImpl(
-      SparqlExpression::Ptr child,
-      std::same_as<SparqlExpression::Ptr> auto... children)
-      requires(sizeof...(children) + 1 == 3) {
-    AD_CORRECTNESS_CHECK(child != nullptr);
-
-    if (child->isStrExpression()) {
-      auto childrenOfStr = std::move(*child).moveChildrenOut();
-      AD_CORRECTNESS_CHECK(childrenOfStr.size() == 1);
-      impl_ = std::make_unique<ExpressionWithStr>(
-          std::move(childrenOfStr.at(0)), std::move(children)...);
-    } else {
-      impl_ = std::make_unique<ExpressionWithoutStr>(std::move(child),
-                                                     std::move(children)...);
-    }
-  }
-
-  ExpressionResult evaluate(EvaluationContext* context) const override {
-    return impl_->evaluate(context);
-  }
-
-  std::string getCacheKey(const VariableToColumnMap& varColMap) const override {
-    return impl_->getCacheKey(varColMap);
-  }
-
- private:
-  std::span<SparqlExpression::Ptr> childrenImpl() override {
-    return impl_->children();
+    s.value().setSubstr(startByteOffset, byteLength);
+    return std::move(LiteralOrIri(s.value()));
   }
 };
 
-using SubstrExpression = SubstrExpressionImpl;
+using SubstrExpression =
+    LiteralExpressionImpl<3, SubstrImpl, NumericValueGetter,
+                          NumericValueGetter>;
 
 // STRSTARTS
 [[maybe_unused]] auto strStartsImpl = [](std::string_view text,

diff --git a/test/ExportQueryExecutionTreesTest.cpp b/test/ExportQueryExecutionTreesTest.cpp
@@ -1649,10 +1649,10 @@ TEST(ExportQueryExecutionTrees, idToLiteralOrIriFunctionality) {
   auto callIdToLiteralOrIri = [&](Id id, bool onlyLiterals,
                                   bool onlyLiteralsWithXsdString = false) {
     if (onlyLiterals) {
-      return ExportQueryExecutionTrees::idToLiteralOrIri<true>(
+      return ExportQueryExecutionTrees::idToLiteral<true>(
           qec->getIndex(), id, LocalVocab{}, onlyLiteralsWithXsdString);
     } else {
-      return ExportQueryExecutionTrees::idToLiteralOrIri<false>(
+      return ExportQueryExecutionTrees::idToLiteral<false>(
           qec->getIndex(), id, LocalVocab{}, onlyLiteralsWithXsdString);
     }
   };