-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
246 lines (231 loc) · 11.3 KB
/
Copy pathindex.html
File metadata and controls
246 lines (231 loc) · 11.3 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
<!DOCTYPE html>
<html lang="en">
<head>
<title>Search for Ada/SPARK on the Web</title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<style>
body {
margin: auto;
max-width: 1200px;
}
div#center {
margin: 0px 5%;
}
h1 {
text-align: center;
margin: 2px 3% 0px 3%;
padding: 3px;
background: #00563B;
color: white;
border-radius: 10px;
}
details > summary {
text-align: center;
}
details[open] {
background-color: #eeeeee;
box-shadow: 1px 1px 2px #bbbbbb;
padding: 5px;
border-radius: 10px;
}
footer {
font-size: small;
margin: 1%;
text-align: center;
}
div#center2 {
text-align: center;
}
.centered {
text-align: center;
margin-top: 3%;
}
input[type=search] {
width: 80%;
margin: 3px;
}
header {
text-align: center;
}
.logo {
width: 40%;
}
</style>
<link rel="search" type="application/opensearchdescription+xml" title="Ada Search on Google" href="plugins/custom_google.xml">
<link rel="search" type="application/opensearchdescription+xml" title="Ada Search on searchcode" href="plugins/searchcode.xml">
<link rel="search" type="application/opensearchdescription+xml" title="Ada Search on crates" href="plugins/crates.xml">
<link rel="search" type="application/opensearchdescription+xml" title="Ada Search on GitHub" href="plugins/github.xml">
<link rel="search" type="application/opensearchdescription+xml" title="Ada Search on Sourceforge" href="plugins/sourceforge.xml">
<link rel="search" type="application/opensearchdescription+xml" title="Ada Search with ada-auth.org" href="plugins/adaauth.xml">
<link rel="search" type="application/opensearchdescription+xml" title="Ada Search on Wikibook" href="plugins/wikibook.xml">
<link rel="icon" type="image/svg+xml" href="img/ada_search.svg">
</head>
<body>
<header>
<img class="logo" src="img/ada_search.svg" alt="Ada Search">
<h1>Search for Ada/SPARK on the Web</h1>
</header>
<div id="center">
<div class="centered">
<details>
<summary>Search for a phrase in Google:</summary>
<p>Search for the Ada language —or its subset
SPARK— related things on the Web. This search
engine is powered
by <a href="https://programmablesearchengine.google.com/about/">Google
Programmable Search Engine</a>. After showing results
of your query, you can sort them by relevance or
date. The search engine is customized to find only
Ada/SPARK related things, thus queries like "aws"
return only "Ada Web Server" related pages.</p>
</details>
</div>
<!-- This is the whole code needed for the Google search engine. If you want to add it to your webpage, copy text between comments -->
<script async src="https://cse.google.com/cse.js?cx=009829025445605706198:-dt42nxzgi8"></script>
<div class="gcse-search"></div>
<!-- End of the search engine -->
<div>
<details>
<summary>Google Fu moves:</summary>
<ul>
<li>Exact phrase: <code>"use quotes around"</code></li>
<li>All of the words: <code>just plain words</code></li>
<li>One of the words (separate by <b>OR</b>): <code>this OR that OR word</code></li>
<li>Without the words (start the word with the <b>minus</b> sign): <code>-not -this -words</code></li>
<li>Numbers range: (the range with units) <code>10..20 kg</code> (just the range) <code>2011..2014</code></li>
<li>Only the selected page: <code>site:example.com</code></li>
<li>Older than the selected date: <code>before:YYYY-MM-DD</code></li>
<li>Newer than the selected date: <code>after:YYYY-MM-DD</code></li>
</ul>
<p>Of course, you can merge any of these moves to create a combo :)</p>
</details>
</div>
<div class="centered">
<details>
<summary>Search for Ada code in grep.app:</summary>
<p>Search for a phrase in <a href="https://github.com">GitHub</a>. This
search engine is powered by <a href="https://grep.app/">grep.app/</a>
and customized to look only for code written in Ada.</p>
</details>
</div>
<!-- https://grep.app/search?f.lang=Ada&f.lang.pattern=ada&q=hello -->
<form method="get" action="https://grep.app/search?">
<input type="search" id="grep-app-q" name="q">
<input type="hidden" id="grep-app-lang" name="f.lang" value="Ada">
<input type="hidden" id="grep-app-lang-pattern" name="f.lang.pattern" value="ada">
<input type="submit" value="Search on grep.app">
</form>
<!-- End of the search engine -->
<div class="centered">
<details>
<summary>Search for Ada code in Alire crates:</summary>
<p>Search for any source code pattern found in any of
the <a href="https://alire.ada.dev">Alire</a>
crates. This search engine is powered
by <a href="https://search.ada-lang.io">search.ada-lang.io</a>.</p>
</details>
</div>
<form method="get" action="https://search.ada-lang.io/?">
<input type="search" id="ada-lang-io-q" name="q">
<input type="submit" value="Search on crates">
</form>
<div class="centered">
<details>
<summary>Search for Ada repositories in GitHub:</summary>
<p>Search for any phrase found
in <a href="https://github.com">GitHub.com</a> Ada
repositories. Keep "lang:ada" on the query to look
only for code written in Ada.</p>
</details>
</div>
<form method="get" action="https://github.com/search?">
<input type="search" id="github-q" name="q" value="lang:ada ">
<input type="hidden" id="github-type" name="type" value="repositories">
<input type="submit" value="Search on GitHub">
</form>
<div class="centered">
<details>
<summary>Search for Ada projects in Sourceforge:</summary>
<p>Search for any pattern found
in the <a href="https://sourceforge.net/">Sourceforge</a> Ada directory.</p>
</details>
</div>
<form method="get" action="https://sourceforge.net/directory/ada/?">
<input type="search" id="sf-q" name="q">
<input type="submit" value="Search on Sourceforge">
</form>
<div class="centered">
<details>
<summary>Search for a phrase on ada-auth.org search engine:</summary>
<p>Search for the Ada language —or its subset
SPARK— related things on the Web. This search
engine is powered by
the <a href="http://www.ada-auth.org/wide-search.html">Ada
Conformity Assessment Authority</a>.</p>
</details>
</div>
<form method="get" action="http://www.ada-auth.org/wide-search.cgi?">
<input type="search" id="auth-SearchA" name="SearchA">
<input type="hidden" id="auth-SearchO" name="SearchO" value="">
<input type="hidden" id="auth-SearchN" name="SearchN" value="">
<input type="hidden" id="auth-APwr" name="APwr" value="Y">
<input type="hidden" id="auth-Org" name="Org" value="Y">
<input type="hidden" id="auth-Vend" name="Vend" value="Y">
<input type="hidden" id="auth-Libs" name="Libs" value="Y">
<input type="hidden" id="auth-Other" name="Other" value="Y">
<input type="submit" value="Search with ada-auth">
</form>
<div class="centered">
<details>
<summary>Search for a phrase on the Ada Programming wikibook:</summary>
<p>Search for the any phrase on
the <a href="https://en.wikibooks.org/wiki/Ada_Programming">Ada
Programming wikibook</a>.</p>
</details>
</div>
<form method="get" action="https://en.wikibooks.org/wiki/Special:Search?">
<input type="search" id="wikibooks-search" name="search">
<input type="hidden" id="wikibooks-prefix" name="prefix" value="Ada_Programming/">
<input type="hidden" id="wikibooks-ns0" name="ns0" value="1">
<input type="submit" value="Search on Wikibook">
</form>
<p>This site
includes <a href="https://developer.mozilla.org/en-US/docs/Web/OpenSearch">OpenSearch
description files</a> for all the search engines. That means
that you can add them as alternative search plugins to your
browser.
</p>
<p>More information about Ada and SPARK on the Web:</p>
<ul>
<li><a href="https://en.wikipedia.org/wiki/Ada_(programming_language)">Ada in Wikipedia</a></li>
<li><a href="https://en.wikipedia.org/wiki/SPARK_(programming_language)">SPARK in Wikipedia</a></li>
<li><a href="https://ada-lang.io/">ada-lang.io - A community site for promoting Ada and SPARK</a></li>
<li><a href="https://github.com/ohenley/awesome-ada">Awesome Ada - A curated list of resources related to Ada and SPARK</a></li>
</ul>
</div>
<script>
// Synchronize the input string from the first text entry to the others
// (does not work for Google).
const searchcodeQ = document.getElementById("searchcode-q");
const adaLangIoQ = document.getElementById("ada-lang-io-q");
const githubQ = document.getElementById("github-q");
const sfQ = document.getElementById("sf-q");
const adaAuthSearchA = document.getElementById("auth-SearchA");
const wikibookSearch = document.getElementById("wikibooks-search");
function sync() {
const searchcodeQValue = searchcodeQ.value;
adaLangIoQ.value = searchcodeQValue;
githubQ.value = "lang:ada " + searchcodeQValue;
sfQ.value = searchcodeQValue;
adaAuthSearchA.value = searchcodeQValue;
wikibookSearch.value = searchcodeQValue;
}
searchcodeQ.addEventListener("input", sync);
</script>
<footer>
<p>If you have any questions, problems or ideas related to the search engine (and its UI) please use the <a href="https://github.com/mgrojo/adasearch">GitHub project</a> page.</p>
<p>Privacy policy related to the search engines are that same like <a href="https://policies.google.com/privacy">Google privacy and terms</a> and <a href="https://searchcode.com/about/">searchcode privacy and terms</a></p>
</footer>
</body>
</html>