فئة ara::diag::DiagnosticSovdRecordContentElementDataView

الاستخدام

تُدرج الدالة المتزامنة [SWS_DM_02288] قيمة عدد صحيح ذي إشارة (std::int64_t) تحت المفتاح المحدد key (ara::core::StringView) في بنية بيانات SOVD. وقد تم الإعلان عنها كدالة تابعة للفئة ara::diag::DiagnosticSovdRecordContentElementDataView وتضمينها عبر الترويسة ara/diag/diagnostic_sovd_content_element_data.h.

المتطلبات ومعالجة الأخطاء

وفقًا لـ [SWS_DM_02288]، يجب أن يكون كائن DiagnosticSovdContentElementData الأساسي من النوع RecordContentElementData أو ContentData، في حين يجب ألا يكون العنصر المراد إضافته نفسه ContentData. تم تعريف الدالة كـ noexcept وتُرجع ara::core::Result<void>. وإذا فشلت العملية – على سبيل المثال لأن الحاوية الهدف ذات نوع غير متوافق أو لا يمكن إضافة العنصر – فإن النتيجة تحتوي على رمز خطأ؛ تفسير: من المحتمل أن يكون هذا هو الحال أيضًا في حالة تعارض المفاتيح. سؤال Q-524c832a794559b7 (مفتوح)

التزامن والتفاعل

تم تحديد التنفيذ بأنه آمن مؤشريًا وآمن استثنائيًا [SWS_DM_02288]. وتوجد داخل الواجهة تحميلات زائدة مطابقة للنوع للأعداد الصحيحة عديمة الإشارة ([SWS_DM_02289])، وأعداد الفاصلة العائمة ([SWS_DM_02290])، والقيم المنطقية ([SWS_DM_02291])، والسلاسل النصية ([SWS_DM_02292])، وكذلك عناصر البيانات المتداخلة ([SWS_DM_02293]). كما يتم توفير نفس الدالة في الفئة الحاملة DiagnosticSovdContentElementData ([SWS_DM_02368]).

تُستخدم دالة العضو المتزامنة Add للفئة ara::diag::DiagnosticSovdRecordContentElementDataView لإضافة قيمة عدد صحيح غير موقع 64 بت تحت مفتاح محدد ([SWS_DM_02289]). تُستخدم كجزء من وظائف SOVD في Diagnostic Management، والتي توفر اتصالات تشخيصية وفقًا لـ ASAM SOVD (AUTOSAR_AP_SWS_Diagnostics §1.0 «Introduction and functional overview»، [SWS_DM_01369]).

الاستخدام والاستدعاء

يتم تضمين الطريقة عبر ملف الرأس ara/diag/diagnostic_sovd_content_element_data.h. وتتوقع كمعاملات المعرف key كـ ara::core::StringView والقيمة المراد إضافتها content_element كـ std::uint64_t ([SWS_DM_02289]). يتم الاستدعاء بشكل متزامن، وهو محدد كـ noexcept ويُرجع النتيجة في شكل ara::core::Result<void>.

معالجة الأخطاء والشروط الحدية

• شروط النوع: يجب أن يكون DiagnosticSovdContentElementData المنشأ إما من النوع RecordContentElementData أو ContentData. علاوة على ذلك، يجب ألا يكون العنصر المراد إضافته نفسه من النوع ContentData ([SWS_DM_02289]).
• سلوك الخطأ: إذا تم انتهاك أحد متطلبات النوع هذه أو تعذر إضافة العنصر، تُرجع الدالة ara::core::Result خاطئًا ([SWS_DM_02289]). لا تذكر المواصفة رموز خطأ معينة في هذا الموضع؛ من المحتمل أن يقدم كائن النتيجة رمز خطأ مطابقًا لنطاق التشخيص. سؤال Q-ffca131eece93b35 (مفتوح)
• التزامن: الدالة محددة صراحة كـ thread-safe وexception safe ([SWS_DM_02289]).

تفاعل

تنتمي الطريقة إلى عائلة من التحميلات الزائدة المحددة بالنوع لتسجيل عناصر البيانات الأولية والمعقدة، بما في ذلك متغيرات للأعداد الصحيحة الموقعة ([SWS_DM_02288]) والعناصر الفرعية المنظمة ([SWS_DM_02293]). يتم تقديم واجهة مكافئة بالتوازي في الفئة DiagnosticSovdContentElementData ([SWS_DM_02369]).

