|
1
|
<form role="form">
|
|
2
|
<div class="form-group">
|
|
3
|
<label for="xqueryInput" class="control-label">XQuery</label>
|
|
4
|
<textarea class="form-control" id="xqueryInput" ng-model="query" rows="10"></textarea>
|
|
5
|
</div>
|
|
6
|
<button class="btn btn-default" ng-click="searchXQuery()">Search</button>
|
|
7
|
<button class="btn btn-primary pull-right" data-toggle="modal" data-target="#xqueryHistoryModal">History</button>
|
|
8
|
</form>
|
|
9
|
<br />
|
|
10
|
|
|
11
|
<div class="panel panel-default" ng-show="error">
|
|
12
|
<div class="panel-heading">
|
|
13
|
<a class="accordion-toggle" data-toggle="collapse" data-target="#collapse_error"><b>Error:</b> <i>{{error.message}}</i></a>
|
|
14
|
</div>
|
|
15
|
<div id="collapse_error" class="panel-collapse collapse in">
|
|
16
|
<div class="panel-body">
|
|
17
|
<pre>{{error.stacktrace}}</pre>
|
|
18
|
</div>
|
|
19
|
</div>
|
|
20
|
</div>
|
|
21
|
|
|
22
|
|
|
23
|
<p ng-hide="error"><b>Number of results:</b> {{results.length}}<br /></p>
|
|
24
|
|
|
25
|
<div class="panel panel-default" ng-repeat="r in results track by $index">
|
|
26
|
<div class="panel-heading">
|
|
27
|
<a class="accordion-toggle" data-toggle="collapse" data-target="#collapse_{{$index}}"><b> Result: </b><i>{{$index + 1}}</i></a>
|
|
28
|
</div>
|
|
29
|
<div id="collapse_{{$index}}" class="panel-collapse collapse in">
|
|
30
|
<div class="panel-body">
|
|
31
|
<pre>{{r}}</pre>
|
|
32
|
</div>
|
|
33
|
</div>
|
|
34
|
</div>
|
|
35
|
|
|
36
|
|
|
37
|
<div id="xqueryHistoryModal" class="modal fade" tabindex="-1" role="dialog">
|
|
38
|
<div class="modal-dialog modal-lg">
|
|
39
|
<div class="modal-content">
|
|
40
|
<div class="modal-header">
|
|
41
|
<button type="button" class="close" data-dismiss="modal">×</button>
|
|
42
|
<h4 class="modal-title">History</h4>
|
|
43
|
</div>
|
|
44
|
<div class="modal-body" style="height: 400px; overflow-y: scroll">
|
|
45
|
<p class="text-center" ng-show="history.length == 0">
|
|
46
|
<b>History is empty</b>
|
|
47
|
</p>
|
|
48
|
<div ng-repeat="e in history | reverse">
|
|
49
|
<span><a href="javascript:void(0)" data-dismiss="modal" ng-click="updateXQuery(e.query)">{{e.date | date:"yyyy-MM-dd HH:mm:ss"}}</a></span>
|
|
50
|
<pre>{{e.query}}</pre>
|
|
51
|
</div>
|
|
52
|
</div>
|
|
53
|
<div class="modal-footer">
|
|
54
|
<button class="btn btn-primary" data-dismiss="modal">Clear history</button>
|
|
55
|
<button class="btn btn-default" data-dismiss="modal">Close</button>
|
|
56
|
</div>
|
|
57
|
</div>
|
|
58
|
</div>
|
|
59
|
</div>
|