AtCoderResultNotifier

Send submission result notifications on AtCoder.

2019-05-25 يوللانغان نەشرى. ئەڭ يېڭى نەشرىنى كۆرۈش.

  1. // ==UserScript==
  2. // @name AtCoderResultNotifier
  3. // @namespace https://satanic0258.github.io/
  4. // @version 1.0.4
  5. // @description Send submission result notifications on AtCoder.
  6. // @author satanic0258
  7. // @include https://atcoder.jp/*
  8. // @grant none
  9. // @require https://ajax.googleapis.com/ajax/libs/jquery/3.3.1/jquery.min.js
  10. // ==/UserScript==
  11.  
  12. /*jshint esversion: 6 */
  13.  
  14. $(function() {
  15. 'use strict';
  16.  
  17. // 読み込み元と整合性を取る
  18. // https://wiki.greasespot.net/Third-Party_Libraries
  19. this.$ = this.jQuery = jQuery.noConflict(true);
  20.  
  21. // localStorageに保存するキー
  22. const storageKey_WJ = 'AtCoderResultNotifier_WJ';
  23. const storageKey_lastFetchedAt = 'AtCoderResultNotifier_lastFetchedAt';
  24.  
  25. // リクエスト間隔(デフォルトで公式と同じ3.5秒)
  26. const intervalOfRequest_ms = 3500;
  27. let timer = null;
  28.  
  29. // 非アクティブになってから動作を停止するまでの時間(デフォルトで5分)
  30. const lifetimeOfWatchingAtInactive_ms = 5 * 60 * 1000;
  31.  
  32. // 最後のアクセスからWJデータを無効にするまでの時間(デフォルトで10分)
  33. const lifetimeOfWJ_ms = 10 * 60 * 1000;
  34.  
  35. // 最後の通知からコンテナを初期化するまでの時間(デフォルトで10秒)
  36. const lifetimeOfContainer_ms = 10 * 1000;
  37.  
  38. // 充分大きい値 (充分大きい時刻として使用)
  39. const INF = (Number.MAX_SAFE_INTEGER - 1) / 2;
  40.  
  41. // 最終通知時刻 (コンテナ初期化に使用)
  42. let lastNotifiedAt = null;
  43.  
  44. // このタブで最後にアクティブだった時刻 (非アクティブ時の動作判定で使用)
  45. let lastFocusedAt = INF;
  46.  
  47. // ジャッジステータスを大別
  48. function classifyStatus(status){ // => ['default', 'success', 'warning']
  49. if(status === 'AC') return 'success';
  50. if(status === 'WJ' || status === 'WR' || status.match(/^[\d|\/|\ ]*$/) !== null) return 'default';
  51. return 'warning';
  52. }
  53.  
  54. // 提出IDから問題名を取得
  55. function requestProblemNameFromIDAsync(contestName, id){
  56. const requestURL = 'https://atcoder.jp/contests/' + contestName + '/submissions/' + id;
  57. let retVal = "ERROR: can't load ProblemName";
  58.  
  59. return new Promise(function(resolve){
  60. $.ajax({
  61. type: 'GET',
  62. url: requestURL,
  63. dataType: 'html',
  64. })
  65. .done(function(data){
  66. const table = $($.parseHTML(data)).find('table');
  67. if(table) {
  68. const nameWithLink = $(table[0]).find('td')[1].innerHTML;
  69.  
  70. // リンクを別タブで開くようにする
  71. retVal = nameWithLink.replace(/">/, '" target="_blank">');
  72. }
  73. })
  74. .always(function(){
  75. resolve(retVal);
  76. });
  77. });
  78. }
  79.  
  80. // localStorageのlastFocusedAtを調べてWJを調べる必要があるか確認
  81. function isValidLastFocusedAt() {
  82. const storedLastFocusedAt = localStorage.getItem(storageKey_lastFetchedAt);
  83.  
  84. if(!storedLastFocusedAt) return false;
  85.  
  86. // このタブより後に別のタブがアクティブになっていたら調べない
  87. if(lastFocusedAt !== Number(storedLastFocusedAt)) return false;
  88.  
  89. // 非アクティブになってから5分経っていたら調べない
  90. if(new Date().getTime() > lastFocusedAt + lifetimeOfWatchingAtInactive_ms) return false;
  91.  
  92. return true;
  93. }
  94.  
  95. // コンテストcontestNameのIDの提出を確認
  96. function reloadWJAsync(contestName, ID, jsonData) {
  97. return new Promise(function(resolve){
  98. if(jsonData[ID]){
  99. const html = $.parseHTML(jsonData[ID].Html);
  100. const resultStatus = $(html[0]).find('span').text(); // WJ, 2/7, AC, 2/7 WA, TLE, RE,...
  101. const resultLabel = classifyStatus(resultStatus); // WJ or AC or WA
  102.  
  103. // WJがWJではなくなったら通知
  104. if(resultLabel !== 'default'){
  105. let execTime = "", usedMemory = "";
  106. if(html.length > 1){
  107. execTime = $(html[1]).text();
  108. usedMemory = $(html[2]).text();
  109. }
  110.  
  111. let problemName = null;
  112. requestProblemNameFromIDAsync(contestName, ID) // 提出IDから問題名を取得(非同期)
  113. .then(function(name){
  114. problemName = name;
  115.  
  116. // 通知コンテナに通知を追加
  117. $('#AtCoderResultNotifier-container').append('<div class="AtCoderResultNotifier-notification">' +
  118. '<ul>' +
  119. '<li>' + problemName + '</li>' +
  120. '<li><a href="' + 'https://atcoder.jp/contests/' + contestName + '/submissions/' + ID + '" target="_blank">#' + ID + '</a> <span class="label label-' + resultLabel + '">' + resultStatus + '</span> ' + execTime + ' ' + usedMemory + '</li>' +
  121. '</ul>'+
  122. '</div>');
  123.  
  124. lastNotifiedAt = new Date().getTime();
  125.  
  126. // 通知し終えたのでnullを返す
  127. resolve();
  128. });
  129. }
  130. else{
  131. // まだWJなので引き続き確認を続ける
  132. resolve(ID);
  133. }
  134. }
  135. else{
  136. // ここには来ない,再度確認する
  137. resolve(ID);
  138. }
  139. });
  140. }
  141.  
  142. // コンテストcontestNameのWJを確認
  143. function reloadWJOnContestAsync(contestName, WJjson) {
  144. return new Promise(function(resolve){
  145. const IDary = WJjson[contestName].ID;
  146. const requestURL = 'https://atcoder.jp/contests/' + contestName + '/submissions/me/status/json?sids[]=' + IDary.join('&sids[]=');
  147.  
  148. $.ajax({
  149. type: 'GET',
  150. url: requestURL,
  151. dataType: 'json',
  152. })
  153. .done(function(data) {
  154. data = data.Result;
  155. let promisesOfContest = [];
  156.  
  157. // 各WJを確認
  158. IDary.forEach(function(ID){
  159. promisesOfContest.push(reloadWJAsync(contestName, ID, data));
  160. });
  161.  
  162. // このcontestで全てのWJを処理し終えたらjsonを更新
  163. Promise.all(promisesOfContest)
  164. .then(function(IDs){
  165. // WJでなくなった提出のIDはnullになるためフィルタリング
  166. IDs = IDs.filter(v => v);
  167.  
  168. if(IDs.length > 0){
  169. WJjson[contestName].ID = IDs;
  170. }
  171. else{
  172. delete WJjson[contestName];
  173. }
  174.  
  175. resolve();
  176. });
  177. })
  178. .fail(function(){
  179. console.log('ERROR: GET', requestURL);
  180. resolve();
  181. });
  182. });
  183. }
  184.  
  185. // WJとなっている提出を全て確認
  186. function reloadAllWJAsync() {
  187. // 最終通知時刻からlifetimeOfContainer_ms経っていたらコンテナを初期化
  188. if(!lastNotifiedAt || new Date().getTime() > lastNotifiedAt + lifetimeOfContainer_ms){
  189. $('#AtCoderResultNotifier-container').empty();
  190. lastNotifiedAt = INF;
  191. }
  192.  
  193. if(document.hasFocus()){
  194. lastFocusedAt = new Date().getTime();
  195. localStorage.setItem(storageKey_lastFetchedAt, lastFocusedAt);
  196. }
  197.  
  198. // 非アクティブになってからある程度時間が経っていたら確認しない
  199. if(!isValidLastFocusedAt()){
  200. clearTimeout(timer);
  201. return Promise.resolve();
  202. }
  203.  
  204. // 既存のWJを取得
  205. let WJjson = JSON.parse(localStorage.getItem(storageKey_WJ));
  206. if(!WJjson) return Promise.resolve();
  207.  
  208. let promisesOfAll = [];
  209.  
  210. // 各コンテストを確認
  211. for(const contestName in WJjson){
  212. // 最終アクセス時からlifetimeOfWJ_ms経っていたらWJデータを削除
  213. const lastFetchedAt = WJjson[contestName].lastFetchedAt;
  214. if(!lastFetchedAt || new Date().getTime() > lastFetchedAt + lifetimeOfWJ_ms){
  215. delete WJjson[contestName];
  216. continue;
  217. }
  218.  
  219. promisesOfAll.push(reloadWJOnContestAsync(contestName, WJjson));
  220. }
  221.  
  222. // 全てのcontestのWJを処理し終えたらlocalStorageを更新
  223. return Promise.all(promisesOfAll)
  224. .then(function(){
  225. localStorage.setItem(storageKey_WJ, JSON.stringify(WJjson));
  226. timer = setTimeout(reloadAllWJAsync, intervalOfRequest_ms);
  227. });
  228. }
  229.  
  230. function collectWJ() {
  231. // コンテスト名を取得
  232. const contestName = location.href.match(/^https:\/\/atcoder\.jp\/contests\/([^\/]*).*$/)[1];
  233.  
  234. // 既存のlocalStorageのWJを取得
  235. let WJjson = JSON.parse(localStorage.getItem(storageKey_WJ));
  236. if(!WJjson) WJjson = {};
  237.  
  238. let WJmap = WJjson[contestName];
  239. if(!WJmap) WJmap = {};
  240.  
  241. let WJset = new Set(WJmap.ID);
  242. if(!WJset) WJset = new Set();
  243.  
  244. // 現在の提出状況を取得,新規WJを追加
  245. const table = $('body').find('.table-responsive>table>tbody');
  246.  
  247. table.find('tr').each(function(i, elem){
  248. if(classifyStatus($(elem).find('.label').text()) === 'default'){
  249. const tds = $(elem).find('td');
  250. const url = $(tds[tds.length - 1]).find('a').attr('href');
  251. WJset.add(url.match(/^.*\/submissions\/([0-9]+?)$/)[1]);
  252. }
  253. });
  254.  
  255. // WJをlocalStorageに保存
  256. if(WJset.size > 0){
  257. WJmap.lastFetchedAt = new Date().getTime().toString();
  258. WJmap.ID = [...WJset];
  259.  
  260. WJjson[contestName] = WJmap;
  261. }
  262. else{
  263. delete WJjson[contestName];
  264. }
  265. localStorage.setItem(storageKey_WJ, JSON.stringify(WJjson));
  266. }
  267.  
  268. // ----------->8----------- main ----------->8-----------
  269.  
  270. // 見ているページが提出一覧であればまずWJを収集する
  271. if(location.href.match(/^https:\/\/atcoder\.jp\/contests\/[^\/]*\/submissions\/me$/) !== null){
  272. collectWJ();
  273. }
  274.  
  275. $(window)
  276. .bind("focus",function(){ //フォーカスが当たったら最終アクティブ時刻とタイマーを更新
  277. // 別のAtCoderタブ->このAtCoderタブと切り替えたときに二重でcallされるのを防ぐ
  278. setTimeout(function(){
  279. lastFocusedAt = new Date().getTime();
  280. localStorage.setItem(storageKey_lastFetchedAt, lastFocusedAt);
  281. }, 50);
  282.  
  283. // focusを繰り返されたときに複数個タイマーがセットされるのを防ぐ
  284. clearTimeout(timer);
  285. timer = setTimeout(reloadAllWJAsync, intervalOfRequest_ms);
  286. })
  287. .bind("blur",function(){ //フォーカスが外れたら最終アクティブ時刻を設定するのみ,タイマーは更新しない
  288. lastFocusedAt = new Date().getTime();
  289. localStorage.setItem(storageKey_lastFetchedAt, lastFocusedAt);
  290. });
  291.  
  292. // このスクリプトが読み込まれた時のアクティブ状態で初期化
  293. lastFocusedAt = new Date().getTime();
  294. localStorage.setItem(storageKey_lastFetchedAt, lastFocusedAt);
  295.  
  296. timer = setTimeout(reloadAllWJAsync, intervalOfRequest_ms);
  297.  
  298. // コンテナを用意
  299. $('body').append('<div id="AtCoderResultNotifier-container"></div>');
  300.  
  301. // 通知要素のスタイルを定義
  302. $('head').append('<style type="text/css">' +
  303. '#AtCoderResultNotifier-container{' +
  304. 'position: fixed;' +
  305. 'top: 120px;' +
  306. 'left: 20px;' +
  307. 'z-index: 1000;' +
  308. '}' +
  309. '.AtCoderResultNotifier-notification{' +
  310. 'position: sticky;' +
  311. 'top: 0;' +
  312. 'left: 0;' +
  313. 'background: #FFF;' +
  314. 'border-radius: 4px;' +
  315. 'border: medium solid #000;' +
  316. 'cursor: pointer;' +
  317.  
  318. '-webkit-animation: AtCoderResultNotifier-fadeOut 7s ease 0s forwards;' +
  319. 'animation: AtCoderResultNotifier-fadeOut 7s ease 0s forwards;' +
  320. 'overflow:hidden;' +
  321. '}' +
  322. '@keyframes AtCoderResultNotifier-fadeOut {' +
  323. ' 0% {opacity:0;height: 0px;}' +
  324. ' 15% {opacity:1;height:4.4em;}' +
  325. ' 85% {opacity:1;height:4.4em;border-width: 3px 3px;}' +
  326. '100% {opacity:0;height: 0px;border-width: 0px 3px;}' +
  327. '}' +
  328. '@-webkit-keyframes AtCoderResultNotifier-fadeOut {' +
  329. ' 0% {opacity:0;height: 0px;}' +
  330. ' 15% {opacity:1;height:4.4em;}' +
  331. ' 85% {opacity:1;height:4.4em;border-width: 3px 3px;}' +
  332. '100% {opacity:0;height: 0px;border-width: 0px 3px;}' +
  333. '}' +
  334. '.AtCoderResultNotifier-notification>ul{' +
  335. 'list-style: none;' +
  336. 'margin: 0;' +
  337. 'padding: .3em .8em 0 .8em;' +
  338. '}' +
  339. '</style>');
  340.  
  341. // 通知をクリックしたら消すようにする
  342. $(document).on('click', '.AtCoderResultNotifier-notification', function(){
  343. $(this).remove();
  344. });
  345. });