تضيف الدالة العضو المتزامنة Add للفئة ara::diag::DiagnosticSovdRecordContentElementDataView قيمة نقطة عائمة أولية من النوع double تحت المفتاح المحدد key إلى سجل بيانات [SWS_DM_02290]. تُستخدم الدالة لإنشاء بيانات تشخيصية منظمة لوظائف خادم SOVD الخاصة بـ Diagnostic Management [SWS_DM_01369].

تنطبق الشروط المسبقة التالية المتعلقة بالنوع على التنفيذ [SWS_DM_02290]:

• يجب أن يكون الكائن الهدف من النوع RecordContentElementData أو ContentData.
• لا يجوز أن يكون العنصر المراد إضافته في حد ذاته من النوع ContentData.

تم التصريح عن الطريقة على أنها noexcept (exception safe) وتم تحديدها على أنها آمنة لمؤشرات الترابط (thread-safe) للوصول المتزامن [SWS_DM_02290]. إذا فشلت الإضافة – على سبيل المثال لأن نوع الكائن غير متوافق أو لا يمكن إدراج العنصر – يتم الإبلاغ عن خطأ عبر ara::core::Result<void> المُرجع [SWS_DM_02290]. تفسير: من المرجح أن يتم تمثيل سبب الخطأ الدقيق في ara::core::ErrorCode الخاص بكائن النتيجة. سؤال Q-c987f75d785d3e90 (مفتوح)

بالاقتران مع التحميلات الزائدة المرتبطة لـ Add، تتيح الطريقة التعبئة المنظمة لسجلات بيانات SOVD بقيم أعداد صحيحة ([SWS_DM_02288]، [SWS_DM_02289])، أو قيم منطقية [SWS_DM_02291]، أو سلاسل نصية [SWS_DM_02292]، أو بيانات عناصر أكثر تعقيداً [SWS_DM_02293].

تُستخدم الدالة Add للفئة ara::diag::DiagnosticSovdRecordContentElementDataView لإضافة قيمة منطقية أولية تحت مفتاح محدد إلى عنصر بيانات SOVD [SWS_DM_02291]. يتم الاستدعاء عبر ملف الرأس ara/diag/diagnostic_sovd_content_element_data.h باستخدام اسم المعامل key من النوع ara::core::StringView وقيمة حمولة البيانات content_element من النوع bool [SWS_DM_02291]. نظراً لأن الطريقة تُرجع مباشرة ara::core::Result<void> ولم يتم تحديد أي سلوك غير متزامن، فمن المرجح أن تتم العملية بشكل متزامن. سؤال Q-a16b08bf68f8590b (مفتوح)

تتم معالجة الأخطاء عبر ara::core::Result<void> المُرجع. يتم الإبلاغ عن خطأ إذا لم يكن DiagnosticSovdContentElementData الأساسي من النوع RecordContentElementData ولا ContentData، أو إذا تعذرت إضافة العنصر [SWS_DM_02291]. لم يتم تفصيل رموز أخطاء محددة في مقتطف المواصفة.

فيما يتعلق بالتزامن وأمان التنفيذ، تم تصنيف الطريقة على أنها thread-safe وتوفر أماناً من الاستثناءات (noexcept) [SWS_DM_02291]. كقيد هيكلي، تتطلب المواصفة ألا يكون العنصر المراد إضافته في حد ذاته من النوع ContentData [SWS_DM_02291].

في النظام الكلي، تكمل هذه الطريقة التحميلات الزائدة ذات الصلة للأعداد الصحيحة ذات الإشارة [SWS_DM_02288]، والأعداد الصحيحة بدون إشارة [SWS_DM_02289]، وأرقام الفاصلة العائمة [SWS_DM_02290]، والسلاسل النصية [SWS_DM_02292] بالإضافة إلى عناصر المحتوى التابعة [SWS_DM_02293]. بالإضافة إلى ذلك، توجد واجهة مماثلة في الفئة DiagnosticSovdContentElementData [SWS_DM_02371] في سياق وظائف خادم SOVD الخاصة بـ Diagnostic Management [SWS_DM_01369].

الاستخدام

