Added option to search over incomplete trees. Also added some validations.

This commit is contained in:
2025-04-10 07:32:56 +02:00
parent 31b2da01cb
commit 81761c5e88
8 changed files with 351 additions and 158 deletions

View File

@@ -128,9 +128,13 @@
</div>
<div class="row">
<div class="input-field col s12 dynamic-height">
<input id="display_size" name="display_size" type="text" class="validate" value="2-10">
<input id="display_size" name="display_size" type="text" class="validate {% if 'display_size' in validation %} invalid{% endif %}" value="2-10">
<label for="display_size"><b>{{ _('Tree size') }}</b>: {{ _('number of tokens in the tree') }} (<a class="nav-link" href="https://github.com/clarinsi/STARK/blob/master/settings.md#--size" target="_blank" title="{{ _('Help') }}"><span class="menu-title sr-only">{{ _('Help') }}</span></a>)</label>
{% if 'display_size' in validation %}
<span class="helper-text" data-error="{{validation['display_size']}}"></span>
{% endif %}
</div>
</div>
<div class="row">
<div class="input-field col s12 dynamic-height">
@@ -162,6 +166,21 @@
</div>
</div>
</div>
<div class="row">
<div class="col s12">
<label><b>{{ _('Complete trees') }}</b>: {{ _('extract head node with all its dependants') }} (<a class="nav-link" href="https://github.com/clarinsi/STARK/blob/master/advanced.md#--complete" target="_blank" title="{{ _('Help') }}"><span class="menu-title sr-only">{{ _('Help') }}</span></a>). {{_("Note: Extracting incomplete trees ('No' option) is slow and limited to a maximum tree size of 4 nodes.") }}</label>
<div class="input-field">
<div class="switch">
<label>
{{ _('No') }}
<input class="complete_trees" type="checkbox" name="complete_trees" checked="checked">
<span class="lever"></span>
{{ _('Yes') }}
</label>
</div>
</div>
</div>
</div>
</div>
</div>
<h6><a class="waves-effect waves-light inline expand" id="compare-expand"><i class="material-icons em-1 ">add</i> {{ _('Compare treebanks') }}</a></h6>
@@ -220,6 +239,20 @@
</div>
</div>
</div>
<!-- Modal Trigger -->
<a class="waves-effect waves-light btn modal-trigger" href="#modal2">Modal</a>
<!-- Modal Structure -->
<div id="modal2" class="modal">
<div class="modal-content">
<h4>Warning</h4>
<p>{{_("Extracting incomplete trees ('No' option) is slow and limited to a maximum tree size of 4 nodes.") }}</p>
</div>
<div class="modal-footer">
<a href="#!" class="modal-close waves-effect waves-green btn-flat">OK</a>
</div>
</div>
{% endblock %}
{% block custom_js %}
<script src="static/js/init.js"></script>