{% 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 %}

<div class="ui grid">
    <div class="four wide column">
        <div class="buttons">
            <div id="save_conf_as_default_btn" class="ui small basic violet button">{% trans 'Save as default' %}</div>
        </div>
    </div>
    <div class="six wide column right aligned">
        <div id="upload_file_conf_form" style="display: none;">
            <span class="ui violet button btn-file">{% trans 'Browse' %}<input id="file_conf" type="file"></span>
        </div>
        <div id="select_lastconf_form"{% if not data.base_decision %} style="display: none;"{% endif %}>
            <select id="lastconf_select" class="ui dropdown">
                {% for decision in data.decisions %}
                    <option value="{{ decision.id }}"{% if data.base_decision and data.base_decision.id == decision.id %} selected{% endif %} >{{ decision.name }}</option>
                {% endfor %}
            </select>
        </div>
    </div>
    <div class="six wide column right aligned">
        <div id="configuration_mode" class="ui selection dropdown">
            <input type="hidden" name="configuration-mode" value="{{ data.selected_mode }}">
            <i class="dropdown icon"></i>
            <div class="default text">{% trans 'Configuration mode' %}</div>
            <div class="menu">
                <div class="item" data-value="default">{% trans 'Default' %}</div>
                {% for conf in data.modes %}
                    <div class="item" data-value="{{ conf.0 }}">{{ conf.1 }}{% if data.recommended_mode == conf.0 %} <i class="orange star icon"></i>{% endif %}</div>
                {% endfor %}
            </div>
        </div>
    </div>