تُستخدم الطريقة المتزامنة Add للفئة ara::diag::DiagnosticSovdRecordContentElementDataView لإضافة إدخال يحتوي على مفتاح وقيمة سلسلة نصية أولية إلى عنصر بيانات SOVD [SWS_DM_02292]. يتم الاستدعاء عبر المعاملين key و content_element، واللذين يتم تمرير كل منهما كـ ara::core::StringView [SWS_DM_02292]. كقيمة إرجاع، تقدم الدالة ara::core::Result<void> للإشارة إلى نتيجة العملية [SWS_DM_02292].

معالجة الأخطاء

إذا فشلت الإضافة، تُرجع الطريقة خطأً في ara::core::Result [SWS_DM_02292]. يحدث هذا إذا لم يكن الكائن الأساسي من النوع RecordContentElementData أو ContentData أو إذا تعذرت إضافة العنصر [SWS_DM_02292]. تفسير: من المرجح أن يتم تحديد رموز الخطأ المحددة من خلال نطاق الخطأ المرتبط بالتنفيذ، نظراً لأن المواصفة لا تسردها صراحةً في تعريف الدالة. سؤال Q-ba196615f0cd8fc8 (مفتوح)

التزامن والشروط الحدية

تم التصريح عن العملية بأنها آمنة لمؤشرات الترابط (thread-safe) وكذلك آمنة من الاستثناءات (exception safe) ومزودة بالحاشية noexcept [SWS_DM_02292]. كشرط مسبق أساسي، يجب ألا يكون العنصر الممرر كمعامل في حد ذاته من النوع ContentData [SWS_DM_02292].

تفاعل

الدالة جزء من AUTOSAR Diagnostic Management (DM) لتحقيق SOVD لـ Adaptive Platform AUTOSAR_AP_SWS_Diagnostics §1 «Introduction and functional overview»، حيث يعمل DM كخادم SOVD [SWS_DM_01369]. بالنسبة لنفس النطاق، توجد تحميلات زائدة مماثلة لـ Add للأعداد الصحيحة ذات الإشارة [SWS_DM_02288]، والأعداد الصحيحة بدون إشارة [SWS_DM_02289]، وأرقام الفاصلة العائمة [SWS_DM_02290]، والقيم المنطقية [SWS_DM_02291]، بالإضافة إلى عناصر البيانات المعقدة [SWS_DM_02293]. بالإضافة إلى ذلك، يوفر ara::diag::DiagnosticSovdContentElementData تحميلاً زائداً مماثلاً للسلاسل النصية [SWS_DM_02372].

تضيف الدالة المتزامنة Add للفئة ara::diag::DiagnosticSovdRecordContentElementDataView عنصرًا متداخلاً من النوع DiagnosticSovdContentElementData إلى عنصر بيانات تحت المفتاح المحدد key [SWS_DM_02293]. يخدم ذلك التوفير المنظم لبيانات التشخيص في إطار SOVD (Service-Oriented Vehicle Diagnostics)، والذي يدعمه Diagnostic Management (DM) على Adaptive Platform ([SWS_DM_01369]، AUTOSAR_AP_SWS_Diagnostics §1 «Introduction and functional overview»).

عند الاستخدام، يجب الالتزام بمتطلبات النوع الإلزامية:

• يجب أن يكون كائن البيانات المستدعي من النوع RecordContentElementData أو ContentData [SWS_DM_02293].
• يجب ألا يكون العنصر المراد إضافته content_element صراحةً من النوع ContentData [SWS_DM_02293].
• استكمالاً لبنى البيانات المعقدة، تتوفر تحميلات زائدة منفصلة للقيم الأولية، على سبيل المثال لقيم الأعداد الصحيحة ([SWS_DM_02288]، [SWS_DM_02289])، وأعداد الفاصلة العائمة [SWS_DM_02290]، والقيم المنطقية [SWS_DM_02291]، أو السلاسل النصية [SWS_DM_02292]، كما هي محددة أيضًا في DiagnosticSovdContentElementData [SWS_DM_02373].

لمعالجة الأخطاء، تُرجع الدالة ara::core::Result<void>. وإذا فشلت العملية – على سبيل المثال بسبب انتهاك شروط النوع المسبقة أو تعذر إدراج العنصر – فإن النتيجة تحتوي على خطأ [SWS_DM_02293]. ويُرجح أن يستند ترميز الخطأ الدقيق إلى أخطاء خاصة بمجال إدارة التشخيص. سؤال Q-56c929209d0c7358 (مفتوح) وفيما يتعلق بالتزامن والأمان، تم الإعلان عن الدالة كـ noexcept، وتُعتبر آمنة استثنائيًا (exception safe)، كما تم تحديدها بأنها آمنة مؤشريًا (thread-safe) للوصول المتزامن [SWS_DM_02293].

