{% extends "base-layout.html" %} {% block content %}
<h1>{{ schema.id }}: {{ schema.title }}</h1>

<h2>Metadata</h2>
<ul>
    <li>
        <strong>State:</strong>
        <span class="state-badge state-{{ schema.state }}"
            >{{ schema.state }}</span
        >
    </li>
    <li>
        <strong>Manual Verification:</strong> {{ schema.manual_verification }}
    </li>
    <li><strong>Optional:</strong> {{ schema.optional }}</li>
    <li><strong>Deprecated:</strong> {{ schema.deprecated }}</li>
    <li><strong>Excluded:</strong> {{ schema.excluded }}</li>
</ul>

<h2>Description</h2>
{% if schema.description %} {{ schema.description }} {% else %}
<p>No description available.</p>
{% endif %}

<h2>Children</h2>
<ul>
    {% for child in schema.children %}
    <li>
        <a href="{{ path_to_root }}/{{ requirement_url_path(child) }}.html"
            >{{ child.id }}</a
        ><span class="state-badge state-{{ child.state }}"
            >{{ child.state }}</span
        >{% if child.optional %}<span class="optional-badge">optional</span>{%
        endif %}
    </li>
    {% endfor %}
</ul>
<h2>Parents</h2>
<ul>
    {% for parent in schema.parents %}
    <li>
        <a href="{{ path_to_root }}/{{ requirement_url_path(parent) }}.html"
            >{{ parent.id }}</a
        ><span class="state-badge state-{{ parent.state }}"
            >{{ parent.state }}</span
        >{% if parent.optional %}<span class="optional-badge">optional</span>{%
        endif %}
    </li>
    {% endfor %}
</ul>

<h2>Covered By</h2>
<ul>
    {% for test_run in schema.covered_by.test_runs %}
    <li>
        <strong>Test Run:</strong>
        <a href="{{ path_to_root }}/{{ test_run_url_path(test_run) }}.html"
            >{{ test_run.name }}</a
        ><span class="state-badge state-{{ test_run.state }}"
            >{{ test_run.state }}</span
        >
    </li>
    {% endfor %} {% for test_case in schema.covered_by.test_cases %}
    <li>
        <strong>Test Case:</strong>
        <a href="{{ path_to_root }}/{{ test_case_url_path(test_case) }}.html"
            >{{ test_case.test_case_name }}</a
        ><span class="state-badge state-{{ test_case.state }}"
            >{{ test_case.state }}</span
        >
    </li>
    {% endfor %}
</ul>

<h2>Reviewed In</h2>
<ul>
    {% for review in schema.reviewed_in %}
    <li>
        <a href="{{ path_to_root }}/{{ review_url_path(review) }}.html"
            >{{ review.name }}</a
        ><span class="state-badge state-{{ review.state }}"
            >{{ review.state }}</span
        >
    </li>
    {% endfor %}
</ul>

<h2>Traces</h2>
{% if schema.traces %}
<h3>Summary</h3>
<ul>
    <li><strong>Total:</strong> {{ schema.traces.summary.total }}</li>
    <li>
        <strong>Verifying:</strong> {{ schema.traces.summary.verifies.cnt }} ({{
        schema.traces.summary.verifies.percentage | round(2) }}%)
    </li>
    <li>
        <strong>Satisfying:</strong> {{ schema.traces.summary.satisfies.cnt }}
        ({{ schema.traces.summary.satisfies.percentage | round(2) }}%)
    </li>
    <li>
        <strong>Clarifying:</strong> {{ schema.traces.summary.clarifies.cnt }}
        ({{ schema.traces.summary.clarifies.percentage | round(2) }}%)
    </li>
    <li>
        <strong>Plain Links:</strong> {{ schema.traces.summary.links.cnt }} ({{
        schema.traces.summary.links.percentage | round(2) }}%)
    </li>
</ul>
<h3>Locations</h3>
<ul>
    {% for trace in schema.traces.all %}
    <li>
        {{ trace.filepath }}#{{ trace.line }} (<span>{{ trace.kind }}</span>)
    </li>
    {% endfor %}
</ul>
{% else %} No traces found. {% endif %} {% endblock %}