{% extends "base.html" %}
{% from "_links.html" import edge_list, go, kind_dot %}
{% from "_map.html" import render_map %}
{#
  One page per file the specification graph references. The framework carries
  these links: nothing is written into the file, and each anchor is found again
  by content hash when it moves. Each anchor section carries its name as its id,
  so a code:// URI's fragment lands on it. Source lines are numbered by a CSS
  counter starting at the anchor's first line, so copying the excerpt copies
  only code.
#}
{% block main %}
<article class="page code-page k-code">
  {% include "_crumbs.html" %}
  <header class="page-head">
    <div class="eyebrow">
      <span class="kind-badge k-code">{{ kind_dot("code") }}Code</span>
      <span class="meta-item">{{ anchors | length }} referenced anchor{% if anchors | length != 1 %}s{% endif %}</span>
    </div>
    <h1 class="path"><code>{{ path }}</code></h1>
    <p class="lede">Referenced by the specification graph. Nothing here is annotated in the source file; each anchor is found again by its content hash when it moves.</p>
    {% if anchors | length > 1 %}
    <nav class="anchor-index" aria-label="Anchors in this file">
      {% for anchor in anchors %}<a href="#{{ anchor.name }}">{{ anchor.name }}</a>{% endfor %}
    </nav>
    {% endif %}
  </header>

  {% if neighbourhood.nodes | length > 1 %}
  <div class="panel neighbourhood">
    <div class="panel-head">
      <h2>Neighbourhood</h2>
      <p class="note">The requirements this file implements and the evidence that cites it.</p>
    </div>
    {{ render_map(neighbourhood, base) }}
  </div>
  {% endif %}

  {% for anchor in anchors %}
  <section class="anchor" id="{{ anchor.name }}">
    <div class="anchor-head">
      <h2><code>{{ anchor.name }}</code></h2>
      <span class="lines">{% if anchor.granularity == "symbol" %}lines {{ anchor.line }}&ndash;{{ anchor.end_line }}{% else %}line {{ anchor.line }}, hashed with the whole file{% endif %}</span>
    </div>
    <div class="anchor-links">
      {{ edge_list("Implements", anchor.implements, base) }}
      {{ edge_list("Cited as evidence by", anchor.cited_by, base) }}
    </div>
    {% if anchor.lines %}
    <pre class="source" style="counter-reset: ln {{ (anchor.line or 1) - 1 }}"><code>{% for line in anchor.lines %}<span class="ln">{{ line }}</span>
{% endfor %}</code></pre>
    {% endif %}
  </section>
  {% endfor %}
</article>
{% endblock %}