</div>
<div class="ui horizontal segments">
    <div class="ui violet segment" style="width: 25%;">
        <h4>{% trans 'Scheduling' %}</h4>
        {% if data.job_sch_err %}
            <h4 class="ui red header">{{ data.job_sch_err }}</h4>
        {% endif %}
        <div>
            <h5>{% trans 'Job priority' %}</h5>
            {% for p in data.priorities %}
                <div class="ui radio checkbox">
                    <input id="priority__{{ p.0 }}" name="priority" type="radio" value="{{ p.0 }}"{% if data.conf.priority == p.0 %} checked{% endif %}>
                    <label for="priority__{{ p.0 }}">{{ p.1 }}</label>
                </div>
                <br>
            {% endfor %}
        </div>
        <h5>{% trans 'Tasks scheduler' %}</h5>
        {% for sch in data.schedulers %}
            <div class="ui radio scheduler-checkbox checkbox">
                <input id="scheduler__{{ sch.0 }}" name="scheduler" type="radio" value="{{ sch.0 }}"{% if sch.0 == data.conf.scheduler %} checked{% endif %}>
                <label for="scheduler__{{ sch.0 }}">{{ sch.1 }}</label>
            </div>
            <br>
        {% endfor %}
        <br>
        <label for="max_tasks" style="margin-right: 20px;">{% trans 'Max solving tasks per a sub-job' %}</label>
        <div>
            <div class="ui input">
                <input id="max_tasks" type="number" value="{{ data.conf.max_tasks }}" pattern="[0-9]+">
            </div>
            <i class="ui blue icon help note-popup"></i>
            <div class="ui popup">
                {% trans 'This value limits a number of tasks for EMG thread pool and to be submitted to the scheduler' %}.
                {% trans 'Recommended value is an overall number of verification tasks' %}.
            </div>
        </div>
    </div>

    {# Parallelism #}
    <div class="ui violet segment" style="width: 40%;">
        <h4>{% trans 'Operations parallelism' %}</h4>
        <label for="parallelism_0">{% trans 'Sub-jobs processing' %}</label>
        <br>
        <div class="ui input">
            <input class="parallelism-values" id="parallelism_0" type="text" value="{{ data.conf.parallelism.0 }}">
        </div>
        <br><br>
        <label for="parallelism_1">{% trans 'EMG' %}</label>
        <i class="ui blue icon help note-popup"></i>
        <div class="ui popup">
            {% trans 'Number of threads in EMG thread pool. Launched for each job' %}
        </div>
        <br>
        <div class="ui input">
            <input class="parallelism-values" id="parallelism_1" type="text" value="{{ data.conf.parallelism.1 }}">
        </div>
        <br><br>
        <label for="parallelism_2">{% trans 'Plugins' %}</label>
        <i class="ui blue icon help note-popup"></i>
        <div class="ui popup">
            {% trans 'Number of threads in Plugins thread pool (includes RSG, ASE, TR, Weaver, FVTP(CIL) components).' %}
            {% trans 'Launched for each Job' %}
        </div>
        <br>
        <div class="ui input">
            <input class="parallelism-values" id="parallelism_2" type="text" value="{{ data.conf.parallelism.2 }}">
        </div>
        <br><br>
        <label for="parallelism_3">{% trans 'CIF' %}</label>
        <i class="ui blue icon help note-popup"></i>
        <div class="ui popup">
            {% trans 'Number of threads in CIF thread pools. Launched for each Weaver component' %}
        </div>
        <br>
        <div class="ui input">
            <input class="parallelism-values" id="parallelism_3" type="text" value="{{ data.conf.parallelism.3 }}">
        </div>
        <br><br>
        <label for="parallelism_4">{% trans 'Results processing' %}</label>
        <i class="ui blue icon help note-popup"></i>
        <div class="ui popup">
            {% trans 'Number of threads in Result processor thread pool. Launched for each Job' %}
        </div>
        <br>
        <div class="ui input">
            <input class="parallelism-values" id="parallelism_4" type="text" value="{{ data.conf.parallelism.4 }}">
        </div>
        <br><br><br>
        {% for p in data.parallelism %}
            <span class="get-attr-value" data-name="parallelism" data-value="{{ p.0 }}">{{ p.1 }}</span>
        {% endfor %}
    </div>

    <div class="ui violet segment" style="width: 35%;">
        <h4>{% trans 'Resource limits for Klever Core' %}</h4>
        <label for="memory" style="margin-right: 20px;">{% trans 'Memory size for whole process' %}, {% trans 'GB' %}</label>
        <div>
            <div class="ui input">
                <input id="memory" type="text" value="{{ data.conf.memory }}">
            </div>
            <i class="ui blue icon help note-popup"></i>
            <div class="ui popup">
                {% trans 'Memory is not limited for the main process, but scheduler reserves the given amount' %}
            </div>
        </div>
        <br>
        <!-- This limit will make sense only if scheduler can track each component
        <label for="cpu_num" style="margin-right: 20px;">{% trans 'Number of CPU cores' %}</label>
        <div>
            <div class="ui input">
                <input id="cpu_num" type="number"{% if data.conf.cpu_model %} value="{{ data.conf.cpu_num }}"{% endif %} pattern="[0-9]+">
            </div>
            <i class="ui blue icon help note-popup"></i>
            <div class="ui popup">
                {% trans 'For instance,' %} 2.
            </div>
        </div>
        <br>
        -->
        <label for="disk_size" style="margin-right: 20px;">{% trans 'Disk memory size' %}, {% trans 'GB' %}</label>
        <div>
            <div class="ui input">
                <input id="disk_size" type="text" value="{{ data.conf.disk_size }}">
            </div>
            <i class="ui blue icon help note-popup"></i>
            <div class="ui popup">
                {% trans 'Job will be stopped if it exceeds disk memory limit' %}.
                {% trans 'Recommended value is at least 100 GB' %}.
            </div>
        </div>
        <br>
        <!-- This limit will make sense only for scheduler with several machines for jobs
        <label for="cpu_model">{% trans 'CPU model' %}</label>
        <div>
            <div class="ui input" style="width: 250px;">
                <input id="cpu_model" type="text"{% if data.conf.cpu_model %} value="{{ data.conf.cpu_model }}"{% endif %}>
            </div>
            <i class="ui blue icon help note-popup"></i>
            <div class="ui popup">
                {% trans 'You can specify any substring of the target CPU model. The empty value means any model.' %}
            </div>
        </div>
        <br>
         -->
        <label for="cpu_time_exec_cmds" style="margin-right: 20px;">{% trans 'CPU time for CIL' %}, {% trans 'min' %}</label>
        <div>
            <div class="ui input">
                <input id="cpu_time_exec_cmds" type="text" value="{{ data.conf.cpu_time_exec_cmds }}">
            </div>
            <i class="ui blue icon help note-popup"></i>
            <div class="ui popup">
                {% trans 'Internal CPU time limitations for FVTP (CIL) component' %}.
                {% trans 'Recommended value is 3-5 min' %}.
            </div>
        </div>
        <br>
        <label for="memory_exec_cmds" style="margin-right: 20px;">{% trans 'Memory size for CIL' %}, {% trans 'GB' %}</label>
        <div>
            <div class="ui input">
                <input id="memory_exec_cmds" type="text" value="{{ data.conf.memory_exec_cmds }}">
            </div>
            <i class="ui blue icon help note-popup"></i>
            <div class="ui popup">
                {% trans 'Internal memory limitations for FVTP (CIL) component' %}.
                {% trans 'Recommended value is 1-2 GB' %}.
            </div>
        </div>
        <br>
        <label for="cpu_time_exec_emg" style="margin-right: 20px;">{% trans 'CPU time for EMG' %}, {% trans 'min' %}</label>
        <div>
            <div class="ui input">
                <input id="cpu_time_exec_emg" type="text" value="{{ data.conf.cpu_time_exec_emg }}">
            </div>
            <i class="ui blue icon help note-popup"></i>
            <div class="ui popup">
                {% trans 'Internal CPU time limitations for EMG components' %}.
                {% trans 'Recommended value is 0.5-1 min' %}.
            </div>
        </div>
        <br>
        <label for="memory_exec_emg" style="margin-right: 20px;">{% trans 'Memory size for EMG' %}, {% trans 'GB' %}</label>
        <div>
            <div class="ui input">
                <input id="memory_exec_emg" type="text" value="{{ data.conf.memory_exec_emg }}">
            </div>
            <i class="ui blue icon help note-popup"></i>
            <div class="ui popup">
                {% trans 'Internal memory limitations for EMG component' %}.
                {% trans 'Recommended value is 1.5-2 GB' %}.
            </div>
        </div>
    </div>

</div>
<div class="ui horizontal segments">
    <div class="ui violet segment">
        <h3>{% trans 'Logging' %}</h3>
        <p class="bold-text">{% trans 'Console' %}</p>
        <label for="console_level">{% trans 'Logging level' %}</label><br>
        <select id="console_level" name="console_level" class="ui dropdown mini normal-dropdown">
            {% for ll in data.levels %}
                <option value="{{ ll }}"{% if data.conf.console_level == ll %} selected{% endif %} >{{ ll }}</option>
            {% endfor %}
        </select>
        <br><br>
        <label for="console_formatter">{% trans 'Formatter' %}</label>
        <div class="ui fluid input">
            <input id="console_formatter" name="console_formatter" value="{{ data.conf.console_formatter }}">
        </div>
        {% for df in data.formatters %}
            <span class="get-attr-value" data-name="def_console_formatter" data-value="{{ df.0 }}">{{ df.1 }}</span>
        {% endfor %}
        <div class="ui divider"></div>
        <p class="bold-text">{% trans 'File' %}</p>
        <label for="file_level">{% trans 'Logging level' %}</label><br>
        <select id="file_level" name="file_level" class="ui dropdown mini normal-dropdown">
            {% for ll in data.levels %}
                <option value="{{ ll }}"{% if data.conf.file_level == ll %} selected{% endif %} >{{ ll }}</option>
            {% endfor %}
        </select>
        <br><br>
        <label for="file_formatter">{% trans 'Formatter' %}</label>
        <div class="ui fluid input">
            <input id="file_formatter" name="file_formatter" value="{{ data.conf.file_formatter }}">
        </div>
        {% for df in data.formatters %}
            <span class="get-attr-value" data-name="def_file_formatter" data-value="{{ df.0 }}">{{ df.1 }}</span>
        {% endfor %}
    </div>
    <div class="ui violet segment">
        <h3>{% trans 'Other settings' %}</h3>
        <br>
        <div class="ui toggle checkbox">
            <input id="keep_intermediate_files" class="boolean-value" type="checkbox" {% if data.conf.keep_intermediate_files %} checked{% endif %}>
            <label for="keep_intermediate_files">{% trans 'Keep intermediate files inside the working directory of Klever Core' %}</label>
        </div>
        <br><br>
        <div class="ui toggle checkbox">
            <input id="upload_verifier_files" class="boolean-value" type="checkbox" {% if data.conf.upload_verifier_files %} checked{% endif %}>
            <label for="upload_verifier_files">{% trans 'Upload verifier input files' %}</label>
        </div>
        <br><br>
        <div class="ui toggle checkbox">
            <input id="upload_other_files" class="boolean-value" type="checkbox" {% if data.conf.upload_other_files %} checked{% endif %}>
            <label for="upload_other_files">{% trans 'Upload other intermediate files' %}</label>
        </div>
        <br><br>
        <div class="ui toggle checkbox">
            <input id="ignore_subjobs" class="boolean-value" type="checkbox" {% if data.conf.ignore_subjobs %} checked{% endif %}>
            <label for="ignore_subjobs">{% trans 'Ignore failed sub-jobs' %}</label>
        </div>
        <br><br>
        <div class="ui toggle checkbox">
            <input id="total_coverage" class="boolean-value" type="checkbox" {% if data.conf.total_coverage %} checked{% endif %}>
            <label for="total_coverage">{% trans 'Collect total code coverage' %}</label>
        </div>
        <br><br>
        <div class="ui toggle checkbox">
            <input id="cross_ref" class="boolean-value" type="checkbox" {% if data.conf.cross_ref %} checked{% endif %}>
            <label for="cross_ref">{% trans 'Collect cross-references' %}</label>
        </div>
        <br><br>
        <p class="bold-text">{% trans 'Code coverage details' %}</p>
        <div class="switch-toggle switch-3 switch-candy switch-candy-blue">
            {% for x in data.coverage_details %}
                <input id="coverage_details_{{ x.0 }}" name="coverage_details" type="radio" value="{{ x.0 }}" {% if data.conf.coverage_details == x.0 %} checked="checked"{% endif %}>
                <label for="coverage_details_{{ x.0 }}">{{ x.1 }}</label>
            {% endfor %}
            <a></a>
        </div>
        <br><br>
        <p class="bold-text">{% trans 'Job reports' %}</p>
        <div class="switch-toggle switch-3 switch-candy switch-candy-blue">
            {% for w in data.weight %}
                <input id="weight_{{ w.0 }}" name="weight" type="radio" value="{{ w.0 }}" {% if data.conf.weight == w.0 %} checked="checked"{% endif %}>
                <label for="weight_{{ w.0 }}">{{ w.1 }}</label>
            {% endfor %}
            <a></a>
        </div>
    </div>
</div>
{% if data.need_auth %}
    <div id="scheduler_user_modal" class="ui modal">
        <div class="header">{% trans 'Add scheduler user to proceed' %}</div>
        <div class="content">
            <div class="ui grid">
                <div class="eleven wide column">
                    <div class="field">
                        <label for="sch_login">{% trans 'Username' %}</label>
                        <div class="ui input fluid">
                            <input id="sch_login" type="text">
                        </div>
                    </div>
                </div>
                <div class="five wide column">
                    <br>
                    <i id="sch_login_required" class="warn-popup ui warning red big icon" style="display: none"></i>
                    <div class="ui popup top left transition hidden">
                        <span style="white-space: nowrap">{% trans 'This field is required' %}</span>
                    </div>
                </div>
            </div>
            <br>
            <div class="ui grid">
                <div class="eleven wide column">
                    <div class="field">
                        <label for="sch_password">{% trans 'Password' %}</label>
                        <div class="ui input fluid">
                            <input id="sch_password" name="sch_password" type="password">
                        </div>
                    </div>
                </div>
                <div class="five wide column">
                    <br>
                    <i id="sch_password_required" class="warn-popup ui warning red big icon" style="display: none"></i>
                    <div class="ui popup top left transition hidden">
                        <span style="white-space: nowrap">{% trans 'This field is required' %}</span>
                    </div>
                </div>
            </div>
            <br>
            <div class="ui grid">
                <div class="eleven wide column">
                    <div class="field">
                        <label for="sch_password_retype">{% trans 'Confirmation' %}</label>
                        <div class="ui input fluid">
                            <input id="sch_password_retype" type="password">
                        </div>
                    </div>
                </div>
                <div class="five wide column">
                    <br>
                    <i id="sch_password_retype_required" class="warn-popup ui warning red big icon" style="display: none"></i>
                    <div class="ui popup top left transition hidden">
                        <span style="white-space: nowrap">{% trans 'This field is required' %}</span>
                    </div>
                    <i id="sch_password_retype_match" class="warn-popup ui warning red big icon" style="display: none"></i>
                    <div class="ui popup top left transition hidden">
                        <span style="white-space: nowrap">{% trans "Passwords don't match" %}</span>
                    </div>
                </div>
            </div>
        </div>
        <div class="actions">
            <button class="ui green button modal-confirm">{% trans 'Create' %}</button>
            <button class="ui red button modal-cancel">{% trans 'Proceed without scheduler user' %}</button>
        </div>
    </div>
{% endif %}