xref: /openbmc/bmcweb/features/redfish/include/utils/query_param.hpp (revision 3544d2a719c8bb7b07f9a39f61a3770ec84b909f)
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 
14e155ab54SNan Zhou #include <boost/algorithm/string/classification.hpp>
15d5c80ad9SNan Zhou #include <boost/beast/http/message.hpp> // IWYU pragma: keep
16d5c80ad9SNan Zhou #include <boost/beast/http/status.hpp>
17d5c80ad9SNan Zhou #include <boost/beast/http/verb.hpp>
18d5c80ad9SNan Zhou #include <boost/url/params_view.hpp>
19d5c80ad9SNan Zhou #include <nlohmann/json.hpp>
20d5c80ad9SNan Zhou 
21d5c80ad9SNan Zhou #include <algorithm>
22e155ab54SNan Zhou #include <array>
23e155ab54SNan Zhou #include <cctype>
247cf436c9SEd Tanous #include <charconv>
25827c4902SNan Zhou #include <compare>
26d5c80ad9SNan Zhou #include <cstdint>
27d5c80ad9SNan Zhou #include <functional>
28e155ab54SNan Zhou #include <iterator>
29d5c80ad9SNan Zhou #include <limits>
30d5c80ad9SNan Zhou #include <map>
31d5c80ad9SNan Zhou #include <memory>
32d5c80ad9SNan Zhou #include <optional>
33*3544d2a7SEd Tanous #include <ranges>
34f4c99e70SEd Tanous #include <string>
35f4c99e70SEd Tanous #include <string_view>
36d5c80ad9SNan Zhou #include <system_error>
377cf436c9SEd Tanous #include <utility>
38f4c99e70SEd Tanous #include <vector>
39f4c99e70SEd Tanous 
40d5c80ad9SNan Zhou // IWYU pragma: no_include <boost/url/impl/params_view.hpp>
41d5c80ad9SNan Zhou // IWYU pragma: no_include <boost/beast/http/impl/message.hpp>
42d5c80ad9SNan Zhou // IWYU pragma: no_include <boost/intrusive/detail/list_iterator.hpp>
43e155ab54SNan Zhou // IWYU pragma: no_include <boost/algorithm/string/detail/classification.hpp>
44e155ab54SNan Zhou // IWYU pragma: no_include <boost/iterator/iterator_facade.hpp>
45e155ab54SNan Zhou // IWYU pragma: no_include <boost/type_index/type_index_facade.hpp>
46d5c80ad9SNan Zhou // IWYU pragma: no_include <stdint.h>
47d5c80ad9SNan Zhou 
48f4c99e70SEd Tanous namespace redfish
49f4c99e70SEd Tanous {
50f4c99e70SEd Tanous namespace query_param
51f4c99e70SEd Tanous {
52f4c99e70SEd Tanous 
537cf436c9SEd Tanous enum class ExpandType : uint8_t
547cf436c9SEd Tanous {
557cf436c9SEd Tanous     None,
567cf436c9SEd Tanous     Links,
577cf436c9SEd Tanous     NotLinks,
587cf436c9SEd Tanous     Both,
597cf436c9SEd Tanous };
607cf436c9SEd Tanous 
61827c4902SNan Zhou // A simple implementation of Trie to help |recursiveSelect|.
62827c4902SNan Zhou class SelectTrieNode
63827c4902SNan Zhou {
64827c4902SNan Zhou   public:
65827c4902SNan Zhou     SelectTrieNode() = default;
66827c4902SNan Zhou 
67827c4902SNan Zhou     const SelectTrieNode* find(const std::string& jsonKey) const
68827c4902SNan Zhou     {
69827c4902SNan Zhou         auto it = children.find(jsonKey);
70827c4902SNan Zhou         if (it == children.end())
71827c4902SNan Zhou         {
72827c4902SNan Zhou             return nullptr;
73827c4902SNan Zhou         }
74827c4902SNan Zhou         return &it->second;
75827c4902SNan Zhou     }
76827c4902SNan Zhou 
77827c4902SNan Zhou     // Creates a new node if the key doesn't exist, returns the reference to the
78827c4902SNan Zhou     // newly created node; otherwise, return the reference to the existing node
79827c4902SNan Zhou     SelectTrieNode* emplace(std::string_view jsonKey)
80827c4902SNan Zhou     {
81827c4902SNan Zhou         auto [it, _] = children.emplace(jsonKey, SelectTrieNode{});
82827c4902SNan Zhou         return &it->second;
83827c4902SNan Zhou     }
84827c4902SNan Zhou 
85827c4902SNan Zhou     bool empty() const
86827c4902SNan Zhou     {
87827c4902SNan Zhou         return children.empty();
88827c4902SNan Zhou     }
89827c4902SNan Zhou 
90827c4902SNan Zhou     void clear()
91827c4902SNan Zhou     {
92827c4902SNan Zhou         children.clear();
93827c4902SNan Zhou     }
94827c4902SNan Zhou 
95827c4902SNan Zhou     void setToSelected()
96827c4902SNan Zhou     {
97827c4902SNan Zhou         selected = true;
98827c4902SNan Zhou     }
99827c4902SNan Zhou 
100827c4902SNan Zhou     bool isSelected() const
101827c4902SNan Zhou     {
102827c4902SNan Zhou         return selected;
103827c4902SNan Zhou     }
104827c4902SNan Zhou 
105827c4902SNan Zhou   private:
106827c4902SNan Zhou     std::map<std::string, SelectTrieNode, std::less<>> children;
107827c4902SNan Zhou     bool selected = false;
108827c4902SNan Zhou };
109827c4902SNan Zhou 
110827c4902SNan Zhou // Validates the property in the $select parameter. Every character is among
111827c4902SNan Zhou // [a-zA-Z0-9#@_.] (taken from Redfish spec, section 9.6 Properties)
112827c4902SNan Zhou inline bool isSelectedPropertyAllowed(std::string_view property)
113827c4902SNan Zhou {
114827c4902SNan Zhou     // These a magic number, but with it it's less likely that this code
115827c4902SNan Zhou     // introduces CVE; e.g., too large properties crash the service.
116827c4902SNan Zhou     constexpr int maxPropertyLength = 60;
117827c4902SNan Zhou     if (property.empty() || property.size() > maxPropertyLength)
118827c4902SNan Zhou     {
119827c4902SNan Zhou         return false;
120827c4902SNan Zhou     }
121827c4902SNan Zhou     for (char ch : property)
122827c4902SNan Zhou     {
123827c4902SNan Zhou         if (std::isalnum(static_cast<unsigned char>(ch)) == 0 && ch != '#' &&
124827c4902SNan Zhou             ch != '@' && ch != '.')
125827c4902SNan Zhou         {
126827c4902SNan Zhou             return false;
127827c4902SNan Zhou         }
128827c4902SNan Zhou     }
129827c4902SNan Zhou     return true;
130827c4902SNan Zhou }
131827c4902SNan Zhou 
132827c4902SNan Zhou struct SelectTrie
133827c4902SNan Zhou {
134827c4902SNan Zhou     SelectTrie() = default;
135827c4902SNan Zhou 
136827c4902SNan Zhou     // Inserts a $select value; returns false if the nestedProperty is illegal.
137827c4902SNan Zhou     bool insertNode(std::string_view nestedProperty)
138827c4902SNan Zhou     {
139827c4902SNan Zhou         if (nestedProperty.empty())
140827c4902SNan Zhou         {
141827c4902SNan Zhou             return false;
142827c4902SNan Zhou         }
143827c4902SNan Zhou         SelectTrieNode* currNode = &root;
144827c4902SNan Zhou         size_t index = nestedProperty.find_first_of('/');
145827c4902SNan Zhou         while (!nestedProperty.empty())
146827c4902SNan Zhou         {
147827c4902SNan Zhou             std::string_view property = nestedProperty.substr(0, index);
148827c4902SNan Zhou             if (!isSelectedPropertyAllowed(property))
149827c4902SNan Zhou             {
150827c4902SNan Zhou                 return false;
151827c4902SNan Zhou             }
152827c4902SNan Zhou             currNode = currNode->emplace(property);
153827c4902SNan Zhou             if (index == std::string::npos)
154827c4902SNan Zhou             {
155827c4902SNan Zhou                 break;
156827c4902SNan Zhou             }
157827c4902SNan Zhou             nestedProperty.remove_prefix(index + 1);
158827c4902SNan Zhou             index = nestedProperty.find_first_of('/');
159827c4902SNan Zhou         }
160827c4902SNan Zhou         currNode->setToSelected();
161827c4902SNan Zhou         return true;
162827c4902SNan Zhou     }
163827c4902SNan Zhou 
164827c4902SNan Zhou     SelectTrieNode root;
165827c4902SNan Zhou };
166827c4902SNan Zhou 
167a6b9125fSNan Zhou // The struct stores the parsed query parameters of the default Redfish route.
168f4c99e70SEd Tanous struct Query
169f4c99e70SEd Tanous {
170a6b9125fSNan Zhou     // Only
171f4c99e70SEd Tanous     bool isOnly = false;
172a6b9125fSNan Zhou     // Expand
173a6b9125fSNan Zhou     uint8_t expandLevel = 0;
1747cf436c9SEd Tanous     ExpandType expandType = ExpandType::None;
175c937d2bfSEd Tanous 
176c937d2bfSEd Tanous     // Skip
1773648c8beSEd Tanous     std::optional<size_t> skip = std::nullopt;
178c937d2bfSEd Tanous 
179c937d2bfSEd Tanous     // Top
1805143f7a5SJiaqing Zhao     static constexpr size_t maxTop = 1000; // Max entries a response contain
1813648c8beSEd Tanous     std::optional<size_t> top = std::nullopt;
182e155ab54SNan Zhou 
183e155ab54SNan Zhou     // Select
184827c4902SNan Zhou     SelectTrie selectTrie = {};
185f4c99e70SEd Tanous };
186f4c99e70SEd Tanous 
187a6b9125fSNan Zhou // The struct defines how resource handlers in redfish-core/lib/ can handle
188a6b9125fSNan Zhou // query parameters themselves, so that the default Redfish route will delegate
189a6b9125fSNan Zhou // the processing.
190a6b9125fSNan Zhou struct QueryCapabilities
191a6b9125fSNan Zhou {
192a6b9125fSNan Zhou     bool canDelegateOnly = false;
193c937d2bfSEd Tanous     bool canDelegateTop = false;
194c937d2bfSEd Tanous     bool canDelegateSkip = false;
195a6b9125fSNan Zhou     uint8_t canDelegateExpandLevel = 0;
196e155ab54SNan Zhou     bool canDelegateSelect = false;
197a6b9125fSNan Zhou };
198a6b9125fSNan Zhou 
199a6b9125fSNan Zhou // Delegates query parameters according to the given |queryCapabilities|
200a6b9125fSNan Zhou // This function doesn't check query parameter conflicts since the parse
201a6b9125fSNan Zhou // function will take care of it.
202a6b9125fSNan Zhou // Returns a delegated query object which can be used by individual resource
203a6b9125fSNan Zhou // handlers so that handlers don't need to query again.
204a6b9125fSNan Zhou inline Query delegate(const QueryCapabilities& queryCapabilities, Query& query)
205a6b9125fSNan Zhou {
206a6b9125fSNan Zhou     Query delegated;
207a6b9125fSNan Zhou     // delegate only
208a6b9125fSNan Zhou     if (query.isOnly && queryCapabilities.canDelegateOnly)
209a6b9125fSNan Zhou     {
210a6b9125fSNan Zhou         delegated.isOnly = true;
211a6b9125fSNan Zhou         query.isOnly = false;
212a6b9125fSNan Zhou     }
213a6b9125fSNan Zhou     // delegate expand as much as we can
214a6b9125fSNan Zhou     if (query.expandType != ExpandType::None)
215a6b9125fSNan Zhou     {
216a6b9125fSNan Zhou         delegated.expandType = query.expandType;
217a6b9125fSNan Zhou         if (query.expandLevel <= queryCapabilities.canDelegateExpandLevel)
218a6b9125fSNan Zhou         {
219a6b9125fSNan Zhou             query.expandType = ExpandType::None;
220a6b9125fSNan Zhou             delegated.expandLevel = query.expandLevel;
221a6b9125fSNan Zhou             query.expandLevel = 0;
222a6b9125fSNan Zhou         }
223a6b9125fSNan Zhou         else
224a6b9125fSNan Zhou         {
225a6b9125fSNan Zhou             delegated.expandLevel = queryCapabilities.canDelegateExpandLevel;
226a6b9125fSNan Zhou         }
227a6b9125fSNan Zhou     }
228c937d2bfSEd Tanous 
229c937d2bfSEd Tanous     // delegate top
2303648c8beSEd Tanous     if (query.top && queryCapabilities.canDelegateTop)
231c937d2bfSEd Tanous     {
232c937d2bfSEd Tanous         delegated.top = query.top;
2333648c8beSEd Tanous         query.top = std::nullopt;
234c937d2bfSEd Tanous     }
235c937d2bfSEd Tanous 
236c937d2bfSEd Tanous     // delegate skip
2373648c8beSEd Tanous     if (query.skip && queryCapabilities.canDelegateSkip)
238c937d2bfSEd Tanous     {
239c937d2bfSEd Tanous         delegated.skip = query.skip;
240c937d2bfSEd Tanous         query.skip = 0;
241c937d2bfSEd Tanous     }
242e155ab54SNan Zhou 
243e155ab54SNan Zhou     // delegate select
244827c4902SNan Zhou     if (!query.selectTrie.root.empty() && queryCapabilities.canDelegateSelect)
245e155ab54SNan Zhou     {
246827c4902SNan Zhou         delegated.selectTrie = std::move(query.selectTrie);
247827c4902SNan Zhou         query.selectTrie.root.clear();
248e155ab54SNan Zhou     }
249a6b9125fSNan Zhou     return delegated;
250a6b9125fSNan Zhou }
251a6b9125fSNan Zhou 
2527cf436c9SEd Tanous inline bool getExpandType(std::string_view value, Query& query)
2537cf436c9SEd Tanous {
2547cf436c9SEd Tanous     if (value.empty())
2557cf436c9SEd Tanous     {
2567cf436c9SEd Tanous         return false;
2577cf436c9SEd Tanous     }
2587cf436c9SEd Tanous     switch (value[0])
2597cf436c9SEd Tanous     {
2607cf436c9SEd Tanous         case '*':
2617cf436c9SEd Tanous             query.expandType = ExpandType::Both;
2627cf436c9SEd Tanous             break;
2637cf436c9SEd Tanous         case '.':
2647cf436c9SEd Tanous             query.expandType = ExpandType::NotLinks;
2657cf436c9SEd Tanous             break;
2667cf436c9SEd Tanous         case '~':
2677cf436c9SEd Tanous             query.expandType = ExpandType::Links;
2687cf436c9SEd Tanous             break;
2697cf436c9SEd Tanous         default:
2707cf436c9SEd Tanous             return false;
2717cf436c9SEd Tanous     }
2727cf436c9SEd Tanous     value.remove_prefix(1);
2737cf436c9SEd Tanous     if (value.empty())
2747cf436c9SEd Tanous     {
2757cf436c9SEd Tanous         query.expandLevel = 1;
2767cf436c9SEd Tanous         return true;
2777cf436c9SEd Tanous     }
2787cf436c9SEd Tanous     constexpr std::string_view levels = "($levels=";
2797cf436c9SEd Tanous     if (!value.starts_with(levels))
2807cf436c9SEd Tanous     {
2817cf436c9SEd Tanous         return false;
2827cf436c9SEd Tanous     }
2837cf436c9SEd Tanous     value.remove_prefix(levels.size());
2847cf436c9SEd Tanous 
2852bd4ab43SPatrick Williams     auto it = std::from_chars(value.begin(), value.end(), query.expandLevel);
2867cf436c9SEd Tanous     if (it.ec != std::errc())
2877cf436c9SEd Tanous     {
2887cf436c9SEd Tanous         return false;
2897cf436c9SEd Tanous     }
2902bd4ab43SPatrick Williams     value.remove_prefix(
2912bd4ab43SPatrick Williams         static_cast<size_t>(std::distance(value.begin(), it.ptr)));
2927cf436c9SEd Tanous     return value == ")";
2937cf436c9SEd Tanous }
2947cf436c9SEd Tanous 
295c937d2bfSEd Tanous enum class QueryError
296c937d2bfSEd Tanous {
297c937d2bfSEd Tanous     Ok,
298c937d2bfSEd Tanous     OutOfRange,
299c937d2bfSEd Tanous     ValueFormat,
300c937d2bfSEd Tanous };
301c937d2bfSEd Tanous 
302c937d2bfSEd Tanous inline QueryError getNumericParam(std::string_view value, size_t& param)
303c937d2bfSEd Tanous {
3042bd4ab43SPatrick Williams     std::from_chars_result r = std::from_chars(value.begin(), value.end(),
3052bd4ab43SPatrick Williams                                                param);
306c937d2bfSEd Tanous 
307c937d2bfSEd Tanous     // If the number wasn't representable in the type, it's out of range
308c937d2bfSEd Tanous     if (r.ec == std::errc::result_out_of_range)
309c937d2bfSEd Tanous     {
310c937d2bfSEd Tanous         return QueryError::OutOfRange;
311c937d2bfSEd Tanous     }
312c937d2bfSEd Tanous     // All other errors are value format
313c937d2bfSEd Tanous     if (r.ec != std::errc())
314c937d2bfSEd Tanous     {
315c937d2bfSEd Tanous         return QueryError::ValueFormat;
316c937d2bfSEd Tanous     }
317c937d2bfSEd Tanous     return QueryError::Ok;
318c937d2bfSEd Tanous }
319c937d2bfSEd Tanous 
320c937d2bfSEd Tanous inline QueryError getSkipParam(std::string_view value, Query& query)
321c937d2bfSEd Tanous {
3223648c8beSEd Tanous     return getNumericParam(value, query.skip.emplace());
323c937d2bfSEd Tanous }
324c937d2bfSEd Tanous 
325c937d2bfSEd Tanous inline QueryError getTopParam(std::string_view value, Query& query)
326c937d2bfSEd Tanous {
3273648c8beSEd Tanous     QueryError ret = getNumericParam(value, query.top.emplace());
328c937d2bfSEd Tanous     if (ret != QueryError::Ok)
329c937d2bfSEd Tanous     {
330c937d2bfSEd Tanous         return ret;
331c937d2bfSEd Tanous     }
332c937d2bfSEd Tanous 
333c937d2bfSEd Tanous     // Range check for sanity.
3345143f7a5SJiaqing Zhao     if (query.top > Query::maxTop)
335c937d2bfSEd Tanous     {
336c937d2bfSEd Tanous         return QueryError::OutOfRange;
337c937d2bfSEd Tanous     }
338c937d2bfSEd Tanous 
339c937d2bfSEd Tanous     return QueryError::Ok;
340c937d2bfSEd Tanous }
341c937d2bfSEd Tanous 
342e155ab54SNan Zhou // Parses and validates the $select parameter.
343e155ab54SNan Zhou // As per OData URL Conventions and Redfish Spec, the $select values shall be
344e155ab54SNan Zhou // comma separated Resource Path
345e155ab54SNan Zhou // Ref:
346e155ab54SNan Zhou // 1. https://datatracker.ietf.org/doc/html/rfc3986#section-3.3
347e155ab54SNan Zhou // 2.
348e155ab54SNan Zhou // https://docs.oasis-open.org/odata/odata/v4.01/os/abnf/odata-abnf-construction-rules.txt
349e155ab54SNan Zhou inline bool getSelectParam(std::string_view value, Query& query)
350e155ab54SNan Zhou {
351e155ab54SNan Zhou     std::vector<std::string> properties;
35250ebd4afSEd Tanous     bmcweb::split(properties, value, ',');
353e155ab54SNan Zhou     if (properties.empty())
354e155ab54SNan Zhou     {
355e155ab54SNan Zhou         return false;
356e155ab54SNan Zhou     }
357e155ab54SNan Zhou     // These a magic number, but with it it's less likely that this code
358e155ab54SNan Zhou     // introduces CVE; e.g., too large properties crash the service.
359e155ab54SNan Zhou     constexpr int maxNumProperties = 10;
360e155ab54SNan Zhou     if (properties.size() > maxNumProperties)
361e155ab54SNan Zhou     {
362e155ab54SNan Zhou         return false;
363e155ab54SNan Zhou     }
364827c4902SNan Zhou     for (const auto& property : properties)
365e155ab54SNan Zhou     {
366827c4902SNan Zhou         if (!query.selectTrie.insertNode(property))
367e155ab54SNan Zhou         {
368e155ab54SNan Zhou             return false;
369e155ab54SNan Zhou         }
370e155ab54SNan Zhou     }
371e155ab54SNan Zhou     return true;
372e155ab54SNan Zhou }
373e155ab54SNan Zhou 
374079360aeSEd Tanous inline std::optional<Query> parseParameters(boost::urls::params_view urlParams,
375f4c99e70SEd Tanous                                             crow::Response& res)
376f4c99e70SEd Tanous {
377f4c99e70SEd Tanous     Query ret;
378f4c99e70SEd Tanous     for (const boost::urls::params_view::value_type& it : urlParams)
379f4c99e70SEd Tanous     {
380079360aeSEd Tanous         if (it.key == "only")
381f4c99e70SEd Tanous         {
382f4c99e70SEd Tanous             if (!it.value.empty())
383f4c99e70SEd Tanous             {
384079360aeSEd Tanous                 messages::queryParameterValueFormatError(res, it.value, it.key);
385f4c99e70SEd Tanous                 return std::nullopt;
386f4c99e70SEd Tanous             }
387f4c99e70SEd Tanous             ret.isOnly = true;
388f4c99e70SEd Tanous         }
389079360aeSEd Tanous         else if (it.key == "$expand" && bmcwebInsecureEnableQueryParams)
3907cf436c9SEd Tanous         {
391079360aeSEd Tanous             if (!getExpandType(it.value, ret))
3927cf436c9SEd Tanous             {
393079360aeSEd Tanous                 messages::queryParameterValueFormatError(res, it.value, it.key);
3947cf436c9SEd Tanous                 return std::nullopt;
395f4c99e70SEd Tanous             }
3967cf436c9SEd Tanous         }
397079360aeSEd Tanous         else if (it.key == "$top")
398c937d2bfSEd Tanous         {
399079360aeSEd Tanous             QueryError topRet = getTopParam(it.value, ret);
400c937d2bfSEd Tanous             if (topRet == QueryError::ValueFormat)
401c937d2bfSEd Tanous             {
402079360aeSEd Tanous                 messages::queryParameterValueFormatError(res, it.value, it.key);
403c937d2bfSEd Tanous                 return std::nullopt;
404c937d2bfSEd Tanous             }
405c937d2bfSEd Tanous             if (topRet == QueryError::OutOfRange)
406c937d2bfSEd Tanous             {
407c937d2bfSEd Tanous                 messages::queryParameterOutOfRange(
408079360aeSEd Tanous                     res, it.value, "$top",
409079360aeSEd Tanous                     "0-" + std::to_string(Query::maxTop));
410c937d2bfSEd Tanous                 return std::nullopt;
411c937d2bfSEd Tanous             }
412c937d2bfSEd Tanous         }
413079360aeSEd Tanous         else if (it.key == "$skip")
414c937d2bfSEd Tanous         {
415079360aeSEd Tanous             QueryError topRet = getSkipParam(it.value, ret);
416c937d2bfSEd Tanous             if (topRet == QueryError::ValueFormat)
417c937d2bfSEd Tanous             {
418079360aeSEd Tanous                 messages::queryParameterValueFormatError(res, it.value, it.key);
419c937d2bfSEd Tanous                 return std::nullopt;
420c937d2bfSEd Tanous             }
421c937d2bfSEd Tanous             if (topRet == QueryError::OutOfRange)
422c937d2bfSEd Tanous             {
423c937d2bfSEd Tanous                 messages::queryParameterOutOfRange(
424079360aeSEd Tanous                     res, it.value, it.key,
425a926c53eSJiaqing Zhao                     "0-" + std::to_string(std::numeric_limits<size_t>::max()));
426c937d2bfSEd Tanous                 return std::nullopt;
427c937d2bfSEd Tanous             }
428c937d2bfSEd Tanous         }
429079360aeSEd Tanous         else if (it.key == "$select")
430e155ab54SNan Zhou         {
431079360aeSEd Tanous             if (!getSelectParam(it.value, ret))
432e155ab54SNan Zhou             {
433079360aeSEd Tanous                 messages::queryParameterValueFormatError(res, it.value, it.key);
434e155ab54SNan Zhou                 return std::nullopt;
435e155ab54SNan Zhou             }
436e155ab54SNan Zhou         }
4377cf436c9SEd Tanous         else
4387cf436c9SEd Tanous         {
4397cf436c9SEd Tanous             // Intentionally ignore other errors Redfish spec, 7.3.1
440079360aeSEd Tanous             if (it.key.starts_with("$"))
4417cf436c9SEd Tanous             {
4427cf436c9SEd Tanous                 // Services shall return... The HTTP 501 Not Implemented
4437cf436c9SEd Tanous                 // status code for any unsupported query parameters that
4447cf436c9SEd Tanous                 // start with $ .
445079360aeSEd Tanous                 messages::queryParameterValueFormatError(res, it.value, it.key);
4467cf436c9SEd Tanous                 res.result(boost::beast::http::status::not_implemented);
4477cf436c9SEd Tanous                 return std::nullopt;
4487cf436c9SEd Tanous             }
4497cf436c9SEd Tanous             // "Shall ignore unknown or unsupported query parameters that do
4507cf436c9SEd Tanous             // not begin with $ ."
4517cf436c9SEd Tanous         }
4527cf436c9SEd Tanous     }
4537cf436c9SEd Tanous 
454827c4902SNan Zhou     if (ret.expandType != ExpandType::None && !ret.selectTrie.root.empty())
455e155ab54SNan Zhou     {
456e155ab54SNan Zhou         messages::queryCombinationInvalid(res);
457e155ab54SNan Zhou         return std::nullopt;
458e155ab54SNan Zhou     }
459e155ab54SNan Zhou 
460f4c99e70SEd Tanous     return ret;
461f4c99e70SEd Tanous }
462f4c99e70SEd Tanous 
463f4c99e70SEd Tanous inline bool processOnly(crow::App& app, crow::Response& res,
464f4c99e70SEd Tanous                         std::function<void(crow::Response&)>& completionHandler)
465f4c99e70SEd Tanous {
46662598e31SEd Tanous     BMCWEB_LOG_DEBUG("Processing only query param");
467f4c99e70SEd Tanous     auto itMembers = res.jsonValue.find("Members");
468f4c99e70SEd Tanous     if (itMembers == res.jsonValue.end())
469f4c99e70SEd Tanous     {
470f4c99e70SEd Tanous         messages::queryNotSupportedOnResource(res);
471f4c99e70SEd Tanous         completionHandler(res);
472f4c99e70SEd Tanous         return false;
473f4c99e70SEd Tanous     }
474f4c99e70SEd Tanous     auto itMemBegin = itMembers->begin();
475f4c99e70SEd Tanous     if (itMemBegin == itMembers->end() || itMembers->size() != 1)
476f4c99e70SEd Tanous     {
47762598e31SEd Tanous         BMCWEB_LOG_DEBUG(
47862598e31SEd Tanous             "Members contains {} element, returning full collection.",
47962598e31SEd Tanous             itMembers->size());
480f4c99e70SEd Tanous         completionHandler(res);
481f4c99e70SEd Tanous         return false;
482f4c99e70SEd Tanous     }
483f4c99e70SEd Tanous 
484f4c99e70SEd Tanous     auto itUrl = itMemBegin->find("@odata.id");
485f4c99e70SEd Tanous     if (itUrl == itMemBegin->end())
486f4c99e70SEd Tanous     {
48762598e31SEd Tanous         BMCWEB_LOG_DEBUG("No found odata.id");
488f4c99e70SEd Tanous         messages::internalError(res);
489f4c99e70SEd Tanous         completionHandler(res);
490f4c99e70SEd Tanous         return false;
491f4c99e70SEd Tanous     }
492f4c99e70SEd Tanous     const std::string* url = itUrl->get_ptr<const std::string*>();
493f4c99e70SEd Tanous     if (url == nullptr)
494f4c99e70SEd Tanous     {
49562598e31SEd Tanous         BMCWEB_LOG_DEBUG("@odata.id wasn't a string????");
496f4c99e70SEd Tanous         messages::internalError(res);
497f4c99e70SEd Tanous         completionHandler(res);
498f4c99e70SEd Tanous         return false;
499f4c99e70SEd Tanous     }
500f4c99e70SEd Tanous     // TODO(Ed) copy request headers?
501f4c99e70SEd Tanous     // newReq.session = req.session;
502f4c99e70SEd Tanous     std::error_code ec;
503f4c99e70SEd Tanous     crow::Request newReq({boost::beast::http::verb::get, *url, 11}, ec);
504f4c99e70SEd Tanous     if (ec)
505f4c99e70SEd Tanous     {
506f4c99e70SEd Tanous         messages::internalError(res);
507f4c99e70SEd Tanous         completionHandler(res);
508f4c99e70SEd Tanous         return false;
509f4c99e70SEd Tanous     }
510f4c99e70SEd Tanous 
511f4c99e70SEd Tanous     auto asyncResp = std::make_shared<bmcweb::AsyncResp>();
51262598e31SEd Tanous     BMCWEB_LOG_DEBUG("setting completion handler on {}",
51362598e31SEd Tanous                      logPtr(&asyncResp->res));
514f4c99e70SEd Tanous     asyncResp->res.setCompleteRequestHandler(std::move(completionHandler));
515f4c99e70SEd Tanous     asyncResp->res.setIsAliveHelper(res.releaseIsAliveHelper());
516f4c99e70SEd Tanous     app.handle(newReq, asyncResp);
517f4c99e70SEd Tanous     return true;
518f4c99e70SEd Tanous }
519f4c99e70SEd Tanous 
5207cf436c9SEd Tanous struct ExpandNode
5217cf436c9SEd Tanous {
5227cf436c9SEd Tanous     nlohmann::json::json_pointer location;
5237cf436c9SEd Tanous     std::string uri;
5247cf436c9SEd Tanous 
5257cf436c9SEd Tanous     inline bool operator==(const ExpandNode& other) const
5267cf436c9SEd Tanous     {
5277cf436c9SEd Tanous         return location == other.location && uri == other.uri;
5287cf436c9SEd Tanous     }
5297cf436c9SEd Tanous };
5307cf436c9SEd Tanous 
53187788abfSEd Tanous inline void findNavigationReferencesInArrayRecursive(
532c59e338cSEd Tanous     ExpandType eType, nlohmann::json::array_t& array,
53337b1f7beSEd Tanous     const nlohmann::json::json_pointer& jsonPtr, int depth, int skipDepth,
53487788abfSEd Tanous     bool inLinks, std::vector<ExpandNode>& out);
53587788abfSEd Tanous 
53687788abfSEd Tanous inline void findNavigationReferencesInObjectRecursive(
537c59e338cSEd Tanous     ExpandType eType, nlohmann::json::object_t& obj,
53837b1f7beSEd Tanous     const nlohmann::json::json_pointer& jsonPtr, int depth, int skipDepth,
53987788abfSEd Tanous     bool inLinks, std::vector<ExpandNode>& out);
54087788abfSEd Tanous 
5417cf436c9SEd Tanous // Walks a json object looking for Redfish NavigationReference entries that
5427cf436c9SEd Tanous // might need resolved.  It recursively walks the jsonResponse object, looking
5437cf436c9SEd Tanous // for links at every level, and returns a list (out) of locations within the
5447cf436c9SEd Tanous // tree that need to be expanded.  The current json pointer location p is passed
5457cf436c9SEd Tanous // in to reference the current node that's being expanded, so it can be combined
5467cf436c9SEd Tanous // with the keys from the jsonResponse object
5477cf436c9SEd Tanous inline void findNavigationReferencesRecursive(
5487cf436c9SEd Tanous     ExpandType eType, nlohmann::json& jsonResponse,
54937b1f7beSEd Tanous     const nlohmann::json::json_pointer& jsonPtr, int depth, int skipDepth,
55032cdb4a7SWilly Tu     bool inLinks, std::vector<ExpandNode>& out)
5517cf436c9SEd Tanous {
5527cf436c9SEd Tanous     // If no expand is needed, return early
5537cf436c9SEd Tanous     if (eType == ExpandType::None)
5547cf436c9SEd Tanous     {
5557cf436c9SEd Tanous         return;
5567cf436c9SEd Tanous     }
557ad595fa6SEd Tanous 
5587cf436c9SEd Tanous     nlohmann::json::array_t* array =
5597cf436c9SEd Tanous         jsonResponse.get_ptr<nlohmann::json::array_t*>();
5607cf436c9SEd Tanous     if (array != nullptr)
5617cf436c9SEd Tanous     {
56237b1f7beSEd Tanous         findNavigationReferencesInArrayRecursive(eType, *array, jsonPtr, depth,
56387788abfSEd Tanous                                                  skipDepth, inLinks, out);
56487788abfSEd Tanous     }
56587788abfSEd Tanous     nlohmann::json::object_t* obj =
56687788abfSEd Tanous         jsonResponse.get_ptr<nlohmann::json::object_t*>();
56787788abfSEd Tanous     if (obj == nullptr)
56887788abfSEd Tanous     {
56987788abfSEd Tanous         return;
57087788abfSEd Tanous     }
57137b1f7beSEd Tanous     findNavigationReferencesInObjectRecursive(eType, *obj, jsonPtr, depth,
57237b1f7beSEd Tanous                                               skipDepth, inLinks, out);
57387788abfSEd Tanous }
57487788abfSEd Tanous 
57587788abfSEd Tanous inline void findNavigationReferencesInArrayRecursive(
576c59e338cSEd Tanous     ExpandType eType, nlohmann::json::array_t& array,
57737b1f7beSEd Tanous     const nlohmann::json::json_pointer& jsonPtr, int depth, int skipDepth,
57887788abfSEd Tanous     bool inLinks, std::vector<ExpandNode>& out)
57987788abfSEd Tanous {
5807cf436c9SEd Tanous     size_t index = 0;
5817cf436c9SEd Tanous     // For arrays, walk every element in the array
582c59e338cSEd Tanous     for (auto& element : array)
5837cf436c9SEd Tanous     {
58437b1f7beSEd Tanous         nlohmann::json::json_pointer newPtr = jsonPtr / index;
58562598e31SEd Tanous         BMCWEB_LOG_DEBUG("Traversing response at {}", newPtr.to_string());
586ad595fa6SEd Tanous         findNavigationReferencesRecursive(eType, element, newPtr, depth,
58732cdb4a7SWilly Tu                                           skipDepth, inLinks, out);
5887cf436c9SEd Tanous         index++;
5897cf436c9SEd Tanous     }
5907cf436c9SEd Tanous }
59187788abfSEd Tanous 
59287788abfSEd Tanous inline void findNavigationReferencesInObjectRecursive(
593c59e338cSEd Tanous     ExpandType eType, nlohmann::json::object_t& obj,
59437b1f7beSEd Tanous     const nlohmann::json::json_pointer& jsonPtr, int depth, int skipDepth,
59587788abfSEd Tanous     bool inLinks, std::vector<ExpandNode>& out)
5967cf436c9SEd Tanous {
5977cf436c9SEd Tanous     // Navigation References only ever have a single element
598c59e338cSEd Tanous     if (obj.size() == 1)
5997cf436c9SEd Tanous     {
600c59e338cSEd Tanous         if (obj.begin()->first == "@odata.id")
6017cf436c9SEd Tanous         {
6027cf436c9SEd Tanous             const std::string* uri =
603c59e338cSEd Tanous                 obj.begin()->second.get_ptr<const std::string*>();
6047cf436c9SEd Tanous             if (uri != nullptr)
6057cf436c9SEd Tanous             {
60662598e31SEd Tanous                 BMCWEB_LOG_DEBUG("Found {} at {}", *uri, jsonPtr.to_string());
60732cdb4a7SWilly Tu                 if (skipDepth == 0)
60832cdb4a7SWilly Tu                 {
60937b1f7beSEd Tanous                     out.push_back({jsonPtr, *uri});
61032cdb4a7SWilly Tu                 }
611ad595fa6SEd Tanous                 return;
6127cf436c9SEd Tanous             }
6137cf436c9SEd Tanous         }
6147cf436c9SEd Tanous     }
615ad595fa6SEd Tanous 
616ad595fa6SEd Tanous     int newDepth = depth;
617c59e338cSEd Tanous     auto odataId = obj.find("@odata.id");
618c59e338cSEd Tanous     if (odataId != obj.end())
619ad595fa6SEd Tanous     {
620ad595fa6SEd Tanous         // The Redfish spec requires all resources to include the resource
621ad595fa6SEd Tanous         // identifier.  If the object has multiple elements and one of them is
622ad595fa6SEd Tanous         // "@odata.id" then that means we have entered a new level / expanded
623ad595fa6SEd Tanous         // resource.  We need to stop traversing if we're already at the desired
624ad595fa6SEd Tanous         // depth
625c59e338cSEd Tanous         if (obj.size() > 1)
62632cdb4a7SWilly Tu         {
62732cdb4a7SWilly Tu             if (depth == 0)
628ad595fa6SEd Tanous             {
629ad595fa6SEd Tanous                 return;
630ad595fa6SEd Tanous             }
63132cdb4a7SWilly Tu             if (skipDepth > 0)
63232cdb4a7SWilly Tu             {
63332cdb4a7SWilly Tu                 skipDepth--;
63432cdb4a7SWilly Tu             }
63532cdb4a7SWilly Tu         }
63632cdb4a7SWilly Tu 
63732cdb4a7SWilly Tu         if (skipDepth == 0)
63832cdb4a7SWilly Tu         {
639ad595fa6SEd Tanous             newDepth--;
640ad595fa6SEd Tanous         }
64132cdb4a7SWilly Tu     }
642ad595fa6SEd Tanous 
6437cf436c9SEd Tanous     // Loop the object and look for links
644c59e338cSEd Tanous     for (auto& element : obj)
6457cf436c9SEd Tanous     {
646e479ad58SNan Zhou         bool localInLinks = inLinks;
647e479ad58SNan Zhou         if (!localInLinks)
6487cf436c9SEd Tanous         {
6497cf436c9SEd Tanous             // Check if this is a links node
650e479ad58SNan Zhou             localInLinks = element.first == "Links";
6517cf436c9SEd Tanous         }
6527cf436c9SEd Tanous         // Only traverse the parts of the tree the user asked for
6537cf436c9SEd Tanous         // Per section 7.3 of the redfish specification
654e479ad58SNan Zhou         if (localInLinks && eType == ExpandType::NotLinks)
6557cf436c9SEd Tanous         {
6567cf436c9SEd Tanous             continue;
6577cf436c9SEd Tanous         }
658e479ad58SNan Zhou         if (!localInLinks && eType == ExpandType::Links)
6597cf436c9SEd Tanous         {
6607cf436c9SEd Tanous             continue;
6617cf436c9SEd Tanous         }
66237b1f7beSEd Tanous         nlohmann::json::json_pointer newPtr = jsonPtr / element.first;
66362598e31SEd Tanous         BMCWEB_LOG_DEBUG("Traversing response at {}", newPtr);
6647cf436c9SEd Tanous 
6657cf436c9SEd Tanous         findNavigationReferencesRecursive(eType, element.second, newPtr,
66632cdb4a7SWilly Tu                                           newDepth, skipDepth, localInLinks,
66732cdb4a7SWilly Tu                                           out);
6687cf436c9SEd Tanous     }
6697cf436c9SEd Tanous }
6707cf436c9SEd Tanous 
671ad595fa6SEd Tanous // TODO: When aggregation is enabled and we receive a partially expanded
672ad595fa6SEd Tanous // response we may need need additional handling when the original URI was
673ad595fa6SEd Tanous // up tree from a top level collection.
674ad595fa6SEd Tanous // Isn't a concern until https://gerrit.openbmc.org/c/openbmc/bmcweb/+/60556
675ad595fa6SEd Tanous // lands.  May want to avoid forwarding query params when request is uptree from
676ad595fa6SEd Tanous // a top level collection.
6777cf436c9SEd Tanous inline std::vector<ExpandNode>
67832cdb4a7SWilly Tu     findNavigationReferences(ExpandType eType, int depth, int skipDepth,
679ad595fa6SEd Tanous                              nlohmann::json& jsonResponse)
6807cf436c9SEd Tanous {
6817cf436c9SEd Tanous     std::vector<ExpandNode> ret;
68272c3ae33SNan Zhou     const nlohmann::json::json_pointer root = nlohmann::json::json_pointer("");
68332cdb4a7SWilly Tu     // SkipDepth +1 since we are skipping the root by default.
68432cdb4a7SWilly Tu     findNavigationReferencesRecursive(eType, jsonResponse, root, depth,
68532cdb4a7SWilly Tu                                       skipDepth + 1, false, ret);
6867cf436c9SEd Tanous     return ret;
6877cf436c9SEd Tanous }
6887cf436c9SEd Tanous 
68972c3ae33SNan Zhou // Formats a query parameter string for the sub-query.
690b66cf2a2SNan Zhou // Returns std::nullopt on failures.
69172c3ae33SNan Zhou // This function shall handle $select when it is added.
69272c3ae33SNan Zhou // There is no need to handle parameters that's not campatible with $expand,
69372c3ae33SNan Zhou // e.g., $only, since this function will only be called in side $expand handlers
694b66cf2a2SNan Zhou inline std::optional<std::string> formatQueryForExpand(const Query& query)
69572c3ae33SNan Zhou {
69672c3ae33SNan Zhou     // query.expandLevel<=1: no need to do subqueries
69772c3ae33SNan Zhou     if (query.expandLevel <= 1)
69872c3ae33SNan Zhou     {
699b66cf2a2SNan Zhou         return "";
70072c3ae33SNan Zhou     }
70172c3ae33SNan Zhou     std::string str = "?$expand=";
702b66cf2a2SNan Zhou     bool queryTypeExpected = false;
70372c3ae33SNan Zhou     switch (query.expandType)
70472c3ae33SNan Zhou     {
70572c3ae33SNan Zhou         case ExpandType::None:
706b66cf2a2SNan Zhou             return "";
70772c3ae33SNan Zhou         case ExpandType::Links:
708b66cf2a2SNan Zhou             queryTypeExpected = true;
70972c3ae33SNan Zhou             str += '~';
71072c3ae33SNan Zhou             break;
71172c3ae33SNan Zhou         case ExpandType::NotLinks:
712b66cf2a2SNan Zhou             queryTypeExpected = true;
71372c3ae33SNan Zhou             str += '.';
71472c3ae33SNan Zhou             break;
71572c3ae33SNan Zhou         case ExpandType::Both:
716b66cf2a2SNan Zhou             queryTypeExpected = true;
71772c3ae33SNan Zhou             str += '*';
71872c3ae33SNan Zhou             break;
719b66cf2a2SNan Zhou     }
720b66cf2a2SNan Zhou     if (!queryTypeExpected)
721b66cf2a2SNan Zhou     {
722b66cf2a2SNan Zhou         return std::nullopt;
72372c3ae33SNan Zhou     }
72472c3ae33SNan Zhou     str += "($levels=";
72572c3ae33SNan Zhou     str += std::to_string(query.expandLevel - 1);
72672c3ae33SNan Zhou     str += ')';
72772c3ae33SNan Zhou     return str;
72872c3ae33SNan Zhou }
72972c3ae33SNan Zhou 
7303590bd1dSNan Zhou // Propogates the worst error code to the final response.
7313590bd1dSNan Zhou // The order of error code is (from high to low)
7323590bd1dSNan Zhou // 500 Internal Server Error
7333590bd1dSNan Zhou // 511 Network Authentication Required
7343590bd1dSNan Zhou // 510 Not Extended
7353590bd1dSNan Zhou // 508 Loop Detected
7363590bd1dSNan Zhou // 507 Insufficient Storage
7373590bd1dSNan Zhou // 506 Variant Also Negotiates
7383590bd1dSNan Zhou // 505 HTTP Version Not Supported
7393590bd1dSNan Zhou // 504 Gateway Timeout
7403590bd1dSNan Zhou // 503 Service Unavailable
7413590bd1dSNan Zhou // 502 Bad Gateway
7423590bd1dSNan Zhou // 501 Not Implemented
7433590bd1dSNan Zhou // 401 Unauthorized
7443590bd1dSNan Zhou // 451 - 409 Error codes (not listed explictly)
7453590bd1dSNan Zhou // 408 Request Timeout
7463590bd1dSNan Zhou // 407 Proxy Authentication Required
7473590bd1dSNan Zhou // 406 Not Acceptable
7483590bd1dSNan Zhou // 405 Method Not Allowed
7493590bd1dSNan Zhou // 404 Not Found
7503590bd1dSNan Zhou // 403 Forbidden
7513590bd1dSNan Zhou // 402 Payment Required
7523590bd1dSNan Zhou // 400 Bad Request
7533590bd1dSNan Zhou inline unsigned propogateErrorCode(unsigned finalCode, unsigned subResponseCode)
7543590bd1dSNan Zhou {
7553590bd1dSNan Zhou     // We keep a explicit list for error codes that this project often uses
7563590bd1dSNan Zhou     // Higer priority codes are in lower indexes
7573590bd1dSNan Zhou     constexpr std::array<unsigned, 13> orderedCodes = {
7583590bd1dSNan Zhou         500, 507, 503, 502, 501, 401, 412, 409, 406, 405, 404, 403, 400};
7593590bd1dSNan Zhou     size_t finalCodeIndex = std::numeric_limits<size_t>::max();
7603590bd1dSNan Zhou     size_t subResponseCodeIndex = std::numeric_limits<size_t>::max();
7613590bd1dSNan Zhou     for (size_t i = 0; i < orderedCodes.size(); ++i)
7623590bd1dSNan Zhou     {
7633590bd1dSNan Zhou         if (orderedCodes[i] == finalCode)
7643590bd1dSNan Zhou         {
7653590bd1dSNan Zhou             finalCodeIndex = i;
7663590bd1dSNan Zhou         }
7673590bd1dSNan Zhou         if (orderedCodes[i] == subResponseCode)
7683590bd1dSNan Zhou         {
7693590bd1dSNan Zhou             subResponseCodeIndex = i;
7703590bd1dSNan Zhou         }
7713590bd1dSNan Zhou     }
7723590bd1dSNan Zhou     if (finalCodeIndex != std::numeric_limits<size_t>::max() &&
7733590bd1dSNan Zhou         subResponseCodeIndex != std::numeric_limits<size_t>::max())
7743590bd1dSNan Zhou     {
7753590bd1dSNan Zhou         return finalCodeIndex <= subResponseCodeIndex ? finalCode
7763590bd1dSNan Zhou                                                       : subResponseCode;
7773590bd1dSNan Zhou     }
7783590bd1dSNan Zhou     if (subResponseCode == 500 || finalCode == 500)
7793590bd1dSNan Zhou     {
7803590bd1dSNan Zhou         return 500;
7813590bd1dSNan Zhou     }
7823590bd1dSNan Zhou     if (subResponseCode > 500 || finalCode > 500)
7833590bd1dSNan Zhou     {
7843590bd1dSNan Zhou         return std::max(finalCode, subResponseCode);
7853590bd1dSNan Zhou     }
7863590bd1dSNan Zhou     if (subResponseCode == 401)
7873590bd1dSNan Zhou     {
7883590bd1dSNan Zhou         return subResponseCode;
7893590bd1dSNan Zhou     }
7903590bd1dSNan Zhou     return std::max(finalCode, subResponseCode);
7913590bd1dSNan Zhou }
7923590bd1dSNan Zhou 
7933590bd1dSNan Zhou // Propogates all error messages into |finalResponse|
7943590bd1dSNan Zhou inline void propogateError(crow::Response& finalResponse,
7953590bd1dSNan Zhou                            crow::Response& subResponse)
7963590bd1dSNan Zhou {
7973590bd1dSNan Zhou     // no errors
7983590bd1dSNan Zhou     if (subResponse.resultInt() >= 200 && subResponse.resultInt() < 400)
7993590bd1dSNan Zhou     {
8003590bd1dSNan Zhou         return;
8013590bd1dSNan Zhou     }
8023590bd1dSNan Zhou     messages::moveErrorsToErrorJson(finalResponse.jsonValue,
8033590bd1dSNan Zhou                                     subResponse.jsonValue);
8043590bd1dSNan Zhou     finalResponse.result(
8053590bd1dSNan Zhou         propogateErrorCode(finalResponse.resultInt(), subResponse.resultInt()));
8063590bd1dSNan Zhou }
8073590bd1dSNan Zhou 
8087cf436c9SEd Tanous class MultiAsyncResp : public std::enable_shared_from_this<MultiAsyncResp>
8097cf436c9SEd Tanous {
8107cf436c9SEd Tanous   public:
8117cf436c9SEd Tanous     // This object takes a single asyncResp object as the "final" one, then
8127cf436c9SEd Tanous     // allows callers to attach sub-responses within the json tree that need
8137cf436c9SEd Tanous     // to be executed and filled into their appropriate locations.  This
8147cf436c9SEd Tanous     // class manages the final "merge" of the json resources.
8158a592810SEd Tanous     MultiAsyncResp(crow::App& appIn,
8167cf436c9SEd Tanous                    std::shared_ptr<bmcweb::AsyncResp> finalResIn) :
8178a592810SEd Tanous         app(appIn),
8187cf436c9SEd Tanous         finalRes(std::move(finalResIn))
8197cf436c9SEd Tanous     {}
8207cf436c9SEd Tanous 
8217cf436c9SEd Tanous     void addAwaitingResponse(
82202cad96eSEd Tanous         const std::shared_ptr<bmcweb::AsyncResp>& res,
8237cf436c9SEd Tanous         const nlohmann::json::json_pointer& finalExpandLocation)
8247cf436c9SEd Tanous     {
8257cf436c9SEd Tanous         res->res.setCompleteRequestHandler(std::bind_front(
82672c3ae33SNan Zhou             placeResultStatic, shared_from_this(), finalExpandLocation));
8277cf436c9SEd Tanous     }
8287cf436c9SEd Tanous 
82972c3ae33SNan Zhou     void placeResult(const nlohmann::json::json_pointer& locationToPlace,
8307cf436c9SEd Tanous                      crow::Response& res)
8317cf436c9SEd Tanous     {
83262598e31SEd Tanous         BMCWEB_LOG_DEBUG("placeResult for {}", locationToPlace);
8333590bd1dSNan Zhou         propogateError(finalRes->res, res);
8343590bd1dSNan Zhou         if (!res.jsonValue.is_object() || res.jsonValue.empty())
8353590bd1dSNan Zhou         {
8363590bd1dSNan Zhou             return;
8373590bd1dSNan Zhou         }
8387cf436c9SEd Tanous         nlohmann::json& finalObj = finalRes->res.jsonValue[locationToPlace];
8397cf436c9SEd Tanous         finalObj = std::move(res.jsonValue);
8407cf436c9SEd Tanous     }
8417cf436c9SEd Tanous 
84272c3ae33SNan Zhou     // Handles the very first level of Expand, and starts a chain of sub-queries
84372c3ae33SNan Zhou     // for deeper levels.
84432cdb4a7SWilly Tu     void startQuery(const Query& query, const Query& delegated)
84572c3ae33SNan Zhou     {
846ad595fa6SEd Tanous         std::vector<ExpandNode> nodes = findNavigationReferences(
84732cdb4a7SWilly Tu             query.expandType, query.expandLevel, delegated.expandLevel,
84832cdb4a7SWilly Tu             finalRes->res.jsonValue);
84962598e31SEd Tanous         BMCWEB_LOG_DEBUG("{} nodes to traverse", nodes.size());
850b66cf2a2SNan Zhou         const std::optional<std::string> queryStr = formatQueryForExpand(query);
851b66cf2a2SNan Zhou         if (!queryStr)
852b66cf2a2SNan Zhou         {
853b66cf2a2SNan Zhou             messages::internalError(finalRes->res);
854b66cf2a2SNan Zhou             return;
855b66cf2a2SNan Zhou         }
8567cf436c9SEd Tanous         for (const ExpandNode& node : nodes)
8577cf436c9SEd Tanous         {
858b66cf2a2SNan Zhou             const std::string subQuery = node.uri + *queryStr;
85962598e31SEd Tanous             BMCWEB_LOG_DEBUG("URL of subquery:  {}", subQuery);
8607cf436c9SEd Tanous             std::error_code ec;
86172c3ae33SNan Zhou             crow::Request newReq({boost::beast::http::verb::get, subQuery, 11},
8627cf436c9SEd Tanous                                  ec);
8637cf436c9SEd Tanous             if (ec)
8647cf436c9SEd Tanous             {
86572c3ae33SNan Zhou                 messages::internalError(finalRes->res);
8667cf436c9SEd Tanous                 return;
8677cf436c9SEd Tanous             }
8687cf436c9SEd Tanous 
8697cf436c9SEd Tanous             auto asyncResp = std::make_shared<bmcweb::AsyncResp>();
87062598e31SEd Tanous             BMCWEB_LOG_DEBUG("setting completion handler on {}",
87162598e31SEd Tanous                              logPtr(&asyncResp->res));
87272c3ae33SNan Zhou 
87372c3ae33SNan Zhou             addAwaitingResponse(asyncResp, node.location);
8747cf436c9SEd Tanous             app.handle(newReq, asyncResp);
8757cf436c9SEd Tanous         }
8767cf436c9SEd Tanous     }
8777cf436c9SEd Tanous 
8787cf436c9SEd Tanous   private:
87972c3ae33SNan Zhou     static void
88072c3ae33SNan Zhou         placeResultStatic(const std::shared_ptr<MultiAsyncResp>& multi,
8817cf436c9SEd Tanous                           const nlohmann::json::json_pointer& locationToPlace,
8827cf436c9SEd Tanous                           crow::Response& res)
8837cf436c9SEd Tanous     {
88472c3ae33SNan Zhou         multi->placeResult(locationToPlace, res);
8857cf436c9SEd Tanous     }
8867cf436c9SEd Tanous 
8877cf436c9SEd Tanous     crow::App& app;
8887cf436c9SEd Tanous     std::shared_ptr<bmcweb::AsyncResp> finalRes;
8897cf436c9SEd Tanous };
8907cf436c9SEd Tanous 
8912a68dc80SEd Tanous inline void processTopAndSkip(const Query& query, crow::Response& res)
8922a68dc80SEd Tanous {
8933648c8beSEd Tanous     if (!query.skip && !query.top)
8943648c8beSEd Tanous     {
8953648c8beSEd Tanous         // No work to do.
8963648c8beSEd Tanous         return;
8973648c8beSEd Tanous     }
8982a68dc80SEd Tanous     nlohmann::json::object_t* obj =
8992a68dc80SEd Tanous         res.jsonValue.get_ptr<nlohmann::json::object_t*>();
9002a68dc80SEd Tanous     if (obj == nullptr)
9012a68dc80SEd Tanous     {
9022a68dc80SEd Tanous         // Shouldn't be possible.  All responses should be objects.
9032a68dc80SEd Tanous         messages::internalError(res);
9042a68dc80SEd Tanous         return;
9052a68dc80SEd Tanous     }
9062a68dc80SEd Tanous 
90762598e31SEd Tanous     BMCWEB_LOG_DEBUG("Handling top/skip");
9082a68dc80SEd Tanous     nlohmann::json::object_t::iterator members = obj->find("Members");
9092a68dc80SEd Tanous     if (members == obj->end())
9102a68dc80SEd Tanous     {
9112a68dc80SEd Tanous         // From the Redfish specification 7.3.1
9122a68dc80SEd Tanous         // ... the HTTP 400 Bad Request status code with the
9132a68dc80SEd Tanous         // QueryNotSupportedOnResource message from the Base Message Registry
9142a68dc80SEd Tanous         // for any supported query parameters that apply only to resource
9152a68dc80SEd Tanous         // collections but are used on singular resources.
9162a68dc80SEd Tanous         messages::queryNotSupportedOnResource(res);
9172a68dc80SEd Tanous         return;
9182a68dc80SEd Tanous     }
9192a68dc80SEd Tanous 
9202a68dc80SEd Tanous     nlohmann::json::array_t* arr =
9212a68dc80SEd Tanous         members->second.get_ptr<nlohmann::json::array_t*>();
9222a68dc80SEd Tanous     if (arr == nullptr)
9232a68dc80SEd Tanous     {
9242a68dc80SEd Tanous         messages::internalError(res);
9252a68dc80SEd Tanous         return;
9262a68dc80SEd Tanous     }
9272a68dc80SEd Tanous 
9283648c8beSEd Tanous     if (query.skip)
9293648c8beSEd Tanous     {
9303648c8beSEd Tanous         // Per section 7.3.1 of the Redfish specification, $skip is run before
9313648c8beSEd Tanous         // $top Can only skip as many values as we have
9323648c8beSEd Tanous         size_t skip = std::min(arr->size(), *query.skip);
9332a68dc80SEd Tanous         arr->erase(arr->begin(), arr->begin() + static_cast<ssize_t>(skip));
9343648c8beSEd Tanous     }
9353648c8beSEd Tanous     if (query.top)
9363648c8beSEd Tanous     {
9373648c8beSEd Tanous         size_t top = std::min(arr->size(), *query.top);
9382a68dc80SEd Tanous         arr->erase(arr->begin() + static_cast<ssize_t>(top), arr->end());
9392a68dc80SEd Tanous     }
9403648c8beSEd Tanous }
9412a68dc80SEd Tanous 
942827c4902SNan Zhou // Given a JSON subtree |currRoot|, this function erases leaves whose keys are
943827c4902SNan Zhou // not in the |currNode| Trie node.
944827c4902SNan Zhou inline void recursiveSelect(nlohmann::json& currRoot,
945827c4902SNan Zhou                             const SelectTrieNode& currNode)
946e155ab54SNan Zhou {
947e155ab54SNan Zhou     nlohmann::json::object_t* object =
948e155ab54SNan Zhou         currRoot.get_ptr<nlohmann::json::object_t*>();
949e155ab54SNan Zhou     if (object != nullptr)
950e155ab54SNan Zhou     {
95162598e31SEd Tanous         BMCWEB_LOG_DEBUG("Current JSON is an object");
952e155ab54SNan Zhou         auto it = currRoot.begin();
953e155ab54SNan Zhou         while (it != currRoot.end())
954e155ab54SNan Zhou         {
955e155ab54SNan Zhou             auto nextIt = std::next(it);
95662598e31SEd Tanous             BMCWEB_LOG_DEBUG("key={}", it.key());
957827c4902SNan Zhou             const SelectTrieNode* nextNode = currNode.find(it.key());
9585c9fb2d6SNan Zhou             // Per the Redfish spec section 7.3.3, the service shall select
9595c9fb2d6SNan Zhou             // certain properties as if $select was omitted. This applies to
9605c9fb2d6SNan Zhou             // every TrieNode that contains leaves and the root.
9615c9fb2d6SNan Zhou             constexpr std::array<std::string_view, 5> reservedProperties = {
9625c9fb2d6SNan Zhou                 "@odata.id", "@odata.type", "@odata.context", "@odata.etag",
9635c9fb2d6SNan Zhou                 "error"};
964*3544d2a7SEd Tanous             bool reserved = std::ranges::find(reservedProperties, it.key()) !=
965*3544d2a7SEd Tanous                             reservedProperties.end();
9665c9fb2d6SNan Zhou             if (reserved || (nextNode != nullptr && nextNode->isSelected()))
967e155ab54SNan Zhou             {
968e155ab54SNan Zhou                 it = nextIt;
969e155ab54SNan Zhou                 continue;
970e155ab54SNan Zhou             }
971827c4902SNan Zhou             if (nextNode != nullptr)
972e155ab54SNan Zhou             {
97362598e31SEd Tanous                 BMCWEB_LOG_DEBUG("Recursively select: {}", it.key());
974827c4902SNan Zhou                 recursiveSelect(*it, *nextNode);
975e155ab54SNan Zhou                 it = nextIt;
976e155ab54SNan Zhou                 continue;
977e155ab54SNan Zhou             }
97862598e31SEd Tanous             BMCWEB_LOG_DEBUG("{} is getting removed!", it.key());
979e155ab54SNan Zhou             it = currRoot.erase(it);
980e155ab54SNan Zhou         }
981e155ab54SNan Zhou     }
9825c9fb2d6SNan Zhou     nlohmann::json::array_t* array =
9835c9fb2d6SNan Zhou         currRoot.get_ptr<nlohmann::json::array_t*>();
9845c9fb2d6SNan Zhou     if (array != nullptr)
9855c9fb2d6SNan Zhou     {
98662598e31SEd Tanous         BMCWEB_LOG_DEBUG("Current JSON is an array");
9875c9fb2d6SNan Zhou         // Array index is omitted, so reuse the same Trie node
9885c9fb2d6SNan Zhou         for (nlohmann::json& nextRoot : *array)
9895c9fb2d6SNan Zhou         {
9905c9fb2d6SNan Zhou             recursiveSelect(nextRoot, currNode);
9915c9fb2d6SNan Zhou         }
9925c9fb2d6SNan Zhou     }
993e155ab54SNan Zhou }
994e155ab54SNan Zhou 
995e155ab54SNan Zhou // The current implementation of $select still has the following TODOs due to
996e155ab54SNan Zhou //  ambiguity and/or complexity.
9975c9fb2d6SNan Zhou // 1. combined with $expand; https://github.com/DMTF/Redfish/issues/5058 was
998e155ab54SNan Zhou // created for clarification.
9995c9fb2d6SNan Zhou // 2. respect the full odata spec; e.g., deduplication, namespace, star (*),
1000e155ab54SNan Zhou // etc.
1001e155ab54SNan Zhou inline void processSelect(crow::Response& intermediateResponse,
1002827c4902SNan Zhou                           const SelectTrieNode& trieRoot)
1003e155ab54SNan Zhou {
100462598e31SEd Tanous     BMCWEB_LOG_DEBUG("Process $select quary parameter");
1005827c4902SNan Zhou     recursiveSelect(intermediateResponse.jsonValue, trieRoot);
1006e155ab54SNan Zhou }
1007e155ab54SNan Zhou 
10087cf436c9SEd Tanous inline void
100932cdb4a7SWilly Tu     processAllParams(crow::App& app, const Query& query, const Query& delegated,
10107cf436c9SEd Tanous                      std::function<void(crow::Response&)>& completionHandler,
10117cf436c9SEd Tanous                      crow::Response& intermediateResponse)
1012f4c99e70SEd Tanous {
1013f4c99e70SEd Tanous     if (!completionHandler)
1014f4c99e70SEd Tanous     {
101562598e31SEd Tanous         BMCWEB_LOG_DEBUG("Function was invalid?");
1016f4c99e70SEd Tanous         return;
1017f4c99e70SEd Tanous     }
1018f4c99e70SEd Tanous 
101962598e31SEd Tanous     BMCWEB_LOG_DEBUG("Processing query params");
1020f4c99e70SEd Tanous     // If the request failed, there's no reason to even try to run query
1021f4c99e70SEd Tanous     // params.
1022f4c99e70SEd Tanous     if (intermediateResponse.resultInt() < 200 ||
1023f4c99e70SEd Tanous         intermediateResponse.resultInt() >= 400)
1024f4c99e70SEd Tanous     {
1025f4c99e70SEd Tanous         completionHandler(intermediateResponse);
1026f4c99e70SEd Tanous         return;
1027f4c99e70SEd Tanous     }
1028f4c99e70SEd Tanous     if (query.isOnly)
1029f4c99e70SEd Tanous     {
1030f4c99e70SEd Tanous         processOnly(app, intermediateResponse, completionHandler);
1031f4c99e70SEd Tanous         return;
1032f4c99e70SEd Tanous     }
10332a68dc80SEd Tanous 
10343648c8beSEd Tanous     if (query.top || query.skip)
10352a68dc80SEd Tanous     {
10362a68dc80SEd Tanous         processTopAndSkip(query, intermediateResponse);
10372a68dc80SEd Tanous     }
10382a68dc80SEd Tanous 
10397cf436c9SEd Tanous     if (query.expandType != ExpandType::None)
10407cf436c9SEd Tanous     {
104162598e31SEd Tanous         BMCWEB_LOG_DEBUG("Executing expand query");
104213548d85SEd Tanous         auto asyncResp = std::make_shared<bmcweb::AsyncResp>(
104313548d85SEd Tanous             std::move(intermediateResponse));
10447cf436c9SEd Tanous 
104513548d85SEd Tanous         asyncResp->res.setCompleteRequestHandler(std::move(completionHandler));
104613548d85SEd Tanous         auto multi = std::make_shared<MultiAsyncResp>(app, asyncResp);
104732cdb4a7SWilly Tu         multi->startQuery(query, delegated);
10487cf436c9SEd Tanous         return;
10497cf436c9SEd Tanous     }
1050e155ab54SNan Zhou 
1051e155ab54SNan Zhou     // According to Redfish Spec Section 7.3.1, $select is the last parameter to
1052e155ab54SNan Zhou     // to process
1053827c4902SNan Zhou     if (!query.selectTrie.root.empty())
1054e155ab54SNan Zhou     {
1055827c4902SNan Zhou         processSelect(intermediateResponse, query.selectTrie.root);
1056e155ab54SNan Zhou     }
1057e155ab54SNan Zhou 
1058f4c99e70SEd Tanous     completionHandler(intermediateResponse);
1059f4c99e70SEd Tanous }
1060f4c99e70SEd Tanous 
1061f4c99e70SEd Tanous } // namespace query_param
1062f4c99e70SEd Tanous } // namespace redfish
1063