الاستخدام والدلالات

تُستخدم الدالة Clear للفئة ara::diag::DiagnosticSovdRecordContentElementDataView للإزالة المتزامنة لجميع عناصر المحتوى من RecordContentElementData [SWS_DM_02276]. يتم الاستدعاء بدون معلمات عبر ملف الرأس #include "ara/diag/diagnostic_sovd_content_element_data.h" ولا يحتوي على قيمة إرجاع (void) [SWS_DM_02276].

يُعرّف كشرط مسبق للتنفيذ أن تكون نسخة البيانات الأساسية من النوع RecordContentElementData أو ContentData [SWS_DM_02276]. تفسير: نظراً لأن الدالة مصرح عنها كـ noexcept ولا تبلغ عن حالة خطأ، فمن المرجح أن التوافق مع نوع البيانات هذا مضمون مسبقاً بالفعل عند إنشاء كائن العرض (View-Objekt). سؤال Q-93e43eee235a8f12 (مفتوح)

معالجة الأخطاء والتزامن

فيما يتعلق بأمان التنفيذ، حُددت الدالة على أنها آمنة من الاستثناءات (exception safe) ولا تُطلق أي استثناءات بفضل التصريح noexcept [SWS_DM_02276]. بالإضافة إلى ذلك، يصنف الاستدعاء صراحة على أنه آمن بالنسبة للخيوط (thread-safe)، بحيث يُسمح بعمليات الوصول المتزامنة [SWS_DM_02276].

التفاعل والتمايز

في بيئة SOVD، تتمايز هذه الدالة عن الدالة Clear في DiagnosticSovdContentElementData [SWS_DM_02338]، المعرفة لعناصر المصفوفة والتي تُرجع ara::core::Result<void>. كما يوجد تمايز وظيفي مع دالة العرض للمصفوفات [SWS_DM_02233] وكذلك مع الحذف غير المتزامن لرموز DTC عبر ara::diag::DTCInformation::Clear، والذي يُرجع ara::core::Future<void> وهو غير آمن بالنسبة للخيوط [SWS_DM_00671].

تُستخدم دالة العضو Erase للفئة ara::diag::DiagnosticSovdRecordContentElementDataView لإزالة عنصر محتوى تابع من سجل بيانات التشخيص ([SWS_DM_02294]، AUTOSAR_AP_SWS_Diagnostics §8.60.11.1.1.14 «Erase»). يتم توفير التصريح عبر ملف الرأس #include "ara/diag/diagnostic_sovd_content_element_data.h" ([SWS_DM_02294]).

الاستخدام والدلالة: كمعلمة إدخال، تأخذ الدالة المكرر iterator من النوع DiagnosticSovdRecordContentElementDataIterator، والذي يشير إلى العنصر المحدد المطلوب حذفه ([SWS_DM_02294]). تفسير: نظراً لأن الدالة مصرح عنها بـ noexcept وتُرجع مباشرةً ara::core::Result<void> بدلاً من كائن مستقبلي، فمن المرجح أن عملية الحذف تُنفذ بشكل متزامن في خيط المستدعي. سؤال Q-148ae95c28910b16 (مفتوح) عند التنفيذ الناجح، تُرجع الدالة ara::core::Result<void> فارغة ([SWS_DM_02294]).

معالجة الأخطاء: تفشل العملية إذا لم يكن عنصر البيانات المعني من النوع RecordContentElementData ولا من النوع ContentData، أو إذا تعذرت إزالة العنصر من الحاوية ([SWS_DM_02294]). في حالات الخطأ هذه، تُرجع الدالة خطأً مع رمز الخطأ DiagErrc::kInvalidArgument ([SWS_DM_02294]).

التزامن والتفاعل: بالنسبة للاستدعاء، حُددت الواجهة على أنها آمنة بالنسبة للخيوط (thread-safe) وكذلك آمنة من الاستثناءات (exception safe) ([SWS_DM_02294]). من الناحية الفنية، تتوافق الدالة مع صيغة المصفوفة ara::diag::DiagnosticSovdArrayContentElementDataView::Erase ([SWS_DM_02247]، AUTOSAR_AP_SWS_Diagnostics §8.60.5.1.1.8 «Erase») وتتفاعل مع عمليات الحذف الأساسية لفئة الحاوية DiagnosticSovdContentElementData للمصفوفات ([SWS_DM_02352]) والسجلات ([SWS_DM_02374]).

