xref: /openbmc/bmcweb/features/redfish/include/utils/query_param.hpp (revision 4da0490bc07a458ad3fc7d586c7eabf6053c572f)
1f4c99e70SEd Tanous #pragma once
2d5c80ad9SNan Zhou #include "bmcweb_config.h"
3d5c80ad9SNan Zhou 
4f4c99e70SEd Tanous #include "app.hpp"
5f4c99e70SEd Tanous #include "async_resp.hpp"
6f4c99e70SEd Tanous #include "error_messages.hpp"
7f4c99e70SEd Tanous #include "http_request.hpp"
802cad96eSEd Tanous #include "http_response.hpp"
9d5c80ad9SNan Zhou #include "logging.hpp"
1050ebd4afSEd Tanous #include "str_utility.hpp"
11f4c99e70SEd Tanous 
12d5c80ad9SNan Zhou #include <sys/types.h>
13d5c80ad9SNan Zhou 
14d5c80ad9SNan Zhou #include <boost/beast/http/message.hpp> // IWYU pragma: keep
15d5c80ad9SNan Zhou #include <boost/beast/http/status.hpp>
16d5c80ad9SNan Zhou #include <boost/beast/http/verb.hpp>
17d5c80ad9SNan Zhou #include <boost/url/params_view.hpp>
18d5c80ad9SNan Zhou #include <nlohmann/json.hpp>
19d5c80ad9SNan Zhou 
20d5c80ad9SNan Zhou #include <algorithm>
21e155ab54SNan Zhou #include <array>
22e155ab54SNan Zhou #include <cctype>
237cf436c9SEd Tanous #include <charconv>
24827c4902SNan Zhou #include <compare>
25d5c80ad9SNan Zhou #include <cstdint>
26d5c80ad9SNan Zhou #include <functional>
27e155ab54SNan Zhou #include <iterator>
28d5c80ad9SNan Zhou #include <limits>
29d5c80ad9SNan Zhou #include <map>
30d5c80ad9SNan Zhou #include <memory>
31d5c80ad9SNan Zhou #include <optional>
323544d2a7SEd Tanous #include <ranges>
33f4c99e70SEd Tanous #include <string>
34f4c99e70SEd Tanous #include <string_view>
35d5c80ad9SNan Zhou #include <system_error>
367cf436c9SEd Tanous #include <utility>
37f4c99e70SEd Tanous #include <vector>
38f4c99e70SEd Tanous 
39d5c80ad9SNan Zhou // IWYU pragma: no_include <boost/url/impl/params_view.hpp>
40d5c80ad9SNan Zhou // IWYU pragma: no_include <boost/beast/http/impl/message.hpp>
41d5c80ad9SNan Zhou // IWYU pragma: no_include <boost/intrusive/detail/list_iterator.hpp>
42e155ab54SNan Zhou // IWYU pragma: no_include <boost/algorithm/string/detail/classification.hpp>
43e155ab54SNan Zhou // IWYU pragma: no_include <boost/iterator/iterator_facade.hpp>
44e155ab54SNan Zhou // IWYU pragma: no_include <boost/type_index/type_index_facade.hpp>
45d5c80ad9SNan Zhou // IWYU pragma: no_include <stdint.h>
46d5c80ad9SNan Zhou 
47f4c99e70SEd Tanous namespace redfish
48f4c99e70SEd Tanous {
49f4c99e70SEd Tanous namespace query_param
50f4c99e70SEd Tanous {
51f4c99e70SEd Tanous 
527cf436c9SEd Tanous enum class ExpandType : uint8_t
537cf436c9SEd Tanous {
547cf436c9SEd Tanous     None,
557cf436c9SEd Tanous     Links,
567cf436c9SEd Tanous     NotLinks,
577cf436c9SEd Tanous     Both,
587cf436c9SEd Tanous };
597cf436c9SEd Tanous 
60827c4902SNan Zhou // A simple implementation of Trie to help |recursiveSelect|.
61827c4902SNan Zhou class SelectTrieNode
62827c4902SNan Zhou {
63827c4902SNan Zhou   public:
64827c4902SNan Zhou     SelectTrieNode() = default;
65827c4902SNan Zhou 
66827c4902SNan Zhou     const SelectTrieNode* find(const std::string& jsonKey) const
67827c4902SNan Zhou     {
68827c4902SNan Zhou         auto it = children.find(jsonKey);
69827c4902SNan Zhou         if (it == children.end())
70827c4902SNan Zhou         {
71827c4902SNan Zhou             return nullptr;
72827c4902SNan Zhou         }
73827c4902SNan Zhou         return &it->second;
74827c4902SNan Zhou     }
75827c4902SNan Zhou 
76827c4902SNan Zhou     // Creates a new node if the key doesn't exist, returns the reference to the
77827c4902SNan Zhou     // newly created node; otherwise, return the reference to the existing node
78827c4902SNan Zhou     SelectTrieNode* emplace(std::string_view jsonKey)
79827c4902SNan Zhou     {
80827c4902SNan Zhou         auto [it, _] = children.emplace(jsonKey, SelectTrieNode{});
81827c4902SNan Zhou         return &it->second;
82827c4902SNan Zhou     }
83827c4902SNan Zhou 
84827c4902SNan Zhou     bool empty() const
85827c4902SNan Zhou     {
86827c4902SNan Zhou         return children.empty();
87827c4902SNan Zhou     }
88827c4902SNan Zhou 
89827c4902SNan Zhou     void clear()
90827c4902SNan Zhou     {
91827c4902SNan Zhou         children.clear();
92827c4902SNan Zhou     }
93827c4902SNan Zhou 
94827c4902SNan Zhou     void setToSelected()
95827c4902SNan Zhou     {
96827c4902SNan Zhou         selected = true;
97827c4902SNan Zhou     }
98827c4902SNan Zhou 
99827c4902SNan Zhou     bool isSelected() const
100827c4902SNan Zhou     {
101827c4902SNan Zhou         return selected;
102827c4902SNan Zhou     }
103827c4902SNan Zhou 
104827c4902SNan Zhou   private:
105827c4902SNan Zhou     std::map<std::string, SelectTrieNode, std::less<>> children;
106827c4902SNan Zhou     bool selected = false;
107827c4902SNan Zhou };
108827c4902SNan Zhou 
109827c4902SNan Zhou // Validates the property in the $select parameter. Every character is among
110827c4902SNan Zhou // [a-zA-Z0-9#@_.] (taken from Redfish spec, section 9.6 Properties)
111827c4902SNan Zhou inline bool isSelectedPropertyAllowed(std::string_view property)
112827c4902SNan Zhou {
113827c4902SNan Zhou     // These a magic number, but with it it's less likely that this code
114827c4902SNan Zhou     // introduces CVE; e.g., too large properties crash the service.
115827c4902SNan Zhou     constexpr int maxPropertyLength = 60;
116827c4902SNan Zhou     if (property.empty() || property.size() > maxPropertyLength)
117827c4902SNan Zhou     {
118827c4902SNan Zhou         return false;
119827c4902SNan Zhou     }
120827c4902SNan Zhou     for (char ch : property)
121827c4902SNan Zhou     {
122827c4902SNan Zhou         if (std::isalnum(static_cast<unsigned char>(ch)) == 0 && ch != '#' &&
123827c4902SNan Zhou             ch != '@' && ch != '.')
124827c4902SNan Zhou         {
125827c4902SNan Zhou             return false;
126827c4902SNan Zhou         }
127827c4902SNan Zhou     }
128827c4902SNan Zhou     return true;
129827c4902SNan Zhou }
130827c4902SNan Zhou 
131827c4902SNan Zhou struct SelectTrie
132827c4902SNan Zhou {
133827c4902SNan Zhou     SelectTrie() = default;
134827c4902SNan Zhou 
135827c4902SNan Zhou     // Inserts a $select value; returns false if the nestedProperty is illegal.
136827c4902SNan Zhou     bool insertNode(std::string_view nestedProperty)
137827c4902SNan Zhou     {
138827c4902SNan Zhou         if (nestedProperty.empty())
139827c4902SNan Zhou         {
140827c4902SNan Zhou             return false;
141827c4902SNan Zhou         }
142827c4902SNan Zhou         SelectTrieNode* currNode = &root;
143827c4902SNan Zhou         size_t index = nestedProperty.find_first_of('/');
144827c4902SNan Zhou         while (!nestedProperty.empty())
145827c4902SNan Zhou         {
146827c4902SNan Zhou             std::string_view property = nestedProperty.substr(0, index);
147827c4902SNan Zhou             if (!isSelectedPropertyAllowed(property))
148827c4902SNan Zhou             {
149827c4902SNan Zhou                 return false;
150827c4902SNan Zhou             }
151827c4902SNan Zhou             currNode = currNode->emplace(property);
152827c4902SNan Zhou             if (index == std::string::npos)
153827c4902SNan Zhou             {
154827c4902SNan Zhou                 break;
155827c4902SNan Zhou             }
156827c4902SNan Zhou             nestedProperty.remove_prefix(index + 1);
157827c4902SNan Zhou             index = nestedProperty.find_first_of('/');
158827c4902SNan Zhou         }
159827c4902SNan Zhou         currNode->setToSelected();
160827c4902SNan Zhou         return true;
161827c4902SNan Zhou     }
162827c4902SNan Zhou 
163827c4902SNan Zhou     SelectTrieNode root;
164827c4902SNan Zhou };
165827c4902SNan Zhou 
166a6b9125fSNan Zhou // The struct stores the parsed query parameters of the default Redfish route.
167f4c99e70SEd Tanous struct Query
168f4c99e70SEd Tanous {
169a6b9125fSNan Zhou     // Only
170f4c99e70SEd Tanous     bool isOnly = false;
171a6b9125fSNan Zhou     // Expand
172a6b9125fSNan Zhou     uint8_t expandLevel = 0;
1737cf436c9SEd Tanous     ExpandType expandType = ExpandType::None;
174c937d2bfSEd Tanous 
175c937d2bfSEd Tanous     // Skip
1763648c8beSEd Tanous     std::optional<size_t> skip = std::nullopt;
177c937d2bfSEd Tanous 
178c937d2bfSEd Tanous     // Top
1795143f7a5SJiaqing Zhao     static constexpr size_t maxTop = 1000; // Max entries a response contain
1803648c8beSEd Tanous     std::optional<size_t> top = std::nullopt;
181e155ab54SNan Zhou 
182e155ab54SNan Zhou     // Select
18347f2934cSEd Tanous     // Unclear how to make this use structured initialization without this.
18447f2934cSEd Tanous     // Might be a tidy bug?  Ignore for now
18547f2934cSEd Tanous     // NOLINTNEXTLINE(readability-redundant-member-init)
18647f2934cSEd Tanous     SelectTrie selectTrie{};
187f4c99e70SEd Tanous };
188f4c99e70SEd Tanous 
189a6b9125fSNan Zhou // The struct defines how resource handlers in redfish-core/lib/ can handle
190a6b9125fSNan Zhou // query parameters themselves, so that the default Redfish route will delegate
191a6b9125fSNan Zhou // the processing.
192a6b9125fSNan Zhou struct QueryCapabilities
193a6b9125fSNan Zhou {
194a6b9125fSNan Zhou     bool canDelegateOnly = false;
195c937d2bfSEd Tanous     bool canDelegateTop = false;
196c937d2bfSEd Tanous     bool canDelegateSkip = false;
197a6b9125fSNan Zhou     uint8_t canDelegateExpandLevel = 0;
198e155ab54SNan Zhou     bool canDelegateSelect = false;
199a6b9125fSNan Zhou };
200a6b9125fSNan Zhou 
201a6b9125fSNan Zhou // Delegates query parameters according to the given |queryCapabilities|
202a6b9125fSNan Zhou // This function doesn't check query parameter conflicts since the parse
203a6b9125fSNan Zhou // function will take care of it.
204a6b9125fSNan Zhou // Returns a delegated query object which can be used by individual resource
205a6b9125fSNan Zhou // handlers so that handlers don't need to query again.
206a6b9125fSNan Zhou inline Query delegate(const QueryCapabilities& queryCapabilities, Query& query)
207a6b9125fSNan Zhou {
208a6b9125fSNan Zhou     Query delegated;
209a6b9125fSNan Zhou     // delegate only
210a6b9125fSNan Zhou     if (query.isOnly && queryCapabilities.canDelegateOnly)
211a6b9125fSNan Zhou     {
212a6b9125fSNan Zhou         delegated.isOnly = true;
213a6b9125fSNan Zhou         query.isOnly = false;
214a6b9125fSNan Zhou     }
215a6b9125fSNan Zhou     // delegate expand as much as we can
216a6b9125fSNan Zhou     if (query.expandType != ExpandType::None)
217a6b9125fSNan Zhou     {
218a6b9125fSNan Zhou         delegated.expandType = query.expandType;
219a6b9125fSNan Zhou         if (query.expandLevel <= queryCapabilities.canDelegateExpandLevel)
220a6b9125fSNan Zhou         {
221a6b9125fSNan Zhou             query.expandType = ExpandType::None;
222a6b9125fSNan Zhou             delegated.expandLevel = query.expandLevel;
223a6b9125fSNan Zhou             query.expandLevel = 0;
224a6b9125fSNan Zhou         }
225a6b9125fSNan Zhou         else
226a6b9125fSNan Zhou         {
227a6b9125fSNan Zhou             delegated.expandLevel = queryCapabilities.canDelegateExpandLevel;
228a6b9125fSNan Zhou         }
229a6b9125fSNan Zhou     }
230c937d2bfSEd Tanous 
231c937d2bfSEd Tanous     // delegate top
2323648c8beSEd Tanous     if (query.top && queryCapabilities.canDelegateTop)
233c937d2bfSEd Tanous     {
234c937d2bfSEd Tanous         delegated.top = query.top;
2353648c8beSEd Tanous         query.top = std::nullopt;
236c937d2bfSEd Tanous     }
237c937d2bfSEd Tanous 
238c937d2bfSEd Tanous     // delegate skip
2393648c8beSEd Tanous     if (query.skip && queryCapabilities.canDelegateSkip)
240c937d2bfSEd Tanous     {
241c937d2bfSEd Tanous         delegated.skip = query.skip;
242c937d2bfSEd Tanous         query.skip = 0;
243c937d2bfSEd Tanous     }
244e155ab54SNan Zhou 
245e155ab54SNan Zhou     // delegate select
246827c4902SNan Zhou     if (!query.selectTrie.root.empty() && queryCapabilities.canDelegateSelect)
247e155ab54SNan Zhou     {
248827c4902SNan Zhou         delegated.selectTrie = std::move(query.selectTrie);
249827c4902SNan Zhou         query.selectTrie.root.clear();
250e155ab54SNan Zhou     }
251a6b9125fSNan Zhou     return delegated;
252a6b9125fSNan Zhou }
253a6b9125fSNan Zhou 
2547cf436c9SEd Tanous inline bool getExpandType(std::string_view value, Query& query)
2557cf436c9SEd Tanous {
2567cf436c9SEd Tanous     if (value.empty())
2577cf436c9SEd Tanous     {
2587cf436c9SEd Tanous         return false;
2597cf436c9SEd Tanous     }
2607cf436c9SEd Tanous     switch (value[0])
2617cf436c9SEd Tanous     {
2627cf436c9SEd Tanous         case '*':
2637cf436c9SEd Tanous             query.expandType = ExpandType::Both;
2647cf436c9SEd Tanous             break;
2657cf436c9SEd Tanous         case '.':
2667cf436c9SEd Tanous             query.expandType = ExpandType::NotLinks;
2677cf436c9SEd Tanous             break;
2687cf436c9SEd Tanous         case '~':
2697cf436c9SEd Tanous             query.expandType = ExpandType::Links;
2707cf436c9SEd Tanous             break;
2717cf436c9SEd Tanous         default:
2727cf436c9SEd Tanous             return false;
2737cf436c9SEd Tanous     }
2747cf436c9SEd Tanous     value.remove_prefix(1);
2757cf436c9SEd Tanous     if (value.empty())
2767cf436c9SEd Tanous     {
2777cf436c9SEd Tanous         query.expandLevel = 1;
2787cf436c9SEd Tanous         return true;
2797cf436c9SEd Tanous     }
2807cf436c9SEd Tanous     constexpr std::string_view levels = "($levels=";
2817cf436c9SEd Tanous     if (!value.starts_with(levels))
2827cf436c9SEd Tanous     {
2837cf436c9SEd Tanous         return false;
2847cf436c9SEd Tanous     }
2857cf436c9SEd Tanous     value.remove_prefix(levels.size());
2867cf436c9SEd Tanous 
2872bd4ab43SPatrick Williams     auto it = std::from_chars(value.begin(), value.end(), query.expandLevel);
2887cf436c9SEd Tanous     if (it.ec != std::errc())
2897cf436c9SEd Tanous     {
2907cf436c9SEd Tanous         return false;
2917cf436c9SEd Tanous     }
2922bd4ab43SPatrick Williams     value.remove_prefix(
2932bd4ab43SPatrick Williams         static_cast<size_t>(std::distance(value.begin(), it.ptr)));
2947cf436c9SEd Tanous     return value == ")";
2957cf436c9SEd Tanous }
2967cf436c9SEd Tanous 
297c937d2bfSEd Tanous enum class QueryError
298c937d2bfSEd Tanous {
299c937d2bfSEd Tanous     Ok,
300c937d2bfSEd Tanous     OutOfRange,
301c937d2bfSEd Tanous     ValueFormat,
302c937d2bfSEd Tanous };
303c937d2bfSEd Tanous 
304c937d2bfSEd Tanous inline QueryError getNumericParam(std::string_view value, size_t& param)
305c937d2bfSEd Tanous {
3062bd4ab43SPatrick Williams     std::from_chars_result r = std::from_chars(value.begin(), value.end(),
3072bd4ab43SPatrick Williams                                                param);
308c937d2bfSEd Tanous 
309c937d2bfSEd Tanous     // If the number wasn't representable in the type, it's out of range
310c937d2bfSEd Tanous     if (r.ec == std::errc::result_out_of_range)
311c937d2bfSEd Tanous     {
312c937d2bfSEd Tanous         return QueryError::OutOfRange;
313c937d2bfSEd Tanous     }
314c937d2bfSEd Tanous     // All other errors are value format
315c937d2bfSEd Tanous     if (r.ec != std::errc())
316c937d2bfSEd Tanous     {
317c937d2bfSEd Tanous         return QueryError::ValueFormat;
318c937d2bfSEd Tanous     }
319c937d2bfSEd Tanous     return QueryError::Ok;
320c937d2bfSEd Tanous }
321c937d2bfSEd Tanous 
322c937d2bfSEd Tanous inline QueryError getSkipParam(std::string_view value, Query& query)
323c937d2bfSEd Tanous {
3243648c8beSEd Tanous     return getNumericParam(value, query.skip.emplace());
325c937d2bfSEd Tanous }
326c937d2bfSEd Tanous 
327c937d2bfSEd Tanous inline QueryError getTopParam(std::string_view value, Query& query)
328c937d2bfSEd Tanous {
3293648c8beSEd Tanous     QueryError ret = getNumericParam(value, query.top.emplace());
330c937d2bfSEd Tanous     if (ret != QueryError::Ok)
331c937d2bfSEd Tanous     {
332c937d2bfSEd Tanous         return ret;
333c937d2bfSEd Tanous     }
334c937d2bfSEd Tanous 
335c937d2bfSEd Tanous     // Range check for sanity.
3365143f7a5SJiaqing Zhao     if (query.top > Query::maxTop)
337c937d2bfSEd Tanous     {
338c937d2bfSEd Tanous         return QueryError::OutOfRange;
339c937d2bfSEd Tanous     }
340c937d2bfSEd Tanous 
341c937d2bfSEd Tanous     return QueryError::Ok;
342c937d2bfSEd Tanous }
343c937d2bfSEd Tanous 
344e155ab54SNan Zhou // Parses and validates the $select parameter.
345e155ab54SNan Zhou // As per OData URL Conventions and Redfish Spec, the $select values shall be
346e155ab54SNan Zhou // comma separated Resource Path
347e155ab54SNan Zhou // Ref:
348e155ab54SNan Zhou // 1. https://datatracker.ietf.org/doc/html/rfc3986#section-3.3
349e155ab54SNan Zhou // 2.
350e155ab54SNan Zhou // https://docs.oasis-open.org/odata/odata/v4.01/os/abnf/odata-abnf-construction-rules.txt
351e155ab54SNan Zhou inline bool getSelectParam(std::string_view value, Query& query)
352e155ab54SNan Zhou {
353e155ab54SNan Zhou     std::vector<std::string> properties;
35450ebd4afSEd Tanous     bmcweb::split(properties, value, ',');
355e155ab54SNan Zhou     if (properties.empty())
356e155ab54SNan Zhou     {
357e155ab54SNan Zhou         return false;
358e155ab54SNan Zhou     }
359e155ab54SNan Zhou     // These a magic number, but with it it's less likely that this code
360e155ab54SNan Zhou     // introduces CVE; e.g., too large properties crash the service.
361e155ab54SNan Zhou     constexpr int maxNumProperties = 10;
362e155ab54SNan Zhou     if (properties.size() > maxNumProperties)
363e155ab54SNan Zhou     {
364e155ab54SNan Zhou         return false;
365e155ab54SNan Zhou     }
366827c4902SNan Zhou     for (const auto& property : properties)
367e155ab54SNan Zhou     {
368827c4902SNan Zhou         if (!query.selectTrie.insertNode(property))
369e155ab54SNan Zhou         {
370e155ab54SNan Zhou             return false;
371e155ab54SNan Zhou         }
372e155ab54SNan Zhou     }
373e155ab54SNan Zhou     return true;
374e155ab54SNan Zhou }
375e155ab54SNan Zhou 
376079360aeSEd Tanous inline std::optional<Query> parseParameters(boost::urls::params_view urlParams,
377f4c99e70SEd Tanous                                             crow::Response& res)
378f4c99e70SEd Tanous {
379f4c99e70SEd Tanous     Query ret;
380f4c99e70SEd Tanous     for (const boost::urls::params_view::value_type& it : urlParams)
381f4c99e70SEd Tanous     {
382079360aeSEd Tanous         if (it.key == "only")
383f4c99e70SEd Tanous         {
384f4c99e70SEd Tanous             if (!it.value.empty())
385f4c99e70SEd Tanous             {
386079360aeSEd Tanous                 messages::queryParameterValueFormatError(res, it.value, it.key);
387f4c99e70SEd Tanous                 return std::nullopt;
388f4c99e70SEd Tanous             }
389f4c99e70SEd Tanous             ret.isOnly = true;
390f4c99e70SEd Tanous         }
391079360aeSEd Tanous         else if (it.key == "$expand" && bmcwebInsecureEnableQueryParams)
3927cf436c9SEd Tanous         {
393079360aeSEd Tanous             if (!getExpandType(it.value, ret))
3947cf436c9SEd Tanous             {
395079360aeSEd Tanous                 messages::queryParameterValueFormatError(res, it.value, it.key);
3967cf436c9SEd Tanous                 return std::nullopt;
397f4c99e70SEd Tanous             }
3987cf436c9SEd Tanous         }
399079360aeSEd Tanous         else if (it.key == "$top")
400c937d2bfSEd Tanous         {
401079360aeSEd Tanous             QueryError topRet = getTopParam(it.value, ret);
402c937d2bfSEd Tanous             if (topRet == QueryError::ValueFormat)
403c937d2bfSEd Tanous             {
404079360aeSEd Tanous                 messages::queryParameterValueFormatError(res, it.value, it.key);
405c937d2bfSEd Tanous                 return std::nullopt;
406c937d2bfSEd Tanous             }
407c937d2bfSEd Tanous             if (topRet == QueryError::OutOfRange)
408c937d2bfSEd Tanous             {
409c937d2bfSEd Tanous                 messages::queryParameterOutOfRange(
410079360aeSEd Tanous                     res, it.value, "$top",
411079360aeSEd Tanous                     "0-" + std::to_string(Query::maxTop));
412c937d2bfSEd Tanous                 return std::nullopt;
413c937d2bfSEd Tanous             }
414c937d2bfSEd Tanous         }
415079360aeSEd Tanous         else if (it.key == "$skip")
416c937d2bfSEd Tanous         {
417079360aeSEd Tanous             QueryError topRet = getSkipParam(it.value, ret);
418c937d2bfSEd Tanous             if (topRet == QueryError::ValueFormat)
419c937d2bfSEd Tanous             {
420079360aeSEd Tanous                 messages::queryParameterValueFormatError(res, it.value, it.key);
421c937d2bfSEd Tanous                 return std::nullopt;
422c937d2bfSEd Tanous             }
423c937d2bfSEd Tanous             if (topRet == QueryError::OutOfRange)
424c937d2bfSEd Tanous             {
425c937d2bfSEd Tanous                 messages::queryParameterOutOfRange(
426079360aeSEd Tanous                     res, it.value, it.key,
427a926c53eSJiaqing Zhao                     "0-" + std::to_string(std::numeric_limits<size_t>::max()));
428c937d2bfSEd Tanous                 return std::nullopt;
429c937d2bfSEd Tanous             }
430c937d2bfSEd Tanous         }
431079360aeSEd Tanous         else if (it.key == "$select")
432e155ab54SNan Zhou         {
433079360aeSEd Tanous             if (!getSelectParam(it.value, ret))
434e155ab54SNan Zhou             {
435079360aeSEd Tanous                 messages::queryParameterValueFormatError(res, it.value, it.key);
436e155ab54SNan Zhou                 return std::nullopt;
437e155ab54SNan Zhou             }
438e155ab54SNan Zhou         }
4397cf436c9SEd Tanous         else
4407cf436c9SEd Tanous         {
4417cf436c9SEd Tanous             // Intentionally ignore other errors Redfish spec, 7.3.1
442079360aeSEd Tanous             if (it.key.starts_with("$"))
4437cf436c9SEd Tanous             {
4447cf436c9SEd Tanous                 // Services shall return... The HTTP 501 Not Implemented
4457cf436c9SEd Tanous                 // status code for any unsupported query parameters that
4467cf436c9SEd Tanous                 // start with $ .
447079360aeSEd Tanous                 messages::queryParameterValueFormatError(res, it.value, it.key);
4487cf436c9SEd Tanous                 res.result(boost::beast::http::status::not_implemented);
4497cf436c9SEd Tanous                 return std::nullopt;
4507cf436c9SEd Tanous             }
4517cf436c9SEd Tanous             // "Shall ignore unknown or unsupported query parameters that do
4527cf436c9SEd Tanous             // not begin with $ ."
4537cf436c9SEd Tanous         }
4547cf436c9SEd Tanous     }
4557cf436c9SEd Tanous 
456827c4902SNan Zhou     if (ret.expandType != ExpandType::None && !ret.selectTrie.root.empty())
457e155ab54SNan Zhou     {
458e155ab54SNan Zhou         messages::queryCombinationInvalid(res);
459e155ab54SNan Zhou         return std::nullopt;
460e155ab54SNan Zhou     }
461e155ab54SNan Zhou 
462f4c99e70SEd Tanous     return ret;
463f4c99e70SEd Tanous }
464f4c99e70SEd Tanous 
465f4c99e70SEd Tanous inline bool processOnly(crow::App& app, crow::Response& res,
466f4c99e70SEd Tanous                         std::function<void(crow::Response&)>& completionHandler)
467f4c99e70SEd Tanous {
46862598e31SEd Tanous     BMCWEB_LOG_DEBUG("Processing only query param");
469f4c99e70SEd Tanous     auto itMembers = res.jsonValue.find("Members");
470f4c99e70SEd Tanous     if (itMembers == res.jsonValue.end())
471f4c99e70SEd Tanous     {
472f4c99e70SEd Tanous         messages::queryNotSupportedOnResource(res);
473f4c99e70SEd Tanous         completionHandler(res);
474f4c99e70SEd Tanous         return false;
475f4c99e70SEd Tanous     }
476f4c99e70SEd Tanous     auto itMemBegin = itMembers->begin();
477f4c99e70SEd Tanous     if (itMemBegin == itMembers->end() || itMembers->size() != 1)
478f4c99e70SEd Tanous     {
47962598e31SEd Tanous         BMCWEB_LOG_DEBUG(
48062598e31SEd Tanous             "Members contains {} element, returning full collection.",
48162598e31SEd Tanous             itMembers->size());
482f4c99e70SEd Tanous         completionHandler(res);
483f4c99e70SEd Tanous         return false;
484f4c99e70SEd Tanous     }
485f4c99e70SEd Tanous 
486f4c99e70SEd Tanous     auto itUrl = itMemBegin->find("@odata.id");
487f4c99e70SEd Tanous     if (itUrl == itMemBegin->end())
488f4c99e70SEd Tanous     {
48962598e31SEd Tanous         BMCWEB_LOG_DEBUG("No found odata.id");
490f4c99e70SEd Tanous         messages::internalError(res);
491f4c99e70SEd Tanous         completionHandler(res);
492f4c99e70SEd Tanous         return false;
493f4c99e70SEd Tanous     }
494f4c99e70SEd Tanous     const std::string* url = itUrl->get_ptr<const std::string*>();
495f4c99e70SEd Tanous     if (url == nullptr)
496f4c99e70SEd Tanous     {
49762598e31SEd Tanous         BMCWEB_LOG_DEBUG("@odata.id wasn't a string????");
498f4c99e70SEd Tanous         messages::internalError(res);
499f4c99e70SEd Tanous         completionHandler(res);
500f4c99e70SEd Tanous         return false;
501f4c99e70SEd Tanous     }
502f4c99e70SEd Tanous     // TODO(Ed) copy request headers?
503f4c99e70SEd Tanous     // newReq.session = req.session;
504f4c99e70SEd Tanous     std::error_code ec;
505f4c99e70SEd Tanous     crow::Request newReq({boost::beast::http::verb::get, *url, 11}, ec);
506f4c99e70SEd Tanous     if (ec)
507f4c99e70SEd Tanous     {
508f4c99e70SEd Tanous         messages::internalError(res);
509f4c99e70SEd Tanous         completionHandler(res);
510f4c99e70SEd Tanous         return false;
511f4c99e70SEd Tanous     }
512f4c99e70SEd Tanous 
513f4c99e70SEd Tanous     auto asyncResp = std::make_shared<bmcweb::AsyncResp>();
51462598e31SEd Tanous     BMCWEB_LOG_DEBUG("setting completion handler on {}",
51562598e31SEd Tanous                      logPtr(&asyncResp->res));
516f4c99e70SEd Tanous     asyncResp->res.setCompleteRequestHandler(std::move(completionHandler));
517f4c99e70SEd Tanous     app.handle(newReq, asyncResp);
518f4c99e70SEd Tanous     return true;
519f4c99e70SEd Tanous }
520f4c99e70SEd Tanous 
5217cf436c9SEd Tanous struct ExpandNode
5227cf436c9SEd Tanous {
5237cf436c9SEd Tanous     nlohmann::json::json_pointer location;
5247cf436c9SEd Tanous     std::string uri;
5257cf436c9SEd Tanous 
5267cf436c9SEd Tanous     inline bool operator==(const ExpandNode& other) const
5277cf436c9SEd Tanous     {
5287cf436c9SEd Tanous         return location == other.location && uri == other.uri;
5297cf436c9SEd Tanous     }
5307cf436c9SEd Tanous };
5317cf436c9SEd Tanous 
53287788abfSEd Tanous inline void findNavigationReferencesInArrayRecursive(
533c59e338cSEd Tanous     ExpandType eType, nlohmann::json::array_t& array,
53437b1f7beSEd Tanous     const nlohmann::json::json_pointer& jsonPtr, int depth, int skipDepth,
53587788abfSEd Tanous     bool inLinks, std::vector<ExpandNode>& out);
53687788abfSEd Tanous 
53787788abfSEd Tanous inline void findNavigationReferencesInObjectRecursive(
538c59e338cSEd Tanous     ExpandType eType, nlohmann::json::object_t& obj,
53937b1f7beSEd Tanous     const nlohmann::json::json_pointer& jsonPtr, int depth, int skipDepth,
54087788abfSEd Tanous     bool inLinks, std::vector<ExpandNode>& out);
54187788abfSEd Tanous 
5427cf436c9SEd Tanous // Walks a json object looking for Redfish NavigationReference entries that
5437cf436c9SEd Tanous // might need resolved.  It recursively walks the jsonResponse object, looking
5447cf436c9SEd Tanous // for links at every level, and returns a list (out) of locations within the
5457cf436c9SEd Tanous // tree that need to be expanded.  The current json pointer location p is passed
5467cf436c9SEd Tanous // in to reference the current node that's being expanded, so it can be combined
5477cf436c9SEd Tanous // with the keys from the jsonResponse object
5487cf436c9SEd Tanous inline void findNavigationReferencesRecursive(
5497cf436c9SEd Tanous     ExpandType eType, nlohmann::json& jsonResponse,
55037b1f7beSEd Tanous     const nlohmann::json::json_pointer& jsonPtr, int depth, int skipDepth,
55132cdb4a7SWilly Tu     bool inLinks, std::vector<ExpandNode>& out)
5527cf436c9SEd Tanous {
5537cf436c9SEd Tanous     // If no expand is needed, return early
5547cf436c9SEd Tanous     if (eType == ExpandType::None)
5557cf436c9SEd Tanous     {
5567cf436c9SEd Tanous         return;
5577cf436c9SEd Tanous     }
558ad595fa6SEd Tanous 
5597cf436c9SEd Tanous     nlohmann::json::array_t* array =
5607cf436c9SEd Tanous         jsonResponse.get_ptr<nlohmann::json::array_t*>();
5617cf436c9SEd Tanous     if (array != nullptr)
5627cf436c9SEd Tanous     {
56337b1f7beSEd Tanous         findNavigationReferencesInArrayRecursive(eType, *array, jsonPtr, depth,
56487788abfSEd Tanous                                                  skipDepth, inLinks, out);
56587788abfSEd Tanous     }
56687788abfSEd Tanous     nlohmann::json::object_t* obj =
56787788abfSEd Tanous         jsonResponse.get_ptr<nlohmann::json::object_t*>();
56887788abfSEd Tanous     if (obj == nullptr)
56987788abfSEd Tanous     {
57087788abfSEd Tanous         return;
57187788abfSEd Tanous     }
57237b1f7beSEd Tanous     findNavigationReferencesInObjectRecursive(eType, *obj, jsonPtr, depth,
57337b1f7beSEd Tanous                                               skipDepth, inLinks, out);
57487788abfSEd Tanous }
57587788abfSEd Tanous 
57687788abfSEd Tanous inline void findNavigationReferencesInArrayRecursive(
577c59e338cSEd Tanous     ExpandType eType, nlohmann::json::array_t& array,
57837b1f7beSEd Tanous     const nlohmann::json::json_pointer& jsonPtr, int depth, int skipDepth,
57987788abfSEd Tanous     bool inLinks, std::vector<ExpandNode>& out)
58087788abfSEd Tanous {
5817cf436c9SEd Tanous     size_t index = 0;
5827cf436c9SEd Tanous     // For arrays, walk every element in the array
583c59e338cSEd Tanous     for (auto& element : array)
5847cf436c9SEd Tanous     {
58537b1f7beSEd Tanous         nlohmann::json::json_pointer newPtr = jsonPtr / index;
58662598e31SEd Tanous         BMCWEB_LOG_DEBUG("Traversing response at {}", newPtr.to_string());
587ad595fa6SEd Tanous         findNavigationReferencesRecursive(eType, element, newPtr, depth,
58832cdb4a7SWilly Tu                                           skipDepth, inLinks, out);
5897cf436c9SEd Tanous         index++;
5907cf436c9SEd Tanous     }
5917cf436c9SEd Tanous }
59287788abfSEd Tanous 
59387788abfSEd Tanous inline void findNavigationReferencesInObjectRecursive(
594c59e338cSEd Tanous     ExpandType eType, nlohmann::json::object_t& obj,
59537b1f7beSEd Tanous     const nlohmann::json::json_pointer& jsonPtr, int depth, int skipDepth,
59687788abfSEd Tanous     bool inLinks, std::vector<ExpandNode>& out)
5977cf436c9SEd Tanous {
5987cf436c9SEd Tanous     // Navigation References only ever have a single element
599c59e338cSEd Tanous     if (obj.size() == 1)
6007cf436c9SEd Tanous     {
601c59e338cSEd Tanous         if (obj.begin()->first == "@odata.id")
6027cf436c9SEd Tanous         {
6037cf436c9SEd Tanous             const std::string* uri =
604c59e338cSEd Tanous                 obj.begin()->second.get_ptr<const std::string*>();
6057cf436c9SEd Tanous             if (uri != nullptr)
6067cf436c9SEd Tanous             {
60762598e31SEd Tanous                 BMCWEB_LOG_DEBUG("Found {} at {}", *uri, jsonPtr.to_string());
60832cdb4a7SWilly Tu                 if (skipDepth == 0)
60932cdb4a7SWilly Tu                 {
61037b1f7beSEd Tanous                     out.push_back({jsonPtr, *uri});
61132cdb4a7SWilly Tu                 }
612ad595fa6SEd Tanous                 return;
6137cf436c9SEd Tanous             }
6147cf436c9SEd Tanous         }
6157cf436c9SEd Tanous     }
616ad595fa6SEd Tanous 
617ad595fa6SEd Tanous     int newDepth = depth;
618c59e338cSEd Tanous     auto odataId = obj.find("@odata.id");
619c59e338cSEd Tanous     if (odataId != obj.end())
620ad595fa6SEd Tanous     {
621ad595fa6SEd Tanous         // The Redfish spec requires all resources to include the resource
622ad595fa6SEd Tanous         // identifier.  If the object has multiple elements and one of them is
623ad595fa6SEd Tanous         // "@odata.id" then that means we have entered a new level / expanded
624ad595fa6SEd Tanous         // resource.  We need to stop traversing if we're already at the desired
625ad595fa6SEd Tanous         // depth
626c59e338cSEd Tanous         if (obj.size() > 1)
62732cdb4a7SWilly Tu         {
62832cdb4a7SWilly Tu             if (depth == 0)
629ad595fa6SEd Tanous             {
630ad595fa6SEd Tanous                 return;
631ad595fa6SEd Tanous             }
63232cdb4a7SWilly Tu             if (skipDepth > 0)
63332cdb4a7SWilly Tu             {
63432cdb4a7SWilly Tu                 skipDepth--;
63532cdb4a7SWilly Tu             }
63632cdb4a7SWilly Tu         }
63732cdb4a7SWilly Tu 
63832cdb4a7SWilly Tu         if (skipDepth == 0)
63932cdb4a7SWilly Tu         {
640ad595fa6SEd Tanous             newDepth--;
641ad595fa6SEd Tanous         }
64232cdb4a7SWilly Tu     }
643ad595fa6SEd Tanous 
6447cf436c9SEd Tanous     // Loop the object and look for links
645c59e338cSEd Tanous     for (auto& element : obj)
6467cf436c9SEd Tanous     {
647e479ad58SNan Zhou         bool localInLinks = inLinks;
648e479ad58SNan Zhou         if (!localInLinks)
6497cf436c9SEd Tanous         {
6507cf436c9SEd Tanous             // Check if this is a links node
651e479ad58SNan Zhou             localInLinks = element.first == "Links";
6527cf436c9SEd Tanous         }
6537cf436c9SEd Tanous         // Only traverse the parts of the tree the user asked for
6547cf436c9SEd Tanous         // Per section 7.3 of the redfish specification
655e479ad58SNan Zhou         if (localInLinks && eType == ExpandType::NotLinks)
6567cf436c9SEd Tanous         {
6577cf436c9SEd Tanous             continue;
6587cf436c9SEd Tanous         }
659e479ad58SNan Zhou         if (!localInLinks && eType == ExpandType::Links)
6607cf436c9SEd Tanous         {
6617cf436c9SEd Tanous             continue;
6627cf436c9SEd Tanous         }
66337b1f7beSEd Tanous         nlohmann::json::json_pointer newPtr = jsonPtr / element.first;
66462598e31SEd Tanous         BMCWEB_LOG_DEBUG("Traversing response at {}", newPtr);
6657cf436c9SEd Tanous 
6667cf436c9SEd Tanous         findNavigationReferencesRecursive(eType, element.second, newPtr,
66732cdb4a7SWilly Tu                                           newDepth, skipDepth, localInLinks,
66832cdb4a7SWilly Tu                                           out);
6697cf436c9SEd Tanous     }
6707cf436c9SEd Tanous }
6717cf436c9SEd Tanous 
672ad595fa6SEd Tanous // TODO: When aggregation is enabled and we receive a partially expanded
673ad595fa6SEd Tanous // response we may need need additional handling when the original URI was
674ad595fa6SEd Tanous // up tree from a top level collection.
675ad595fa6SEd Tanous // Isn't a concern until https://gerrit.openbmc.org/c/openbmc/bmcweb/+/60556
676ad595fa6SEd Tanous // lands.  May want to avoid forwarding query params when request is uptree from
677ad595fa6SEd Tanous // a top level collection.
6787cf436c9SEd Tanous inline std::vector<ExpandNode>
67932cdb4a7SWilly Tu     findNavigationReferences(ExpandType eType, int depth, int skipDepth,
680ad595fa6SEd Tanous                              nlohmann::json& jsonResponse)
6817cf436c9SEd Tanous {
6827cf436c9SEd Tanous     std::vector<ExpandNode> ret;
68372c3ae33SNan Zhou     const nlohmann::json::json_pointer root = nlohmann::json::json_pointer("");
68432cdb4a7SWilly Tu     // SkipDepth +1 since we are skipping the root by default.
68532cdb4a7SWilly Tu     findNavigationReferencesRecursive(eType, jsonResponse, root, depth,
68632cdb4a7SWilly Tu                                       skipDepth + 1, false, ret);
6877cf436c9SEd Tanous     return ret;
6887cf436c9SEd Tanous }
6897cf436c9SEd Tanous 
69072c3ae33SNan Zhou // Formats a query parameter string for the sub-query.
691b66cf2a2SNan Zhou // Returns std::nullopt on failures.
69272c3ae33SNan Zhou // This function shall handle $select when it is added.
6938ece0e45SEd Tanous // There is no need to handle parameters that's not compatible with $expand,
69472c3ae33SNan Zhou // e.g., $only, since this function will only be called in side $expand handlers
695b66cf2a2SNan Zhou inline std::optional<std::string> formatQueryForExpand(const Query& query)
69672c3ae33SNan Zhou {
69772c3ae33SNan Zhou     // query.expandLevel<=1: no need to do subqueries
69872c3ae33SNan Zhou     if (query.expandLevel <= 1)
69972c3ae33SNan Zhou     {
700b66cf2a2SNan Zhou         return "";
70172c3ae33SNan Zhou     }
70272c3ae33SNan Zhou     std::string str = "?$expand=";
703b66cf2a2SNan Zhou     bool queryTypeExpected = false;
70472c3ae33SNan Zhou     switch (query.expandType)
70572c3ae33SNan Zhou     {
70672c3ae33SNan Zhou         case ExpandType::None:
707b66cf2a2SNan Zhou             return "";
70872c3ae33SNan Zhou         case ExpandType::Links:
709b66cf2a2SNan Zhou             queryTypeExpected = true;
71072c3ae33SNan Zhou             str += '~';
71172c3ae33SNan Zhou             break;
71272c3ae33SNan Zhou         case ExpandType::NotLinks:
713b66cf2a2SNan Zhou             queryTypeExpected = true;
71472c3ae33SNan Zhou             str += '.';
71572c3ae33SNan Zhou             break;
71672c3ae33SNan Zhou         case ExpandType::Both:
717b66cf2a2SNan Zhou             queryTypeExpected = true;
71872c3ae33SNan Zhou             str += '*';
71972c3ae33SNan Zhou             break;
720*4da0490bSEd Tanous         default:
721*4da0490bSEd Tanous             return std::nullopt;
722b66cf2a2SNan Zhou     }
723b66cf2a2SNan Zhou     if (!queryTypeExpected)
724b66cf2a2SNan Zhou     {
725b66cf2a2SNan Zhou         return std::nullopt;
72672c3ae33SNan Zhou     }
72772c3ae33SNan Zhou     str += "($levels=";
72872c3ae33SNan Zhou     str += std::to_string(query.expandLevel - 1);
72972c3ae33SNan Zhou     str += ')';
73072c3ae33SNan Zhou     return str;
73172c3ae33SNan Zhou }
73272c3ae33SNan Zhou 
7338ece0e45SEd Tanous // Propagates the worst error code to the final response.
7343590bd1dSNan Zhou // The order of error code is (from high to low)
7353590bd1dSNan Zhou // 500 Internal Server Error
7363590bd1dSNan Zhou // 511 Network Authentication Required
7373590bd1dSNan Zhou // 510 Not Extended
7383590bd1dSNan Zhou // 508 Loop Detected
7393590bd1dSNan Zhou // 507 Insufficient Storage
7403590bd1dSNan Zhou // 506 Variant Also Negotiates
7413590bd1dSNan Zhou // 505 HTTP Version Not Supported
7423590bd1dSNan Zhou // 504 Gateway Timeout
7433590bd1dSNan Zhou // 503 Service Unavailable
7443590bd1dSNan Zhou // 502 Bad Gateway
7453590bd1dSNan Zhou // 501 Not Implemented
7463590bd1dSNan Zhou // 401 Unauthorized
7478ece0e45SEd Tanous // 451 - 409 Error codes (not listed explicitly)
7483590bd1dSNan Zhou // 408 Request Timeout
7493590bd1dSNan Zhou // 407 Proxy Authentication Required
7503590bd1dSNan Zhou // 406 Not Acceptable
7513590bd1dSNan Zhou // 405 Method Not Allowed
7523590bd1dSNan Zhou // 404 Not Found
7533590bd1dSNan Zhou // 403 Forbidden
7543590bd1dSNan Zhou // 402 Payment Required
7553590bd1dSNan Zhou // 400 Bad Request
7563590bd1dSNan Zhou inline unsigned propogateErrorCode(unsigned finalCode, unsigned subResponseCode)
7573590bd1dSNan Zhou {
7583590bd1dSNan Zhou     // We keep a explicit list for error codes that this project often uses
7598ece0e45SEd Tanous     // Higher priority codes are in lower indexes
7603590bd1dSNan Zhou     constexpr std::array<unsigned, 13> orderedCodes = {
7613590bd1dSNan Zhou         500, 507, 503, 502, 501, 401, 412, 409, 406, 405, 404, 403, 400};
7623590bd1dSNan Zhou     size_t finalCodeIndex = std::numeric_limits<size_t>::max();
7633590bd1dSNan Zhou     size_t subResponseCodeIndex = std::numeric_limits<size_t>::max();
7643590bd1dSNan Zhou     for (size_t i = 0; i < orderedCodes.size(); ++i)
7653590bd1dSNan Zhou     {
7663590bd1dSNan Zhou         if (orderedCodes[i] == finalCode)
7673590bd1dSNan Zhou         {
7683590bd1dSNan Zhou             finalCodeIndex = i;
7693590bd1dSNan Zhou         }
7703590bd1dSNan Zhou         if (orderedCodes[i] == subResponseCode)
7713590bd1dSNan Zhou         {
7723590bd1dSNan Zhou             subResponseCodeIndex = i;
7733590bd1dSNan Zhou         }
7743590bd1dSNan Zhou     }
7753590bd1dSNan Zhou     if (finalCodeIndex != std::numeric_limits<size_t>::max() &&
7763590bd1dSNan Zhou         subResponseCodeIndex != std::numeric_limits<size_t>::max())
7773590bd1dSNan Zhou     {
7783590bd1dSNan Zhou         return finalCodeIndex <= subResponseCodeIndex ? finalCode
7793590bd1dSNan Zhou                                                       : subResponseCode;
7803590bd1dSNan Zhou     }
7813590bd1dSNan Zhou     if (subResponseCode == 500 || finalCode == 500)
7823590bd1dSNan Zhou     {
7833590bd1dSNan Zhou         return 500;
7843590bd1dSNan Zhou     }
7853590bd1dSNan Zhou     if (subResponseCode > 500 || finalCode > 500)
7863590bd1dSNan Zhou     {
7873590bd1dSNan Zhou         return std::max(finalCode, subResponseCode);
7883590bd1dSNan Zhou     }
7893590bd1dSNan Zhou     if (subResponseCode == 401)
7903590bd1dSNan Zhou     {
7913590bd1dSNan Zhou         return subResponseCode;
7923590bd1dSNan Zhou     }
7933590bd1dSNan Zhou     return std::max(finalCode, subResponseCode);
7943590bd1dSNan Zhou }
7953590bd1dSNan Zhou 
7968ece0e45SEd Tanous // Propagates all error messages into |finalResponse|
7973590bd1dSNan Zhou inline void propogateError(crow::Response& finalResponse,
7983590bd1dSNan Zhou                            crow::Response& subResponse)
7993590bd1dSNan Zhou {
8003590bd1dSNan Zhou     // no errors
8013590bd1dSNan Zhou     if (subResponse.resultInt() >= 200 && subResponse.resultInt() < 400)
8023590bd1dSNan Zhou     {
8033590bd1dSNan Zhou         return;
8043590bd1dSNan Zhou     }
8053590bd1dSNan Zhou     messages::moveErrorsToErrorJson(finalResponse.jsonValue,
8063590bd1dSNan Zhou                                     subResponse.jsonValue);
8073590bd1dSNan Zhou     finalResponse.result(
8083590bd1dSNan Zhou         propogateErrorCode(finalResponse.resultInt(), subResponse.resultInt()));
8093590bd1dSNan Zhou }
8103590bd1dSNan Zhou 
8117cf436c9SEd Tanous class MultiAsyncResp : public std::enable_shared_from_this<MultiAsyncResp>
8127cf436c9SEd Tanous {
8137cf436c9SEd Tanous   public:
8147cf436c9SEd Tanous     // This object takes a single asyncResp object as the "final" one, then
8157cf436c9SEd Tanous     // allows callers to attach sub-responses within the json tree that need
8167cf436c9SEd Tanous     // to be executed and filled into their appropriate locations.  This
8177cf436c9SEd Tanous     // class manages the final "merge" of the json resources.
8188a592810SEd Tanous     MultiAsyncResp(crow::App& appIn,
8197cf436c9SEd Tanous                    std::shared_ptr<bmcweb::AsyncResp> finalResIn) :
8208a592810SEd Tanous         app(appIn),
8217cf436c9SEd Tanous         finalRes(std::move(finalResIn))
8227cf436c9SEd Tanous     {}
8237cf436c9SEd Tanous 
8247cf436c9SEd Tanous     void addAwaitingResponse(
82502cad96eSEd Tanous         const std::shared_ptr<bmcweb::AsyncResp>& res,
8267cf436c9SEd Tanous         const nlohmann::json::json_pointer& finalExpandLocation)
8277cf436c9SEd Tanous     {
8287cf436c9SEd Tanous         res->res.setCompleteRequestHandler(std::bind_front(
82972c3ae33SNan Zhou             placeResultStatic, shared_from_this(), finalExpandLocation));
8307cf436c9SEd Tanous     }
8317cf436c9SEd Tanous 
83272c3ae33SNan Zhou     void placeResult(const nlohmann::json::json_pointer& locationToPlace,
8337cf436c9SEd Tanous                      crow::Response& res)
8347cf436c9SEd Tanous     {
83562598e31SEd Tanous         BMCWEB_LOG_DEBUG("placeResult for {}", locationToPlace);
8363590bd1dSNan Zhou         propogateError(finalRes->res, res);
8373590bd1dSNan Zhou         if (!res.jsonValue.is_object() || res.jsonValue.empty())
8383590bd1dSNan Zhou         {
8393590bd1dSNan Zhou             return;
8403590bd1dSNan Zhou         }
8417cf436c9SEd Tanous         nlohmann::json& finalObj = finalRes->res.jsonValue[locationToPlace];
8427cf436c9SEd Tanous         finalObj = std::move(res.jsonValue);
8437cf436c9SEd Tanous     }
8447cf436c9SEd Tanous 
84572c3ae33SNan Zhou     // Handles the very first level of Expand, and starts a chain of sub-queries
84672c3ae33SNan Zhou     // for deeper levels.
84732cdb4a7SWilly Tu     void startQuery(const Query& query, const Query& delegated)
84872c3ae33SNan Zhou     {
849ad595fa6SEd Tanous         std::vector<ExpandNode> nodes = findNavigationReferences(
85032cdb4a7SWilly Tu             query.expandType, query.expandLevel, delegated.expandLevel,
85132cdb4a7SWilly Tu             finalRes->res.jsonValue);
85262598e31SEd Tanous         BMCWEB_LOG_DEBUG("{} nodes to traverse", nodes.size());
853b66cf2a2SNan Zhou         const std::optional<std::string> queryStr = formatQueryForExpand(query);
854b66cf2a2SNan Zhou         if (!queryStr)
855b66cf2a2SNan Zhou         {
856b66cf2a2SNan Zhou             messages::internalError(finalRes->res);
857b66cf2a2SNan Zhou             return;
858b66cf2a2SNan Zhou         }
8597cf436c9SEd Tanous         for (const ExpandNode& node : nodes)
8607cf436c9SEd Tanous         {
861b66cf2a2SNan Zhou             const std::string subQuery = node.uri + *queryStr;
86262598e31SEd Tanous             BMCWEB_LOG_DEBUG("URL of subquery:  {}", subQuery);
8637cf436c9SEd Tanous             std::error_code ec;
86472c3ae33SNan Zhou             crow::Request newReq({boost::beast::http::verb::get, subQuery, 11},
8657cf436c9SEd Tanous                                  ec);
8667cf436c9SEd Tanous             if (ec)
8677cf436c9SEd Tanous             {
86872c3ae33SNan Zhou                 messages::internalError(finalRes->res);
8697cf436c9SEd Tanous                 return;
8707cf436c9SEd Tanous             }
8717cf436c9SEd Tanous 
8727cf436c9SEd Tanous             auto asyncResp = std::make_shared<bmcweb::AsyncResp>();
87362598e31SEd Tanous             BMCWEB_LOG_DEBUG("setting completion handler on {}",
87462598e31SEd Tanous                              logPtr(&asyncResp->res));
87572c3ae33SNan Zhou 
87672c3ae33SNan Zhou             addAwaitingResponse(asyncResp, node.location);
8777cf436c9SEd Tanous             app.handle(newReq, asyncResp);
8787cf436c9SEd Tanous         }
8797cf436c9SEd Tanous     }
8807cf436c9SEd Tanous 
8817cf436c9SEd Tanous   private:
88272c3ae33SNan Zhou     static void
88372c3ae33SNan Zhou         placeResultStatic(const std::shared_ptr<MultiAsyncResp>& multi,
8847cf436c9SEd Tanous                           const nlohmann::json::json_pointer& locationToPlace,
8857cf436c9SEd Tanous                           crow::Response& res)
8867cf436c9SEd Tanous     {
88772c3ae33SNan Zhou         multi->placeResult(locationToPlace, res);
8887cf436c9SEd Tanous     }
8897cf436c9SEd Tanous 
8907cf436c9SEd Tanous     crow::App& app;
8917cf436c9SEd Tanous     std::shared_ptr<bmcweb::AsyncResp> finalRes;
8927cf436c9SEd Tanous };
8937cf436c9SEd Tanous 
8942a68dc80SEd Tanous inline void processTopAndSkip(const Query& query, crow::Response& res)
8952a68dc80SEd Tanous {
8963648c8beSEd Tanous     if (!query.skip && !query.top)
8973648c8beSEd Tanous     {
8983648c8beSEd Tanous         // No work to do.
8993648c8beSEd Tanous         return;
9003648c8beSEd Tanous     }
9012a68dc80SEd Tanous     nlohmann::json::object_t* obj =
9022a68dc80SEd Tanous         res.jsonValue.get_ptr<nlohmann::json::object_t*>();
9032a68dc80SEd Tanous     if (obj == nullptr)
9042a68dc80SEd Tanous     {
9052a68dc80SEd Tanous         // Shouldn't be possible.  All responses should be objects.
9062a68dc80SEd Tanous         messages::internalError(res);
9072a68dc80SEd Tanous         return;
9082a68dc80SEd Tanous     }
9092a68dc80SEd Tanous 
91062598e31SEd Tanous     BMCWEB_LOG_DEBUG("Handling top/skip");
9112a68dc80SEd Tanous     nlohmann::json::object_t::iterator members = obj->find("Members");
9122a68dc80SEd Tanous     if (members == obj->end())
9132a68dc80SEd Tanous     {
9142a68dc80SEd Tanous         // From the Redfish specification 7.3.1
9152a68dc80SEd Tanous         // ... the HTTP 400 Bad Request status code with the
9162a68dc80SEd Tanous         // QueryNotSupportedOnResource message from the Base Message Registry
9172a68dc80SEd Tanous         // for any supported query parameters that apply only to resource
9182a68dc80SEd Tanous         // collections but are used on singular resources.
9192a68dc80SEd Tanous         messages::queryNotSupportedOnResource(res);
9202a68dc80SEd Tanous         return;
9212a68dc80SEd Tanous     }
9222a68dc80SEd Tanous 
9232a68dc80SEd Tanous     nlohmann::json::array_t* arr =
9242a68dc80SEd Tanous         members->second.get_ptr<nlohmann::json::array_t*>();
9252a68dc80SEd Tanous     if (arr == nullptr)
9262a68dc80SEd Tanous     {
9272a68dc80SEd Tanous         messages::internalError(res);
9282a68dc80SEd Tanous         return;
9292a68dc80SEd Tanous     }
9302a68dc80SEd Tanous 
9313648c8beSEd Tanous     if (query.skip)
9323648c8beSEd Tanous     {
9333648c8beSEd Tanous         // Per section 7.3.1 of the Redfish specification, $skip is run before
9343648c8beSEd Tanous         // $top Can only skip as many values as we have
9353648c8beSEd Tanous         size_t skip = std::min(arr->size(), *query.skip);
9362a68dc80SEd Tanous         arr->erase(arr->begin(), arr->begin() + static_cast<ssize_t>(skip));
9373648c8beSEd Tanous     }
9383648c8beSEd Tanous     if (query.top)
9393648c8beSEd Tanous     {
9403648c8beSEd Tanous         size_t top = std::min(arr->size(), *query.top);
9412a68dc80SEd Tanous         arr->erase(arr->begin() + static_cast<ssize_t>(top), arr->end());
9422a68dc80SEd Tanous     }
9433648c8beSEd Tanous }
9442a68dc80SEd Tanous 
945827c4902SNan Zhou // Given a JSON subtree |currRoot|, this function erases leaves whose keys are
946827c4902SNan Zhou // not in the |currNode| Trie node.
947827c4902SNan Zhou inline void recursiveSelect(nlohmann::json& currRoot,
948827c4902SNan Zhou                             const SelectTrieNode& currNode)
949e155ab54SNan Zhou {
950e155ab54SNan Zhou     nlohmann::json::object_t* object =
951e155ab54SNan Zhou         currRoot.get_ptr<nlohmann::json::object_t*>();
952e155ab54SNan Zhou     if (object != nullptr)
953e155ab54SNan Zhou     {
95462598e31SEd Tanous         BMCWEB_LOG_DEBUG("Current JSON is an object");
955e155ab54SNan Zhou         auto it = currRoot.begin();
956e155ab54SNan Zhou         while (it != currRoot.end())
957e155ab54SNan Zhou         {
958e155ab54SNan Zhou             auto nextIt = std::next(it);
95962598e31SEd Tanous             BMCWEB_LOG_DEBUG("key={}", it.key());
960827c4902SNan Zhou             const SelectTrieNode* nextNode = currNode.find(it.key());
9615c9fb2d6SNan Zhou             // Per the Redfish spec section 7.3.3, the service shall select
9625c9fb2d6SNan Zhou             // certain properties as if $select was omitted. This applies to
9635c9fb2d6SNan Zhou             // every TrieNode that contains leaves and the root.
9645c9fb2d6SNan Zhou             constexpr std::array<std::string_view, 5> reservedProperties = {
9655c9fb2d6SNan Zhou                 "@odata.id", "@odata.type", "@odata.context", "@odata.etag",
9665c9fb2d6SNan Zhou                 "error"};
9673544d2a7SEd Tanous             bool reserved = std::ranges::find(reservedProperties, it.key()) !=
9683544d2a7SEd Tanous                             reservedProperties.end();
9695c9fb2d6SNan Zhou             if (reserved || (nextNode != nullptr && nextNode->isSelected()))
970e155ab54SNan Zhou             {
971e155ab54SNan Zhou                 it = nextIt;
972e155ab54SNan Zhou                 continue;
973e155ab54SNan Zhou             }
974827c4902SNan Zhou             if (nextNode != nullptr)
975e155ab54SNan Zhou             {
97662598e31SEd Tanous                 BMCWEB_LOG_DEBUG("Recursively select: {}", it.key());
977827c4902SNan Zhou                 recursiveSelect(*it, *nextNode);
978e155ab54SNan Zhou                 it = nextIt;
979e155ab54SNan Zhou                 continue;
980e155ab54SNan Zhou             }
98162598e31SEd Tanous             BMCWEB_LOG_DEBUG("{} is getting removed!", it.key());
982e155ab54SNan Zhou             it = currRoot.erase(it);
983e155ab54SNan Zhou         }
984e155ab54SNan Zhou     }
9855c9fb2d6SNan Zhou     nlohmann::json::array_t* array =
9865c9fb2d6SNan Zhou         currRoot.get_ptr<nlohmann::json::array_t*>();
9875c9fb2d6SNan Zhou     if (array != nullptr)
9885c9fb2d6SNan Zhou     {
98962598e31SEd Tanous         BMCWEB_LOG_DEBUG("Current JSON is an array");
9905c9fb2d6SNan Zhou         // Array index is omitted, so reuse the same Trie node
9915c9fb2d6SNan Zhou         for (nlohmann::json& nextRoot : *array)
9925c9fb2d6SNan Zhou         {
9935c9fb2d6SNan Zhou             recursiveSelect(nextRoot, currNode);
9945c9fb2d6SNan Zhou         }
9955c9fb2d6SNan Zhou     }
996e155ab54SNan Zhou }
997e155ab54SNan Zhou 
998e155ab54SNan Zhou // The current implementation of $select still has the following TODOs due to
999e155ab54SNan Zhou //  ambiguity and/or complexity.
10005c9fb2d6SNan Zhou // 1. combined with $expand; https://github.com/DMTF/Redfish/issues/5058 was
1001e155ab54SNan Zhou // created for clarification.
10025c9fb2d6SNan Zhou // 2. respect the full odata spec; e.g., deduplication, namespace, star (*),
1003e155ab54SNan Zhou // etc.
1004e155ab54SNan Zhou inline void processSelect(crow::Response& intermediateResponse,
1005827c4902SNan Zhou                           const SelectTrieNode& trieRoot)
1006e155ab54SNan Zhou {
100762598e31SEd Tanous     BMCWEB_LOG_DEBUG("Process $select quary parameter");
1008827c4902SNan Zhou     recursiveSelect(intermediateResponse.jsonValue, trieRoot);
1009e155ab54SNan Zhou }
1010e155ab54SNan Zhou 
10117cf436c9SEd Tanous inline void
101232cdb4a7SWilly Tu     processAllParams(crow::App& app, const Query& query, const Query& delegated,
10137cf436c9SEd Tanous                      std::function<void(crow::Response&)>& completionHandler,
10147cf436c9SEd Tanous                      crow::Response& intermediateResponse)
1015f4c99e70SEd Tanous {
1016f4c99e70SEd Tanous     if (!completionHandler)
1017f4c99e70SEd Tanous     {
101862598e31SEd Tanous         BMCWEB_LOG_DEBUG("Function was invalid?");
1019f4c99e70SEd Tanous         return;
1020f4c99e70SEd Tanous     }
1021f4c99e70SEd Tanous 
102262598e31SEd Tanous     BMCWEB_LOG_DEBUG("Processing query params");
1023f4c99e70SEd Tanous     // If the request failed, there's no reason to even try to run query
1024f4c99e70SEd Tanous     // params.
1025f4c99e70SEd Tanous     if (intermediateResponse.resultInt() < 200 ||
1026f4c99e70SEd Tanous         intermediateResponse.resultInt() >= 400)
1027f4c99e70SEd Tanous     {
1028f4c99e70SEd Tanous         completionHandler(intermediateResponse);
1029f4c99e70SEd Tanous         return;
1030f4c99e70SEd Tanous     }
1031f4c99e70SEd Tanous     if (query.isOnly)
1032f4c99e70SEd Tanous     {
1033f4c99e70SEd Tanous         processOnly(app, intermediateResponse, completionHandler);
1034f4c99e70SEd Tanous         return;
1035f4c99e70SEd Tanous     }
10362a68dc80SEd Tanous 
10373648c8beSEd Tanous     if (query.top || query.skip)
10382a68dc80SEd Tanous     {
10392a68dc80SEd Tanous         processTopAndSkip(query, intermediateResponse);
10402a68dc80SEd Tanous     }
10412a68dc80SEd Tanous 
10427cf436c9SEd Tanous     if (query.expandType != ExpandType::None)
10437cf436c9SEd Tanous     {
104462598e31SEd Tanous         BMCWEB_LOG_DEBUG("Executing expand query");
104513548d85SEd Tanous         auto asyncResp = std::make_shared<bmcweb::AsyncResp>(
104613548d85SEd Tanous             std::move(intermediateResponse));
10477cf436c9SEd Tanous 
104813548d85SEd Tanous         asyncResp->res.setCompleteRequestHandler(std::move(completionHandler));
104913548d85SEd Tanous         auto multi = std::make_shared<MultiAsyncResp>(app, asyncResp);
105032cdb4a7SWilly Tu         multi->startQuery(query, delegated);
10517cf436c9SEd Tanous         return;
10527cf436c9SEd Tanous     }
1053e155ab54SNan Zhou 
1054e155ab54SNan Zhou     // According to Redfish Spec Section 7.3.1, $select is the last parameter to
1055e155ab54SNan Zhou     // to process
1056827c4902SNan Zhou     if (!query.selectTrie.root.empty())
1057e155ab54SNan Zhou     {
1058827c4902SNan Zhou         processSelect(intermediateResponse, query.selectTrie.root);
1059e155ab54SNan Zhou     }
1060e155ab54SNan Zhou 
1061f4c99e70SEd Tanous     completionHandler(intermediateResponse);
1062f4c99e70SEd Tanous }
1063f4c99e70SEd Tanous 
1064f4c99e70SEd Tanous } // namespace query_param
1065f4c99e70SEd Tanous } // namespace redfish
1066