{% extends 'bridge/base.html' %}
{% comment "License" %}
% Copyright (c) 2019 ISP RAS (http://www.ispras.ru)
% Ivannikov Institute for System Programming of the Russian Academy of Sciences
%
% Licensed under the Apache License, Version 2.0 (the "License");
% you may not use this file except in compliance with the License.
% You may obtain a copy of the License at
%
%    http://www.apache.org/licenses/LICENSE-2.0
%
% Unless required by applicable law or agreed to in writing, software
% distributed under the License is distributed on an "AS IS" BASIS,
% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
% See the License for the specific language governing permissions and
% limitations under the License.
{% endcomment %}

{% load i18n %}
{% load static %}
{% load compress %}

{% block title %}{% trans 'Safe' %}{% endblock %}

{% block head_block %}
    {% if coverage %}
        <script src="{% static 'bridge/js/jquery.mark.min.js' %}"></script>
        {% compress js file coverage %}
            <script type="text/javascript" src="{% static 'reports/js/source.js' %}"></script>
            <script type="text/javascript" src="{% static 'reports/js/coverage.js' %}"></script>
            <script type="text/javascript" src="{% static 'reports/js/leaf-coverage.js' %}"></script>
        {% endcompress %}
    {% endif %}

    {% compress js file leaf %}
        <script type="text/javascript" src="{% static 'marks/js/tags.js' %}"></script>
        <script type="text/javascript" src="{% static 'marks/js/inlineMarkForm.js' %}"></script>
        <script type="text/javascript" src="{% static 'reports/js/reportLeaf.js' %}"></script>
    {% endcompress %}

    {% if coverage %}
        {% compress css file coverage %}
            <link href="{% static 'reports/css/source.css' %}" rel="stylesheet">
            <link href="{% static 'reports/css/coverage.css' %}" rel="stylesheet">
        {% endcompress %}
    {% endif %}

    {% compress css file leaf %}
        <link href="{% static 'marks/css/tagsmap.css' %}" rel="stylesheet">
        <link href="{% static 'reports/css/reportLeaf.css' %}" rel="stylesheet">
    {% endcompress %}
{% endblock %}

{% block body_block %}
    <div class="ui grid">
        <div class="five wide column">
            <span class="purple-title">{% trans 'Decision' %}: </span>
            <a href="{% url 'jobs:decision' report.decision.pk %}">{{ report.decision.name }}</a>
            <br>
            {% if report.decision.operator %}
                <span class="purple-title">{% trans 'Author' %}: </span>
                <a href="{% url 'users:show-profile' report.decision.operator.id %}">{{ report.decision.operator.get_full_name }}</a>
            {% endif %}
        </div>
        <div class="four wide column">
            {% if parents %}{% include 'reports/parents_breadcrumb.html' with parents=parents %}{% endif %}
        </div>
        <div class="seven wide column right aligned">
            {% if coverage %}
                <a class="ui icon mini basic button" href="{% url 'reports:coverage-download' coverage.coverage.id %}" style="float:left;">{% trans 'Download code coverage' %}</a>
                {% include 'reports/coverage/coverageNavigation.html' with statistics=coverage %}
                <div id="highlight_selection" class="ui mini violet basic button" style="margin-top: 5px;">{% trans 'Highlight selected identifier' %}</div>
            {% endif %}
        </div>
    </div>
    <div class="ui grid">
        <div class="seven wide column">
            {% if coverage %}
                <div id="CoverageStatisticsTable">
                    {% include 'reports/coverage/CoverageStatistics.html' with statistics=coverage %}
                </div>
            {% else %}
                <h5 class="ui red header">{% trans 'The report does not have code coverage' %}</h5>
            {% endif %}
            <br>
            {% if resources %}
                <i class="ui computer violet link icon parent-popup" data-variation="very wide"></i>
                <div class="ui special popup">
                    <div class="header">{% trans 'Consumed resources' %}</div>
                    <div class="content">
                        <span class="purple-subtitle">{% trans 'Wall time' %}: </span>{{ resources.wall_time }}<br>
                        <span class="purple-subtitle">{% trans 'CPU time' %}: </span>{{ resources.cpu_time }}<br>
                        <span class="purple-subtitle">{% trans 'Memory size' %}: </span>{{ resources.memory }}<br>
                    </div>
                </div>
            {% endif %}

            <div class="ui tiny buttons" style="float: right;">
                <button id="show_leaf_attributes" class="ui violet button">{% trans 'Attributes' %}</button>
                {% if coverage %}
                    <button id="get_data_statistic" class="ui purple button">{% trans 'Code coverage data statistics' %}</button>
                {% endif %}
                {% if verifier_files_url %}
                    <a href="{{ verifier_files_url }}" class="ui violet button">{% trans 'Download verifier input files' %}</a>
                {% endif %}
            </div>

            <br><br>
            <div id="leaf_attributes" style="display: none">
                <table class="ui celled compact purple table">
                    <tbody>
                        {% for attr in SelfAttrsData %}
                            <tr>
                                <th class="collapsing">
                                    {% if attr.compare %}
                                        <i class="ui violet link columns icon note-popup" data-content="{% trans 'Used for reports comparison' %}"></i>
                                    {% endif %}
                                    {% if attr.associate %}
                                        <i class="ui violet link bookmark outline icon note-popup" data-content="{% trans 'Used for mark associations by default' %}"></i>
                                    {% endif %}
                                    {{ attr.name }}
                                </th>
                                <td class="collapsing">
                                    {% if attr.data %}
                                        <a class="file-content-activator" href="#" data-url="{% url 'reports:attr-data-content' attr.id %}" data-download="{% url 'reports:attr-data' attr.id %}">{{ attr.value }}</a>
                                    {% else %}
                                        <span>{{ attr.value }}</span>
                                    {% endif %}
                                </td>
                            </tr>
                        {% endfor %}
                    </tbody>
                </table>
            </div>
        </div>
        <div class="nine wide column">
            {% if coverage %}
                <div class="CoverageSourceTitleBlock">
                    <h5 id="CoverageSourceTitle" class="header" data-variation="very wide" data-position="top right">&nbsp;</h5>
                </div>
                <div id="CoverageSourceSegment" class="ui orange segment">
                    <div id="CoverageSourceCode" class="SourceCodeContent"></div>
                </div>
                <div class="ui violet segment">
                    <div class="ui grid">
                        <div class="eight wide column">
                            <h5>{% trans 'Data' %}</h5>
                            <div id="CoverageDataContent"></div>
                        </div>
                        <div class="eight wide column">
                            <h5>{% trans 'Legend' %}</h5>
                            <div id="CoverageLegend"></div>
                        </div>
                    </div>
                </div>
                <div id="sources_history" hidden></div>
            {% endif %}
        </div>
    </div>
    <div class="ui grid">
        <div class="seven wide column"></div>
        <div class="nine wide column">
            {% if MarkTable.can_mark %}
                <div id="inline_mark_form" style="display: none"></div>
            {% endif %}
            <div id="view_form_segment_{{ MarkTable.view.type }}" class="ui form yellow segment" style="margin-top: 0;display:none;">
                {% include MarkTable.view.template with view=MarkTable.view verdicts=MarkTable.verdicts ass_types=MarkTable.ass_types selected_columns=MarkTable.selected_columns available_columns=MarkTable.available_columns %}
            </div>
        </div>
    </div>
    <div class="ui grid">
        <div class="four wide column bottom aligned"><h4>{% trans 'Associated marks' %}</h4></div>
        <div class="twelve wide column right aligned">
            <div class="ui tiny buttons">
                {% if MarkTable.can_mark %}
                    <a class="ui tiny pink basic button mark-inline-form" data-url="{% url 'marks:safe-create-inl' report.id %}">{% trans 'Create lightweight mark' %}</a>
                    <a href="{% url 'marks:safe-create' report.pk %}" class="ui tiny pink button">{% trans 'Create full-weight mark' %}</a>
                {% endif %}
                <button id="view_show_form_btn_{{ MarkTable.view.type }}" class="ui tiny violet right labeled icon button">{{ MarkTable.view.viewtitle }} <i class="up chevron icon"></i></button>
            </div>
        </div>
    </div>
    {% include 'reports/AssociatedMarksTable.html' with MarkTable=MarkTable %}
    <br>

    {% if coverage %}
        {# Code coverage data statistics modal #}
        {% include 'reports/coverage/coverageDataStatisticsModal.html' with DataStatistics=coverage.data_statistic %}

        <input id="source_url" type="hidden" value="{% url 'reports:api-get-source' object.parent_id %}">
    {% endif %}
{% endblock %}