تُستخدم دالة العضو المتزامنة Find لفئة العرض (View) ara::diag::DiagnosticSovdRecordContentElementDataView للعثور على عنصر بناءً على مفتاحه ([SWS_DM_02285]، AUTOSAR_AP_SWS_Diagnostics §8.60.11.1.1.15 «Find»). ويتم تمرير key من النوع ara::core::StringView كمعامل؛ وكنتيجة تُرجع الدالة مكررًا قابلاً للتعديل من النوع DiagnosticSovdRecordContentElementDataIterator ([SWS_DM_02285]). والشرط المسبق للاستخدام هو أن يكون DiagnosticSovdContentElementData المقترن من النوع RecordContentElementData أو ContentData ([SWS_DM_02285]).

فيما يتعلق بمعالجة الأخطاء والتزامن، تم التصريح عن الدالة كـ noexcept، وتعتبر آمنة من حيث الاستثناءات (exception safe)، كما أنها آمنة لخيوط المعالجة (thread-safe) وفقًا للمواصفة ([SWS_DM_02285]). ونظرًا لأن نوع الإرجاع هو مكرر مباشرة وليس ara::core::Result، فإن الدالة لا تبلغ عن رموز خطأ محددة؛ وإذا لم يكن المفتاح المطلوب موجودًا، فمن المحتمل أن يتم إرجاع مكرر النهاية (End-Iterator). سؤال Q-a34054c9851517ae (مفتوح)

في التفاعل مع الواجهات ذات الصلة، يوجد على نفس فئة العرض تحميل زائد ثابت (const) ([SWS_DM_02286]، AUTOSAR_AP_SWS_Diagnostics §8.60.11.1.1.16 «Find»)، والذي يُرجع DiagnosticSovdRecordContentElementDataConstIterator. كما توفر الفئة DiagnosticSovdRecordContentElementDataConstView أيضًا واجهة ثابتة مماثلة ([SWS_DM_02306]، AUTOSAR_AP_SWS_Diagnostics §8.60.9.1.1.7 «Find»). في المقابل، تُغلف الدالة Find في DiagnosticSovdContentElementData مكررها داخل ara::core::Result، لتمثيل الأنواع غير الصالحة أو المفاتيح المفقودة كأخطاء ([SWS_DM_02365]، [SWS_DM_02366]، AUTOSAR_AP_SWS_Diagnostics §8.60.6.1.2.25 «Find»).

تُستخدم دالة العضو المتزامنة Find للفئة ara::diag::DiagnosticSovdRecordContentElementDataView للعثور على عنصر بيانات للقراءة فقط استناداً إلى مفتاحه ([SWS_DM_02286]، AUTOSAR AP SWS Diagnostics §8.60.11.1.1.16 «Find»).

الاستخدام والمعلمات

تستقبل الدالة المفتاح المطلوب البحث عنه key كـ ara::core::StringView ([SWS_DM_02286]). الشرط المسبق للاستدعاء هو أن تكون النسخة من نوع التشخيص RecordContentElementData أو ContentData ([SWS_DM_02286]). كقيمة إرجاع، تُرجع بشكل متزامن مكرراً ثابتاً من النوع DiagnosticSovdRecordContentElementDataConstIterator ([SWS_DM_02286]). في حال عدم وجود عنصر يطابق المفتاح، يُفترض أنه يتم إرجاع مكرر يحدد نهاية التسلسل (تفسير). سؤال Q-41a1eba77c0bc236 (مفتوح)

معالجة الأخطاء والتزامن

صُرح عن الواجهة بـ noexcept، وتضمن أمان الاستثناءات (exception safe)، ومحددة على أنها آمنة بالنسبة للخيوط (thread-safe) للوصول المتزامن ([SWS_DM_02286]). بخلاف الدالة في ara::diag::DiagnosticSovdContentElementData ([SWS_DM_02366])، لا يحدث إرجاع عبر ara::core::Result، ولهذا السبب لا يتم تمثيل حالات الخطأ عبر رموز خطأ.

تفاعل

