☰

AtCoder Submission Language Detector

Automatically detects the language used based on the information in the source code comments and selects it as the one to be submitted.

2022/07/26のページです。最新版はこちら

作者のサイトでサポートを受ける。または、このスクリプトの質問や評価の投稿はこちら、通報はこちらへお寄せください 
  1. // ==UserScript==
  2. // @name         AtCoder Submission Language Detector
  3. // @namespace    https://twitter.com/KakurenboUni
  4. // @version      1.0.0
  5. // @description  Automatically detects the language used based on the information in the source code comments and selects it as the one to be submitted.
  6. // @author       uni-kakurenbo
  7. // @match        https://atcoder.jp/contests/*/tasks/*
  8. // @match        https://atcoder.jp/contests/*/submit*
  9. // @license      MIT
  10. // @supportURL   https://twitter.com/KakurenboUni
  11. // ==/UserScript==
  12.  
  13. (async function () {
  14.   "use strict";
  15.  
  16.   const DETECTION_REG_EXP = /#.*lang(?:uage)?:?(?<args>\s+[^\n\r*/#]+)/;
  17.  
  18.   await rendered();
  19.  
  20.   const $editor = $(".editor").data("editor").doc;
  21.   const $plainTextarea = $(".plain-textarea");
  22.  
  23.   const $selectLanguage = $("#select-lang select");
  24.   const $languageOptions = $selectLanguage[0].querySelectorAll("option");
  25.   const languageOptions = [].map.call($languageOptions, ({ value, label, dataset: { mime } = {} }) => {
  26.     return {
  27.       id: value,
  28.       label: label.toLowerCase() ?? "",
  29.       code: mime?.toLowerCase().replaceAll(/^.+\/x?|src$/g, "") ?? "",
  30.     };
  31.   });
  32.  
  33.   $editor.on("change", updateLanguageSettings);
  34.   $plainTextarea.on("input", updateLanguageSettings);
  35.   document.addEventListener("paste", updateLanguageSettings);
  36.   $("#input-open-file").on("change", () => { setTimeout(updateLanguageSettings, 0); });
  37.  
  38.   function updateLanguageSettings() {
  39.     const sourceCode = getSourceCode();
  40.  
  41.     const languageInfomation = sourceCode.match(DETECTION_REG_EXP);
  42.     if (!languageInfomation || !languageInfomation?.groups?.args) return;
  43.  
  44.     let languageSelectors = languageInfomation.groups.args?.trim().replace(/\s+/g, " ").split(" ");
  45.     languageSelectors = languageSelectors.map((selector) => selector.toLowerCase());
  46.  
  47.     const selectedOption = languageOptions.find((option) => {
  48.       return (
  49.         languageSelectors.includes(option.id) ||
  50.         languageSelectors.every((selector) => option.label.includes(selector)) ||
  51.         languageSelectors.every((selector) => option.code.includes(selector))
  52.       );
  53.     });
  54.  
  55.     if (!selectedOption) return;
  56.  
  57.     $selectLanguage.val(selectedOption.id).trigger("change");
  58.   }
  59.  
  60.   async function rendered() {
  61.     let timer;
  62.     await new Promise((resolve) => {
  63.       observer();
  64.       function observer() {
  65.         if (typeof CodeMirror == "function") {
  66.           resolve();
  67.         }
  68.         timer = setTimeout(observer, 10);
  69.       }
  70.     });
  71.     clearTimeout(timer);
  72.   }
  73. })();