Test Case Coverage
==================

**Coverage:** 100.0% (8 of 8 items OK)

.. _lobster-item-f09baa73fc2046e0a6318bafc79e51542f5bb834:

.. dropdown:: [OK] test\_case\_coverage Test SampleComponent.REQ\_COMP\_001
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      **//Foo:GetNumber**

      :Given: a default-constructed Foo instance
      :When: GetNumber is called
      :Then: it returns 42

      .. raw:: html

         <hr>

      **//Foo:GetNumberViaConstInstance**

      :Given: a const default-constructed Foo instance
      :When: GetNumber is called through a const reference
      :Then: it still returns 42

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`Foo:GetNumberViaConstInstance <lobster-item-1e730e95e7e261caae6aefbbf03176b928bc7f77>`
   * :ref:`Foo:GetNumber <lobster-item-be5924b6ed162a239327dc0c78585b3b8e475bf7>`
   * :ref:`SampleComponent.REQ\_COMP\_001 <lobster-item-23c4490a5f6ecd6077e70a30e1b5d0487b4e7a1f>`

   .. raw:: html

      <hr>

   **Source:** unknown location

.. _lobster-item-fd6cc143a9630d987c7fc1ab97311cb9c70e845f:

.. dropdown:: [OK] test\_case\_coverage Test SampleComponent.REQ\_COMP\_002
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      **//Foo:IsFinal**

      :Given: the Foo class definition
      :When: checking whether the class is extensible
      :Then: it is declared final, preventing any subclassing

      .. raw:: html

         <hr>

      **//Foo:IsFinalStaticAssert**

      :Given: the Foo class definition
      :When: querying the type trait std::is_final for Foo
      :Then: the trait reports true, confirming Foo cannot be subclassed

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`Foo:IsFinalStaticAssert <lobster-item-5abc4b5082386e96d9ef4a84fa5a0e22272af1cf>`
   * :ref:`Foo:IsFinal <lobster-item-57470b962ba3b15582b9fd45a43ebdf18fa82651>`
   * :ref:`SampleComponent.REQ\_COMP\_002 <lobster-item-01343a7f6243d1e199f962e69468b59ae501e118>`

   .. raw:: html

      <hr>

   **Source:** unknown location

.. _lobster-item-b0c6f55fda0b67cdea5a99e62d7e9c26549d1a9f:

.. dropdown:: [OK] test\_case\_coverage Test SampleComponent.REQ\_COMP\_003
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      **//Bar:AssertNumber**

      :Given: a Bar instance owning a Foo with value 42
      :When: AssertNumber is called
      :Then: it returns true

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`Bar:AssertNumber <lobster-item-00465759811de57070aa17ead58688899877f4b5>`
   * :ref:`SampleComponent.REQ\_COMP\_003 <lobster-item-24f33d4b4741f984d46a238172638fc51f34716e>`

   .. raw:: html

      <hr>

   **Source:** unknown location

.. _lobster-item-9aefb5f6d627df76eb65c5ca75be3bca573b9286:

.. dropdown:: [OK] test\_case\_coverage Test SampleComponent.REQ\_COMP\_004
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      **//Bar:AssertNumber**

      :Given: a Bar instance owning a Foo with value 42
      :When: AssertNumber is called
      :Then: it returns true

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`Bar:AssertNumber <lobster-item-00465759811de57070aa17ead58688899877f4b5>`
   * :ref:`SampleComponent.REQ\_COMP\_004 <lobster-item-9fee363edebacf925d42a269361ca420ad8565ba>`

   .. raw:: html

      <hr>

   **Source:** unknown location

.. _lobster-item-22a1cbb7e8f7e971b49eb4ee7a018f680154d09d:

.. dropdown:: [OK] test\_case\_coverage Test SampleComponent.REQ\_COMP\_005
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      **//Bar:AssertNumber**

      :Given: a Bar instance owning a Foo with value 42
      :When: AssertNumber is called
      :Then: it returns true

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`Bar:AssertNumber <lobster-item-00465759811de57070aa17ead58688899877f4b5>`
   * :ref:`SampleComponent.REQ\_COMP\_005 <lobster-item-f1b34613c1a3c6453eb9befe6565335cb129a542>`

   .. raw:: html

      <hr>

   **Source:** unknown location

.. _lobster-item-1322327beaa3d25cd1342bbe0088af007bf7ffca:

.. dropdown:: [OK] test\_case\_coverage Test SampleComponent.REQ\_COMP\_006
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      **//Bar:Format**

      :Given: a Bar instance owning a Foo with value 42
      :When: Format is called
      :Then: it returns the human-readable string "42"

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`Bar:Format <lobster-item-addc342ad25bd157acf9c9f37f9c63ed29ff8bd0>`
   * :ref:`SampleComponent.REQ\_COMP\_006 <lobster-item-1d20d28d770d9049c6e14c548e705c7b097db38d>`

   .. raw:: html

      <hr>

   **Source:** unknown location

.. _lobster-item-c6713c56ad86e627caf752f49bcbd7d18446454c:

.. dropdown:: [OK] test\_case\_coverage Test SampleComponentExtra.REQ\_COMP\_EXTRA\_001
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      **//Foo:InitializesToKnownValue**

      :Given: a default-constructed Foo instance
      :When: GetNumber is called for the first time
      :Then: it returns 42

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`Foo:InitializesToKnownValue <lobster-item-c60287b1208acd0277b412c29ee62c32a9ce2c82>`
   * :ref:`SampleComponentExtra.REQ\_COMP\_EXTRA\_001 <lobster-item-6c25f619daab9f0ac48a8ceb8a3cc4e876de1386>`

   .. raw:: html

      <hr>

   **Source:** unknown location

.. _lobster-item-faa6dfc760f184fe0e58f74363b92c3580e693cd:

.. dropdown:: [OK] test\_case\_coverage Test SampleComponentExtra.REQ\_COMP\_EXTRA\_002
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      **//Foo:ValueConsistentAcrossReads**

      :Given: a const Foo instance
      :When: GetNumber is called multiple times
      :Then: the same value is returned on each call

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`Foo:ValueConsistentAcrossReads <lobster-item-6d50902d616d4bbb44ca691afd63ef1bc727bda3>`
   * :ref:`SampleComponentExtra.REQ\_COMP\_EXTRA\_002 <lobster-item-f370c6d82590855925c9366f47666a8ccfaf9977>`

   .. raw:: html

      <hr>

   **Source:** unknown location