A semantic search engine for source code https://bitshift.benkurtovic.com/
Du kannst nicht mehr als 25 Themen auswählen Themen müssen entweder mit einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447
  1. /*
  2. * @file Manages all library initialization, jQuery callbacks, query entry
  3. * callbacks, server querying, and results diplay for `index.html`.
  4. */
  5. var advancedSearchDiv = $("div#advanced-search");
  6. var advancedSearchButton = $("button#advanced-search");
  7. FINISH_TYPING_INTERVAL = 650;
  8. var searchBar = $("form#search-bar input[type='text']")[0];
  9. var resultsDiv = $("div#results")[0];
  10. var typingTimer, scrollTimer, lastValue;
  11. var searchResultsPage = 1;
  12. /*
  13. * Set all page callbacks.
  14. */
  15. (function setHomePageCallbabacks(){
  16. var results = $('#results').get(0);
  17. // Enable infinite scrolling down the results page.
  18. $(window).scroll(function(){
  19. if($(window).scrollTop() + $(window).height() == $(document).height() &&
  20. resultsDiv.querySelectorAll(".result").length > 0)
  21. loadMoreResults();
  22. clearTimeout(scrollTimer);
  23. if (!results.classList.contains('disable-hover'))
  24. results.classList.add('disable-hover')
  25. scrollTimer = setTimeout(function(){
  26. if (results.classList.contains('disable-hover'))
  27. results.classList.remove('disable-hover');
  28. }, 200);
  29. });
  30. // Toggle the advanced-search form's visibility.
  31. advancedSearchButton.click(function(){
  32. var searchField = $("div#search-field");
  33. if(!advancedSearchDiv.hasClass("visible")){
  34. searchField.addClass("partly-visible");
  35. advancedSearchDiv.fadeIn(500).addClass("visible");
  36. advancedSearchButton.addClass("clicked");
  37. }
  38. else {
  39. advancedSearchDiv.hide().removeClass("visible");
  40. advancedSearchButton.removeClass("clicked");
  41. if($("div#results .result").length == 0)
  42. searchField.removeClass("partly-visible");
  43. clearResults();
  44. }
  45. });
  46. // Enable capturing the `enter` key.
  47. $("form#search-bar").submit(function(event){
  48. event.preventDefault();
  49. return false;
  50. });
  51. searchBar.onkeyup = typingTimer;
  52. }());
  53. /*
  54. * Set keyboard shortcut mappings.
  55. */
  56. (function resultsHotkeys(){
  57. /*
  58. * If the currently viewed result is not the first, scroll to the previous
  59. * result.
  60. */
  61. var previousResult = function(){
  62. var currResult = $(".display-all");
  63. if(currResult.length) {
  64. currResult.removeClass("display-all");
  65. currResult = currResult.closest(".result").prev(".result");
  66. } else {
  67. currResult = $(document.querySelectorAll(".result")[0]);
  68. }
  69. currResult.addClass("display-all");
  70. currResult.each(function(){
  71. $('html,body').stop().animate({
  72. scrollTop: $(this).offset().top - (
  73. $(window).height() - $(this).outerHeight(true)) / 2
  74. }, 140);
  75. });
  76. };
  77. /*
  78. * If the currently viewed result is not the last, scroll to the next
  79. * result.
  80. */
  81. var nextResult = function(){
  82. var currResult = $(".display-all");
  83. if(currResult.length) {
  84. currResult.removeClass("display-all");
  85. currResult = currResult.closest(".result").next(".result");
  86. } else {
  87. currResult = $(document.querySelectorAll(".result")[0]);
  88. }
  89. currResult.addClass('display-all');
  90. currResult.each(function(){
  91. $('html,body').stop().animate({
  92. scrollTop: $(this).offset().top - (
  93. $(window).height() - $(this).outerHeight(true)) / 2
  94. }, 140);
  95. });
  96. };
  97. var displayHotkeyHelp = function(){
  98. var help = $("div#hotkey-help");
  99. if(help.hasClass("hidden"))
  100. help.fadeIn(420);
  101. else
  102. help.fadeOut(420);
  103. $("div#body").toggleClass("faded");
  104. help.toggleClass("hidden");
  105. }
  106. var hotkeyActions = {
  107. "k" : previousResult,
  108. "j" : nextResult,
  109. "h" : previousSymbolMatch,
  110. "l" : nextSymbolMatch,
  111. "?" : displayHotkeyHelp
  112. };
  113. $(window).keypress(function(key){
  114. for(var hotkey in hotkeyActions){
  115. var keyChar = String.fromCharCode(key.keyCode);
  116. if(keyChar == hotkey &&
  117. !($(key.target).is("textarea") || $(key.target).is("input")))
  118. hotkeyActions[keyChar]();
  119. }
  120. });
  121. }());
  122. // Enable infinite scrolling down the results page.
  123. $(window).scroll(function() {
  124. var searchField = $("div#search-field");
  125. if($(window).scrollTop() + $(window).height() == $(document).height() &&
  126. searchField.hasClass('partly-visible')){
  127. loadMoreResults();
  128. }
  129. });
  130. /*
  131. * Clear the existing timer and set a new one the the user types text into the
  132. * search bar.
  133. */
  134. function typingTimer(event){
  135. clearTimeout(typingTimer);
  136. var enterKeyCode = 13;
  137. if(event.keyCode != enterKeyCode){
  138. if(lastValue != searchBar.value)
  139. typingTimer = setTimeout(finishedTyping, FINISH_TYPING_INTERVAL);
  140. }
  141. else {
  142. event.preventDefault();
  143. finishedTyping();
  144. return false;
  145. }
  146. };
  147. /*
  148. * Callback which queries the server whenver the user stops typing.
  149. *
  150. * Whenever the user doesn't type for a `FINISH_TYPING_INTERVAL` after having
  151. * entered new text in the search bar, send the current query request to the
  152. * server.
  153. */
  154. function finishedTyping(){
  155. lastValue = searchBar.value;
  156. var searchField = $("div#search-field");
  157. clearResults();
  158. if(searchBar.value){
  159. searchField.addClass("partly-visible");
  160. populateResults();
  161. }
  162. else {
  163. searchField.removeClass("partly-visible");
  164. $("div#advanced-search").fadeOut(50);
  165. advancedSearchButton.removeClass("clicked");
  166. clearResults();
  167. }
  168. }
  169. /*
  170. * Removes any child elements of `div#results`.
  171. */
  172. function clearResults(){
  173. while(resultsDiv.firstChild)
  174. resultsDiv.removeChild(resultsDiv.firstChild);
  175. }
  176. /*
  177. * Create a result element based upon a codelet instance.
  178. *
  179. * @return {Element} The result element.
  180. */
  181. function createResult(codelet) {
  182. var maxAttributeLength = 20;
  183. //Level 1
  184. var newDiv = document.createElement("div"),
  185. table = document.createElement("table"),
  186. row = document.createElement("tr");
  187. //Level 2
  188. var displayInfo = document.createElement("div"),
  189. codeElt = document.createElement("td"),
  190. hiddenInfoContainer = document.createElement("td"),
  191. hiddenInfo = document.createElement("div"),
  192. cycle = document.createElement("div");
  193. //Level 3
  194. var title = document.createElement("span"),
  195. site = document.createElement("span"),
  196. nextMatch = document.createElement("a"),
  197. prevMatch = document.createElement("a"),
  198. dateModified = document.createElement("div"),
  199. language = document.createElement("div"),
  200. dateCreated = document.createElement("div"),
  201. authors = document.createElement("div");
  202. //Classes and ID's
  203. newDiv.classList.add('result');
  204. displayInfo.id = 'display-info';
  205. codeElt.id = 'code';
  206. hiddenInfo.id = 'hidden-info';
  207. cycle.id = 'cycle-matches'
  208. title.id = 'title';
  209. site.id = 'site';
  210. nextMatch.id = 'next-match';
  211. nextMatch.href = '#';
  212. prevMatch.id = 'prev-match';
  213. prevMatch.href = '#';
  214. dateModified.id = 'date-modified';
  215. language.id = 'language';
  216. dateCreated.id = 'date-created';
  217. authors.id = 'authors';
  218. //Add the bulk of the html
  219. title.innerHTML = ' &raquo; <a href="' + codelet.url + '">'
  220. + codelet.name + '</a>';
  221. site.innerHTML = '<a href="' + codelet.origin[1] + '">' +
  222. codelet.origin[0] +'</a>';
  223. nextMatch.innerHTML = 'next match';
  224. prevMatch.innerHTML = 'prev match';
  225. language.innerHTML = 'Language: <span>' + codelet.lang + '</span>';
  226. dateModified.innerHTML = 'Last modified: <span>' + codelet.modified +
  227. '</span>';
  228. // Needs to be changed from int to string on the server
  229. dateCreated.innerHTML = 'Created: <span>' +
  230. codelet.created.substring(0, maxAttributeLength) + '</span>';
  231. var authorsHtml = 'Authors: <span>';
  232. var currLength = 0;
  233. var authorsList = [];
  234. for(var auth = 0; auth < codelet.authors.length; auth++){
  235. currLength += codelet.authors[auth].length;
  236. if(6 < currLength){
  237. authorsList.push("...");
  238. break;
  239. }
  240. else
  241. authorsList.push('<a href=#>' + codelet.authors[auth] + '</a>');
  242. }
  243. authors.innerHTML = "Authors: <span>" + authorsList.join(" ") + "</span>";
  244. // Needs to be processed on the server
  245. codeElt.innerHTML = '<div id=tablecontainer>' + codelet.code + '</div>';
  246. //Event binding
  247. $(newDiv).on('mousemove', function(e) {
  248. var holdCondition = $('.disable-hover');
  249. if(holdCondition.length == 0) {
  250. $(this).siblings().removeClass('display-all');
  251. $(this).addClass('display-all');
  252. }
  253. });
  254. $(newDiv).on('mouseleave', function(e) {
  255. var holdCondition = $('.disable-hover');
  256. if(holdCondition.length == 0)
  257. $(this).removeClass('display-all');
  258. });
  259. $(nextMatch).click(function(e) {
  260. e.stopPropagation();
  261. e.preventDefault();
  262. nextSymbolMatch();
  263. });
  264. $(prevMatch).click(function(e) {
  265. e.stopPropagation();
  266. e.preventDefault();
  267. previousSymbolMatch();
  268. });
  269. //Finish and append elements to parent elements
  270. hiddenInfo.appendChild(dateCreated);
  271. hiddenInfo.appendChild(dateModified);
  272. hiddenInfo.appendChild(language);
  273. hiddenInfo.appendChild(authors);
  274. hiddenInfoContainer.appendChild(hiddenInfo);
  275. row.appendChild(codeElt);
  276. row.appendChild(hiddenInfoContainer);
  277. table.appendChild(row);
  278. displayInfo.appendChild(site);
  279. displayInfo.appendChild(title);
  280. cycle.appendChild(prevMatch);
  281. cycle.appendChild(nextMatch);
  282. newDiv.appendChild(displayInfo);
  283. newDiv.appendChild(table);
  284. return newDiv;
  285. }
  286. function previousSymbolMatch() {
  287. var currResult = $(".display-all"),
  288. currMatch = currResult.find(".hll.current"),
  289. matches = currResult.find(".hll"),
  290. scrollDiv = currResult.find("#tablecontainer");
  291. if (currMatch.length == 0)
  292. currMatch = matches[0];
  293. else
  294. currMatch.removeClass('current');
  295. var index = matches.index(currMatch.get(0)) - 1;
  296. index = index <= 0 ? matches.length - 1 : index;
  297. var newMatch = $(matches[index]);
  298. scrollDiv.scrollTop(scrollDiv.scrollTop()
  299. - scrollDiv.height() / 2
  300. + newMatch.position().top + newMatch.height() / 2);
  301. newMatch.effect("highlight", {color: '#FFF'}, 750)
  302. newMatch.addClass('current');
  303. };
  304. function nextSymbolMatch() {
  305. var currResult = $(".display-all"),
  306. currMatch = currResult.find(".hll.current"),
  307. matches = currResult.find(".hll"),
  308. scrollDiv = currResult.find("#tablecontainer");
  309. if (currMatch.length == 0)
  310. currMatch = $(matches[0]);
  311. else
  312. currMatch.removeClass("current");
  313. var index = matches.index(currMatch.get(0)) + 1;
  314. index = index >= matches.length ? 0 : index;
  315. var newMatch = $(matches[index]);
  316. scrollDiv.scrollTop(scrollDiv.scrollTop()
  317. - scrollDiv.height() / 2
  318. + newMatch.position().top + newMatch.height() / 2);
  319. newMatch.effect("highlight", {color: "#FFF"}, 750)
  320. newMatch.addClass("current");
  321. };
  322. /*
  323. * AJAX the current query string to the server, and return its response.
  324. *
  325. * @return {Array} The server's response in the form of `div.result` DOM
  326. * elements, to fill `div#results`.
  327. */
  328. function queryServer(){
  329. var queryUrl = document.URL + "search.json?" + $.param({
  330. "q" : searchBar.value,
  331. "p" : searchResultsPage++,
  332. "hl": 1
  333. });
  334. var results = $.Deferred();
  335. $.getJSON(queryUrl, function(result){
  336. var resultDivs = [];
  337. if("error" in result)
  338. insertErrorMessage(result["error"]);
  339. else if(result["results"].length == 0 && searchResultsPage == 2)
  340. insertErrorMessage("No search results.");
  341. else
  342. for(var codelet = 0; codelet < result["results"].length; codelet++)
  343. resultDivs.push(createResult(result["results"][codelet]));
  344. results.resolve(resultDivs);
  345. });
  346. return results;
  347. }
  348. /*
  349. * Query the server with the current search string, and populate `div#results`
  350. * with its response.
  351. */
  352. function populateResults(){
  353. searchResultsPage = 1;
  354. loadMoreResults();
  355. }
  356. /*
  357. * Query the server for the next results page, and add its codelets to
  358. * `div#results`.
  359. */
  360. function loadMoreResults(){
  361. queryServer().done(function(results){
  362. for(var result = 0; result < results.length; result++){
  363. var newDiv = results[result];
  364. resultsDiv.appendChild(newDiv);
  365. setTimeout(
  366. (function(divReference){
  367. return function(){
  368. divReference.classList.add("cascade");
  369. };
  370. }(newDiv)),
  371. result * 20);
  372. }
  373. });
  374. }
  375. /*
  376. * Displays a warning message in the UI.
  377. *
  378. * @param msg (str) The message string.
  379. */
  380. function insertErrorMessage(msg){
  381. var error = $(
  382. [
  383. "<div id='error'><span id='s1'>Error</span> ",
  384. "<span id='s2'>&raquo;</span> </div>"
  385. ].join(""));
  386. error.append(msg);
  387. resultsDiv.appendChild(error[0]);
  388. }