لعمليات الوصول للكتابة أو التعديل على العرض ذاته، يتوفر التحميل الزائد غير الثابت [SWS_DM_02285] مع مكرر قابل للتعديل. أما بالنسبة لطرق العرض المخصصة للقراءة فقط، توفر الفئة DiagnosticSovdRecordContentElementDataConstView دالة Find مماثلة ([SWS_DM_02306]).

تُستخدم دالة الأعضاء المتزامنة Remove للفئة ara::diag::DiagnosticSovdRecordContentElementDataView للإزالة المستهدفة لإدخال ما بناءً على مفتاحه [SWS_DM_02287]. وهي معرّفة في ملف الترويسة ara/diag/diagnostic_sovd_content_element_data.h وتُعالج المعلمة key من النوع ara::core::StringView AUTOSAR_AP_SWS_Diagnostics §8.60.11.1.1.19 «Remove».

كقيمة إرجاع، تُرجع الدالة ara::core::Result<bool> [SWS_DM_02287]:

• في حالة النجاح، تشير القيمة المنطقية المتضمنة إلى ما إذا كان قد أمكن بالفعل إزالة العنصر المعني.
• يتم الإبلاغ عن خطأ عبر ara::core::Result إذا لم يكن العنصر من النوع RecordContentElementData أو ContentData أو إذا لم يتم العثور على المفتاح المحدد [SWS_DM_02287].

فيما يتعلق بالتزامن والقيود، تم تحديد الدالة بأنها آمنة من الاستثناءات (exception safe) وآمنة مؤشريًا (thread-safe) بالإضافة إلى التصريح عنها بـ noexcept [SWS_DM_02287]. وكتشرط استدعاء، تتطلب المواصفة إلزاميًا أن تكون النسخة المتطابقة الأساسية من النوع RecordContentElementData أو ContentData [SWS_DM_02287].

تفسير: من حيث الوظيفة، من المرجح أن تطابق العملية الحذف في فئة البيانات ara::diag::DiagnosticSovdContentElementData::Remove [SWS_DM_02367]، نظرًا لأن التوقيع والمعلمات وسيناريوهات الخطأ محددة بشكل متطابق تمامًا AUTOSAR_AP_SWS_Diagnostics §8.60.6.1.2.54 «Remove». سؤال Q-5a9ac29a9b5814be (مفتوح)

تحجز الطريقة Reserve للفئة ara::diag::DiagnosticSovdRecordContentElementDataView ([SWS_DM_02283]، AUTOSAR_AP_SWS_Diagnostics §8.60.11.1.1.20 «Reserve») السعة التخزينية المطلوبة لـ RecordContentElementData بشكل متزامن. ويُوفَّر الاستدعاء عبر الترويسة #include "ara/diag/diagnostic_sovd_content_element_data.h" ويستقبل المعامل capacity من النوع std::size_t. وكنتيجة إرجاع، تُعيد الدالة void.

أُعلنت الواجهة على أنها noexcept وحُددت على أنها آمنة من الاستثناءات («exception safe») ([SWS_DM_02283]). ولا تُعاد رموز أخطاء محددة ولا هياكل أخطاء. تفسير: في حال فشل تخصيص السعة المطلوبة، يُرجح اعتراض الخطأ داخليًا أو أن يؤدي إلى إنهاء البرنامج نظرًا لغياب قناة إرجاع مثل ara::core::Result. سؤال Q-ddbaac36f8ed58ad (مفتوح)

فيما يخص التزامن، عُرِّفت الدالة على أنها آمنة خيطيًا («thread-safe») ([SWS_DM_02283]). وبالتالي يمكن استدعاؤها على التوازي ودون إجراءات مزامنة إضافية من خيوط متعددة.

في التفاعل مع الواجهات ذات الصلة، يتصرف متغير المصفوفة DiagnosticSovdArrayContentElementDataView::Reserve ([SWS_DM_02240]) بالمثل. وخلافًا لذلك، يُعيد DiagnosticSovdContentElementData::Reserve ([SWS_DM_02345]) ara::core::Result<void> للإبلاغ عن تعارضات الأنواع. أما الدالة DiagnosticServiceDynamicAccessList::Reserve ([SWS_DM_01163])، فتُستخدم في المقابل للتخصيص المسبق لأسوأ الحالات لأنماط الخدمة، وتتوقع معامِلين، وهي ليست آمنة خيطيًا.