{% extends "base.html" %}
{% block title %}{{ flow.entry_point_contract_name }}.{{ flow.entry_point_function_name }}{{ flow.signature_suffix }} — Solidity Flow Navigator{% endblock %}
{% block body_class %}flow-page{% endblock %}

{% block head_extra %}
  <link rel="stylesheet" href="{{ url_for('static', filename='css/pygments.css') }}">
{% endblock %}

{% block content %}
{# v0.10.4: the back-link lives INSIDE the header's flex row. It was
   previously a position:fixed overlay at the header's coordinates, which
   sat on top of the title's first characters on every flow page. #}
<header class="flow-header">
  <nav class="flow-nav">
    <a class="back-link" href="{{ url_for('index') }}">&larr; index</a>
    {# v0.15.0 bookmarks (spec §8.3): toggle the entry this page shows. Server-side
       link + inline SVG, no JavaScript; redirects back to this page. The macro
       lives in index.html, so the markup is inlined here. #}
    {% set bookmarked = ('e:' + entry_url_id) in bookmarked_ids %}
    <a class="bookmark-toggle{{ ' is-on' if bookmarked }}" href="{{ url_for('toggle_bookmark', kind='entry', ident=entry_url_id, next=request.path) }}" aria-pressed="{{ 'true' if bookmarked else 'false' }}" title="{{ 'Remove bookmark' if bookmarked else 'Bookmark this entry point' }}" aria-label="{{ 'Remove bookmark' if bookmarked else 'Bookmark this entry point' }}"><svg class="bookmark-ico" viewBox="0 0 16 16" width="13" height="13" aria-hidden="true"><path d="M4 2 L12 2 L12 14 L8 10.5 L4 14 Z" stroke-width="1.4" stroke-linejoin="round"/></svg></a>
  </nav>
  <div class="flow-header-text">
    <h1 class="flow-title">
      <code>{{ flow.entry_point_contract_name }}.{{ flow.entry_point_function_name }}{{ flow.signature_suffix }}</code>
    </h1>
    {% set root = flow.root %}
    {% if root.invoked_via_contract_name != root.declarer_contract_name %}
      <p class="flow-subtitle">
        Inherited entry point — invoked on
        <code>{{ root.invoked_via_contract_name }}</code>,
        declared in <code>{{ root.declarer_contract_name }}</code>.
      </p>
    {% endif %}
  </div>
</header>

{# Stage 3 graph layout. Flow data is embedded inline; flow.js builds the
   dagre graph, measures rendered HTML nodes, lays out, and binds d3-zoom.
   The ``data-expand-all`` attribute is the v0.10.0 toggle (spec §10.2): the
   progressive renderer reads it on init and, when "true", expands every
   call site recursively before the first layout pass. #}
<script type="application/json" id="flow-data" data-expand-all="{{ 'true' if expand_all else 'false' }}">{{ flow_json | safe }}</script>

<div id="graph-frame" tabindex="0">
  <div id="graph">
    <svg id="edges" aria-hidden="true">
      <defs>
        <marker id="arrowhead" viewBox="0 0 10 10" refX="9" refY="5"
                markerWidth="6" markerHeight="6" orient="auto-start-reverse">
          <path d="M 0 0 L 10 5 L 0 10 z"></path>
        </marker>
      </defs>
    </svg>
    <div id="nodes"></div>
  </div>
  <button id="reset-view" type="button" title="Fit the whole tree in view (shortcut: R or 0)">Reset view</button>
</div>
{% endblock %}

{% block scripts %}
  <script src="{{ url_for('static', filename='vendor/dagre.min.js') }}"></script>
  <script src="{{ url_for('static', filename='vendor/d3.min.js') }}"></script>
  {# v0.10.0 Stage 2: the all-at-once renderer (flow.js) and the
     `--legacy` flag that selected it are retired. The bird's-eye-view
     use case is now `--expand-all` on this same renderer (spec §10.2). #}
  <script src="{{ url_for('static', filename='js/flow-progressive.js') }}"></script>
{% endblock %}