{% extends "base.html" %}

{% set display_label = data.display_label or data.label %}
{% block title %}{{ display_label }} - Threat Model{% endblock %}

{% block content %}
<h1>Property: {{ display_label }}</h1>

<h2>Threats mitigated by this property</h2>
{% if data.mitigated_threats %}
<ul class="prop-list">
    {% for tid, threat in data.mitigated_threats %}
    {% set tokens = threat.mapping.mitigations_for_prop(prop) %}
    <li>
        <a href="threat_{{ tid }}.html">{{ tid }}</a>
        {% if tokens and tokens != [prop] %}<code class="prop-token">{{ tokens | join(', ') }}</code>{% endif %}
        <span class="prop-meta">{{ threat.description }}</span>
    </li>
    {% endfor %}
</ul>
{% else %}
<p><em>None.</em></p>
{% endif %}

<h2>Threats that would be mitigated by this property</h2>
{% if data.would_be_mitigated_threats %}
<ul class="prop-list">
    {% for tid, threat in data.would_be_mitigated_threats %}
    {% set tokens = threat.mapping.mitigations_for_prop(prop) %}
    <li>
        <a href="threat_{{ tid }}.html">{{ tid }}</a>
        {% if tokens and tokens != [prop] %}<code class="prop-token">{{ tokens | join(', ') }}</code>{% endif %}
        <span class="prop-meta">{{ threat.description }}</span>
    </li>
    {% endfor %}
</ul>
{% else %}
<p><em>None.</em></p>
{% endif %}

<h2>Threats requiring this property</h2>
{% if data.requiring_threats %}
<ul class="prop-list">
    {% for tid, threat in data.requiring_threats %}
    {% set tokens = threat.mapping.requirements_for_prop(prop) %}
    <li>
        <a href="threat_{{ tid }}.html">{{ tid }}</a>
        {% if tokens and tokens != [prop] %}<code class="prop-token">{{ tokens | join(', ') }}</code>{% endif %}
        <span class="prop-meta">{{ threat.description }}</span>
    </li>
    {% endfor %}
</ul>
{% else %}
<p><em>None.</em></p>
{% endif %}

<h2>Components that would benefit</h2>
{% if data.benefit_components %}
<ul class="prop-list">
    {% for comp in data.benefit_components %}
    <li>
        <a href="component_{{ comp.name | slugify }}.html">{{ comp.name }}</a>
        <span class="prop-meta">{{ comp.comp.component_class }}{% if comp.comp.inBoundary %} · {{ comp.comp.inBoundary }}{% endif %}</span>
        {% if comp.current_value is sameas false or comp.current_value is none %}
        <span class="badge badge-false">not set</span>
        {% elif comp.current_value is sequence and comp.current_value is not string %}
        <span class="badge badge-false">{{ comp.current_value | join(', ') }}</span>
        {% else %}
        <span class="badge badge-false">{{ comp.current_value }}</span>
        {% endif %}
    </li>
    {% endfor %}
</ul>
{% else %}
<p><em>None.</em></p>
{% endif %}

<p><a href="index.html">Back to Summary</a></p>
{% endblock %}