tboudreaux/MeanField_SERiF
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
MeanField_SERiF/docs/xml/dependency__context_8cpp.xml

312 lines
41 KiB
XML
Raw Permalink Normal View History

docs(docs): built docs Note for now much of the docs is LLM written. This was done to save time and focus on code development. The docs have been LOOSLEY reviewed. However, the code itself has been either fully written by hand or fully reviewed. Therefore, the docs should at the moment be seen as a loose resource rather than authoratiative (and this is on top of the general ability for docs to drift)
2026-11-09 14:09:44 -05:00
<?xml version='1.0' encoding='UTF-8' standalone='no'?>
<doxygen xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="compound.xsd" version="1.13.2" xml:lang="en-US">
<compounddef id="dependency__context_8cpp" kind="file" language="C++">
<compoundname>dependency_context.cpp</compoundname>
<includes refid="dependency__context_8hpp" local="yes">serif/utils/dependencies/dependency_context.hpp</includes>
<includes refid="key__list__operations_8hpp" local="yes">serif/utils/dependencies/key_list_operations.hpp</includes>
<includes refid="utils_2dependencies_2keys_8hpp" local="yes">serif/utils/dependencies/keys.hpp</includes>
<includes local="no">concepts</includes>
<includes local="no">memory</includes>
<includes local="no">type_traits</includes>
<includes local="no">utility</includes>
<incdepgraph>
<node id="1">
<label>src/compile_time_checks/serif/utils/dependencies/dependency_context.cpp</label>
<link refid="dependency__context_8cpp"/>
<childnode refid="2" relation="include">
</childnode>
<childnode refid="20" relation="include">
</childnode>
<childnode refid="21" relation="include">
</childnode>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="10" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="6" relation="include">
</childnode>
</node>
<node id="15">
<label>serif/utils/dependencies/binding.hpp</label>
<link refid="utils_2dependencies_2binding_8hpp"/>
<childnode refid="12" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="16" relation="include">
</childnode>
</node>
<node id="2">
<label>serif/utils/dependencies/dependency_context.hpp</label>
<link refid="dependency__context_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="6" relation="include">
</childnode>
<childnode refid="7" relation="include">
</childnode>
<childnode refid="11" relation="include">
</childnode>
<childnode refid="19" relation="include">
</childnode>
</node>
<node id="11">
<label>serif/utils/dependencies/detail/type_lists.hpp</label>
<link refid="type__lists_8hpp"/>
<childnode refid="12" relation="include">
</childnode>
<childnode refid="13" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="14" relation="include">
</childnode>
</node>
<node id="14">
<label>serif/utils/dependencies/key_list.hpp</label>
<link refid="key__list_8hpp"/>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="15" relation="include">
</childnode>
<childnode refid="16" relation="include">
</childnode>
<childnode refid="18" relation="include">
</childnode>
</node>
<node id="20">
<label>serif/utils/dependencies/key_list_operations.hpp</label>
<link refid="key__list__operations_8hpp"/>
<childnode refid="13" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="11" relation="include">
</childnode>
</node>
<node id="21">
<label>serif/utils/dependencies/keys.hpp</label>
<link refid="utils_2dependencies_2keys_8hpp"/>
</node>
<node id="7">
<label>serif/utils/dependencies/resource.hpp</label>
<link refid="resource_8hpp"/>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="6" relation="include">
</childnode>
<childnode refid="9" relation="include">
</childnode>
</node>
<node id="9">
<label>serif/utils/dependencies/snapshot.hpp</label>
<link refid="snapshot_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="10" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="6" relation="include">
</childnode>
</node>
<node id="19">
<label>serif/utils/misc/concepts/concat.hpp</label>
<link refid="concat_8hpp"/>
<childnode refid="18" relation="include">
</childnode>
</node>
<node id="17">
<label>serif/utils/misc/std_helper/cleaning.hpp</label>
<link refid="cleaning_8hpp"/>
<childnode refid="5" relation="include">
</childnode>
</node>
<node id="16">
<label>serif/utils/misc/traits/type_uniqueness.hpp</label>
<link refid="traits_2type__uniqueness_8hpp"/>
<childnode refid="12" relation="include">
</childnode>
<childnode refid="17" relation="include">
</childnode>
</node>
<node id="18">
<label>serif/utils/types/type_list.hpp</label>
<link refid="type__list_8hpp"/>
</node>
<node id="12">
<label>array</label>
</node>
<node id="3">
<label>concepts</label>
</node>
<node id="13">
<label>cstddef</label>
</node>
<node id="8">
<label>functional</label>
</node>
<node id="10">
<label>memory</label>
</node>
<node id="4">
<label>tuple</label>
</node>
<node id="5">
<label>type_traits</label>
</node>
<node id="6">
<label>utility</label>
</node>
</incdepgraph>
<briefdescription>
</briefdescription>
<detaileddescription>
</detaileddescription>
<programlisting>
<codeline lineno="1"><highlight class="preprocessor">#include<sp/>&quot;<ref refid="dependency__context_8hpp" kindref="compound">serif/utils/dependencies/dependency_context.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="2"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="key__list__operations_8hpp" kindref="compound">serif/utils/dependencies/key_list_operations.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="3"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="utils_2dependencies_2keys_8hpp" kindref="compound">serif/utils/dependencies/keys.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="4"><highlight class="normal"></highlight></codeline>
<codeline lineno="5"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;concepts&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="6"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;memory&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="7"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;type_traits&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="8"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;utility&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="9"><highlight class="normal"></highlight></codeline>
<codeline lineno="10"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal">{</highlight></codeline>
<codeline lineno="11"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal">dependencies<sp/>=<sp/><ref refid="namespaceserif_1_1utils_1_1dependencies" kindref="compound">serif::utils::dependencies</ref>;</highlight></codeline>
<codeline lineno="12"><highlight class="normal"></highlight></codeline>
<codeline lineno="13"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">First<sp/>{};</highlight></codeline>
<codeline lineno="14"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">Second<sp/>{};</highlight></codeline>
<codeline lineno="15"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">Missing<sp/>{};</highlight></codeline>
<codeline lineno="16"><highlight class="normal"></highlight></codeline>
<codeline lineno="17"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">FirstResource<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::own&lt;First&gt;(1));</highlight></codeline>
<codeline lineno="18"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">SecondResource<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::own&lt;Second&gt;(2));</highlight></codeline>
<codeline lineno="19"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">DependencyContext<sp/>=<sp/>dependencies::DependencyContext&lt;FirstResource,<sp/>SecondResource&gt;;</highlight></codeline>
<codeline lineno="20"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Selection<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(std::declval&lt;const<sp/>DependencyContext&amp;&gt;().select(dependencies::KeyList&lt;Second&gt;{}));</highlight></codeline>
<codeline lineno="21"><highlight class="normal"></highlight></codeline>
<codeline lineno="22"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Resources&gt;</highlight></codeline>
<codeline lineno="23" refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_make_context" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">concept<sp/></highlight><highlight class="normal"><ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_make_context" kindref="compound">CanMakeContext</ref><sp/>=<sp/></highlight><highlight class="keyword">requires</highlight><highlight class="normal">(Resources&amp;&amp;...<sp/>resources)<sp/>{</highlight></codeline>
<codeline lineno="24"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>dependencies::make_dependency_context(std::forward&lt;Resources&gt;(resources)...);</highlight></codeline>
<codeline lineno="25"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="26"><highlight class="normal"></highlight></codeline>
<codeline lineno="27"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>ContextT,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>KeyT&gt;</highlight></codeline>
<codeline lineno="28" refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_read" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">concept<sp/></highlight><highlight class="normal"><ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_read" kindref="compound">CanRead</ref><sp/>=<sp/></highlight><highlight class="keyword">requires</highlight><highlight class="normal">(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>ContextT&amp;<sp/>context)<sp/>{<sp/>context.template<sp/>get&lt;KeyT&gt;();<sp/>};</highlight></codeline>
<codeline lineno="29"><highlight class="normal"></highlight></codeline>
<codeline lineno="30"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>ContextT&gt;</highlight></codeline>
<codeline lineno="31" refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_select" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">concept<sp/></highlight><highlight class="normal"><ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_select" kindref="compound">CanSelect</ref><sp/>=<sp/></highlight><highlight class="keyword">requires</highlight><highlight class="normal">(ContextT&amp;&amp;<sp/>context)<sp/>{</highlight></codeline>
<codeline lineno="32"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::forward&lt;ContextT&gt;(context).select(dependencies::KeyList&lt;First&gt;{});</highlight></codeline>
<codeline lineno="33"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="34"><highlight class="normal"></highlight></codeline>
<codeline lineno="35"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>ValueT&gt;</highlight></codeline>
<codeline lineno="36" refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_borrow" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">concept<sp/></highlight><highlight class="normal"><ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_borrow" kindref="compound">CanBorrow</ref><sp/>=<sp/></highlight><highlight class="keyword">requires</highlight><highlight class="normal">(ValueT&amp;&amp;<sp/>value)<sp/>{<sp/>dependencies::borrow&lt;First&gt;(std::forward&lt;ValueT&gt;(value));<sp/>};</highlight></codeline>
<codeline lineno="37"><highlight class="normal"></highlight></codeline>
<codeline lineno="38"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::IsDependencyContext&lt;DependencyContext&gt;);</highlight></codeline>
<codeline lineno="39"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::IsDependencyContext&lt;const<sp/>DependencyContext&amp;&gt;);</highlight></codeline>
<codeline lineno="40"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::IsDependencyContext&lt;Selection&gt;);</highlight></codeline>
<codeline lineno="41"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::IsDependencyContext&lt;int&gt;);</highlight></codeline>
<codeline lineno="42"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_make_context" kindref="compound">CanMakeContext&lt;&gt;</ref>);</highlight></codeline>
<codeline lineno="43"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_make_context" kindref="compound">CanMakeContext&lt;FirstResource, SecondResource&gt;</ref>);</highlight></codeline>
<codeline lineno="44"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_make_context" kindref="compound">CanMakeContext&lt;FirstResource, FirstResource&gt;</ref>);</highlight></codeline>
<codeline lineno="45"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_make_context" kindref="compound">CanMakeContext&lt;int&gt;</ref>);</highlight></codeline>
<codeline lineno="46"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_read" kindref="compound">CanRead&lt;DependencyContext, First&gt;</ref><sp/>&amp;&amp;<sp/><ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_read" kindref="compound">CanRead&lt;DependencyContext, Second&gt;</ref>);</highlight></codeline>
<codeline lineno="47"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_read" kindref="compound">CanRead&lt;DependencyContext, Missing&gt;</ref>);</highlight></codeline>
<codeline lineno="48"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_read" kindref="compound">CanRead&lt;Selection, Second&gt;</ref><sp/>&amp;&amp;<sp/>!<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_read" kindref="compound">CanRead&lt;Selection, First&gt;</ref>);</highlight></codeline>
<codeline lineno="49"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(std::same_as&lt;decltype(std::declval&lt;const<sp/>DependencyContext&amp;&gt;().get&lt;First&gt;()),<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;&gt;);</highlight></codeline>
<codeline lineno="50"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(std::same_as&lt;dependencies::bound_type_t&lt;Selection::Bindings,<sp/>Second&gt;,<sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&gt;);</highlight></codeline>
<codeline lineno="51"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_select" kindref="compound">CanSelect&lt;DependencyContext&amp;&gt;</ref><sp/>&amp;&amp;<sp/><ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_select" kindref="compound">CanSelect&lt;const DependencyContext&amp;&gt;</ref>);</highlight></codeline>
<codeline lineno="52"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_select" kindref="compound">CanSelect&lt;DependencyContext&gt;</ref><sp/>&amp;&amp;<sp/>!<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_select" kindref="compound">CanSelect&lt;const DependencyContext&gt;</ref>);</highlight></codeline>
<codeline lineno="53"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!std::constructible_from&lt;Selection,<sp/>DependencyContext&amp;&amp;&gt;);</highlight></codeline>
<codeline lineno="54"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_borrow" kindref="compound">CanBorrow&lt;int&amp;&gt;</ref><sp/>&amp;&amp;<sp/><ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_borrow" kindref="compound">CanBorrow&lt;const int&amp;&gt;</ref>);</highlight></codeline>
<codeline lineno="55"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_borrow" kindref="compound">CanBorrow&lt;int&gt;</ref><sp/>&amp;&amp;<sp/>!<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_borrow" kindref="compound">CanBorrow&lt;const int&gt;</ref>);</highlight></codeline>
<codeline lineno="56"><highlight class="normal"></highlight></codeline>
<codeline lineno="57"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">QualifiedContext<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_dependency_context(</highlight></codeline>
<codeline lineno="58"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>dependencies::own&lt;First&gt;(1),<sp/>dependencies::own&lt;const<sp/>First&gt;(2),<sp/>dependencies::own&lt;First&amp;&gt;(3)</highlight></codeline>
<codeline lineno="59"><highlight class="normal"><sp/><sp/><sp/><sp/>));</highlight></codeline>
<codeline lineno="60"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(<ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_read" kindref="compound">CanRead&lt;QualifiedContext, First&gt;</ref><sp/>&amp;&amp;<sp/><ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_read" kindref="compound">CanRead&lt;QualifiedContext, const First&gt;</ref><sp/>&amp;&amp;<sp/><ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_read" kindref="compound">CanRead&lt;QualifiedContext, First&amp;&gt;</ref>);</highlight></codeline>
<codeline lineno="61"><highlight class="normal"></highlight></codeline>
<codeline lineno="62"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Combined<sp/>=<sp/>dependencies::CombinedKeyList&lt;</highlight></codeline>
<codeline lineno="63"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>dependencies::KeyList&lt;First,<sp/>Second&gt;,<sp/>dependencies::KeyList&lt;Second,<sp/>Missing&gt;,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>dependencies::KeyList&lt;First&gt;&amp;</highlight></codeline>
<codeline lineno="64"><highlight class="normal"><sp/><sp/><sp/><sp/>&gt;;</highlight></codeline>
<codeline lineno="65"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(std::same_as&lt;Combined,<sp/>dependencies::KeyList&lt;First,<sp/>Second,<sp/>Missing&gt;&gt;);</highlight></codeline>
<codeline lineno="66"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(std::same_as&lt;dependencies::CombinedKeyList&lt;&gt;,<sp/>dependencies::KeyList&lt;&gt;&gt;);</highlight></codeline>
<codeline lineno="67"><highlight class="normal"></highlight></codeline>
<codeline lineno="68"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">GeneralKeys<sp/>=<sp/>dependencies::KeyList&lt;dependencies::keys::Input,<sp/>dependencies::keys::Output,</highlight></codeline>
<codeline lineno="69"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>dependencies::keys::Scale,<sp/>dependencies::keys::Parameters,<sp/>dependencies::keys::Coordinates&gt;;</highlight></codeline>
<codeline lineno="70"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::IsKeyList&lt;GeneralKeys&gt;);</highlight></codeline>
<codeline lineno="71"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(std::same_as&lt;dependencies::InputList&lt;First,<sp/>Second&gt;,<sp/>dependencies::KeyList&lt;First,<sp/>Second&gt;&gt;);</highlight></codeline>
<codeline lineno="72"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(std::same_as&lt;dependencies::RequestedResults&lt;First&gt;,<sp/>dependencies::KeyList&lt;First&gt;&gt;);</highlight></codeline>
<codeline lineno="73"><highlight class="normal"></highlight></codeline>
<codeline lineno="74"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="comment">//<sp/>Keys<sp/>describe<sp/>roles;<sp/>even<sp/>a<sp/>nonconstructible<sp/>descriptor<sp/>with<sp/>data<sp/>can<sp/>name<sp/>one.</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="75"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">CustomTerm<sp/>{</highlight></codeline>
<codeline lineno="76"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/>member;</highlight></codeline>
<codeline lineno="77"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>CustomTerm()<sp/>=<sp/></highlight><highlight class="keyword">delete</highlight><highlight class="normal">;</highlight></codeline>
<codeline lineno="78"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="79"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">CustomContext<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_dependency_context(dependencies::own&lt;CustomTerm&gt;(1)));</highlight></codeline>
<codeline lineno="80"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(CanRead&lt;CustomContext,<sp/>CustomTerm&gt;);</highlight></codeline>
<codeline lineno="81"><highlight class="normal"></highlight></codeline>
<codeline lineno="82"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">NonComparable<sp/>{};</highlight></codeline>
<codeline lineno="83"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">ReferenceSnapshot<sp/>{</highlight></codeline>
<codeline lineno="84"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;<sp/>capture(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;)<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal">;</highlight></codeline>
<codeline lineno="85"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/>matches(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;)<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal">;</highlight></codeline>
<codeline lineno="86"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="87"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">RvalueOnlySnapshot<sp/>{</highlight></codeline>
<codeline lineno="88"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/>capture(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;)<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal">;</highlight></codeline>
<codeline lineno="89"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/>matches(</highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;&amp;,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;)<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal">;</highlight></codeline>
<codeline lineno="90"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="91"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">MoveOnlySnapshot<sp/>{</highlight></codeline>
<codeline lineno="92"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::unique_ptr&lt;int&gt;<sp/>capture(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;)<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal">;</highlight></codeline>
<codeline lineno="93"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordtype">bool</highlight><highlight class="normal"><sp/>matches(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>std::unique_ptr&lt;int&gt;&amp;,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;)<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal">;</highlight></codeline>
<codeline lineno="94"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="95"><highlight class="normal"></highlight></codeline>
<codeline lineno="96"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::SnapshotPolicyFor&lt;dependencies::ValueSnapshot,<sp/>int&gt;);</highlight></codeline>
<codeline lineno="97"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::SnapshotPolicyFor&lt;dependencies::ValueSnapshot,<sp/>NonComparable&gt;);</highlight></codeline>
<codeline lineno="98"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::SnapshotPolicyFor&lt;dependencies::ValueSnapshot,<sp/>std::unique_ptr&lt;int&gt;&gt;);</highlight></codeline>
<codeline lineno="99"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::SnapshotPolicyFor&lt;ReferenceSnapshot,<sp/>int&gt;);</highlight></codeline>
<codeline lineno="100"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::SnapshotPolicyFor&lt;RvalueOnlySnapshot,<sp/>int&gt;);</highlight></codeline>
<codeline lineno="101"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::SnapshotPolicyFor&lt;MoveOnlySnapshot,<sp/>int&gt;);</highlight></codeline>
<codeline lineno="102"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Projection<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::track_by([](</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;<sp/>value)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1discretization_1_1backend_1_1mfem_1af75f98db90618153ea4ca169945733f7a2063c1608d6e0baf80249c42e2be5804" kindref="member">value</ref>;<sp/>}));</highlight></codeline>
<codeline lineno="103"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">InvalidProjection<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::track_by([](</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal">&amp;)<sp/>{<sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>NonComparable{};<sp/>}));</highlight></codeline>
<codeline lineno="104"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(dependencies::SnapshotPolicyFor&lt;Projection,<sp/>int&gt;);</highlight></codeline>
<codeline lineno="105"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!dependencies::SnapshotPolicyFor&lt;InvalidProjection,<sp/>int&gt;);</highlight></codeline>
<codeline lineno="106"><highlight class="normal"></highlight></codeline>
<codeline lineno="107"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal">...<sp/>Contexts&gt;</highlight></codeline>
<codeline lineno="108" refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_combine_contexts" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">concept<sp/></highlight><highlight class="normal"><ref refid="concept_0d323172327364102235210333337057065015152354331343_1_1_can_combine_contexts" kindref="compound">CanCombineContexts</ref><sp/>=<sp/></highlight><highlight class="keyword">requires</highlight><highlight class="normal">(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>Contexts&amp;...<sp/>contexts)</highlight></codeline>
<codeline lineno="109"><highlight class="normal"><sp/><sp/><sp/><sp/>{</highlight></codeline>
<codeline lineno="110"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>dependencies::combine_dependency_contexts(contexts...);</highlight></codeline>
<codeline lineno="111"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="112"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">FirstContext<sp/>=<sp/>dependencies::DependencyContext&lt;FirstResource&gt;;</highlight></codeline>
<codeline lineno="113"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">SecondContext<sp/>=<sp/>dependencies::DependencyContext&lt;SecondResource&gt;;</highlight></codeline>
<codeline lineno="114"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal">DefaultInputs<sp/>{</highlight></codeline>
<codeline lineno="115"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>dependencies::DependencyContext&lt;&gt;<sp/>inputs;</highlight></codeline>
<codeline lineno="116"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="117"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(</highlight><highlight class="keyword">requires</highlight><highlight class="normal"><sp/>{<sp/>DefaultInputs{};<sp/>});</highlight></codeline>
<codeline lineno="118"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(std::constructible_from&lt;FirstContext,<sp/>FirstResource&gt;);</highlight></codeline>
<codeline lineno="119"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!std::convertible_to&lt;FirstResource,<sp/>FirstContext&gt;);</highlight></codeline>
<codeline lineno="120"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!std::default_initializable&lt;FirstContext&gt;);</highlight></codeline>
<codeline lineno="121"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">MoveOnlyContext<sp/>=<sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(dependencies::make_dependency_context(dependencies::own&lt;First&gt;(std::make_unique&lt;int&gt;(3))));</highlight></codeline>
<codeline lineno="122"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(CanCombineContexts&lt;&gt;);</highlight></codeline>
<codeline lineno="123"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(CanCombineContexts&lt;FirstContext,<sp/>SecondContext&gt;);</highlight></codeline>
<codeline lineno="124"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(CanCombineContexts&lt;FirstContext,<sp/>Selection&gt;);</highlight></codeline>
<codeline lineno="125"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanCombineContexts&lt;FirstContext,<sp/>FirstContext&gt;);</highlight></codeline>
<codeline lineno="126"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanCombineContexts&lt;DependencyContext,<sp/>Selection&gt;);</highlight></codeline>
<codeline lineno="127"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanCombineContexts&lt;MoveOnlyContext&gt;);</highlight></codeline>
<codeline lineno="128"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(!CanCombineContexts&lt;int&gt;);</highlight></codeline>
<codeline lineno="129"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(std::same_as&lt;DependencyContext::Keys,<sp/>dependencies::KeyList&lt;First,<sp/>Second&gt;&gt;);</highlight></codeline>
<codeline lineno="130"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">static_assert</highlight><highlight class="normal">(std::same_as&lt;Selection::Keys,<sp/>dependencies::KeyList&lt;Second&gt;&gt;);</highlight></codeline>
<codeline lineno="131"><highlight class="normal">}</highlight></codeline>
</programlisting>
<location file="src/compile_time_checks/serif/utils/dependencies/dependency_context.cpp"/>
</compounddef>
</doxygen>
Reference in New Issue Copy Permalink