☰

AtCoder Easy Test v2

Make testing sample cases easy

当前为 2021-10-27 提交的版本，查看 最新版本。

  1. // ==UserScript==
  2. // @name        AtCoder Easy Test v2
  3. // @namespace   https://atcoder.jp/
  4. // @version     2.7.2
  5. // @description Make testing sample cases easy
  6. // @author      magurofly
  7. // @license     MIT
  8. // @supportURL  https://github.com/magurofly/atcoder-easy-test/
  9. // @match       https://atcoder.jp/contests/*/tasks/*
  10. // @match       https://yukicoder.me/problems/no/*
  11. // @match       http://codeforces.com/contest/*/problem/*
  12. // @match       http://codeforces.com/gym/*/problem/*
  13. // @match       http://codeforces.com/problemset/problem/*
  14. // @match       http://codeforces.com/group/*/contest/*/problem/*
  15. // @match       http://*.contest.codeforces.com/group/*/contest/*/problem/*
  16. // @match       https://codeforces.com/contest/*/problem/*
  17. // @match       https://codeforces.com/gym/*/problem/*
  18. // @match       https://codeforces.com/problemset/problem/*
  19. // @match       https://codeforces.com/group/*/contest/*/problem/*
  20. // @match       https://*.contest.codeforces.com/group/*/contest/*/problem/*
  21. // @match       https://greasyfork.org/*/scripts/433152-atcoder-easy-test-v2
  22. // @grant       unsafeWindow
  23. // @grant       GM_getValue
  24. // @grant       GM_setValue
  25. // ==/UserScript==
  26. (function() {
  27. const codeSaver = {
  28.     LIMIT: 10,
  29.     get() {
  30.         // `json` は、ソースコード文字列またはJSON文字列
  31.         let json = unsafeWindow.localStorage.AtCoderEasyTest$lastCode;
  32.         let data = [];
  33.         try {
  34.             if (typeof json == "string") {
  35.                 data.push(...JSON.parse(json));
  36.             }
  37.             else {
  38.                 data = [];
  39.             }
  40.         }
  41.         catch (e) {
  42.             data.push({
  43.                 path: unsafeWindow.localStorage.AtCoderEasyTset$lastPage,
  44.                 code: json,
  45.             });
  46.         }
  47.         return data;
  48.     },
  49.     set(data) {
  50.         unsafeWindow.localStorage.AtCoderEasyTest$lastCode = JSON.stringify(data);
  51.     },
  52.     save(code) {
  53.         let data = codeSaver.get();
  54.         const idx = data.findIndex(({ path }) => path == location.pathname);
  55.         if (idx != -1)
  56.             data.splice(idx, idx + 1);
  57.         data.push({
  58.             path: location.pathname,
  59.             code,
  60.         });
  61.         while (data.length > codeSaver.LIMIT)
  62.             data.shift();
  63.         codeSaver.set(data);
  64.     },
  65.     restore() {
  66.         const data = codeSaver.get();
  67.         const idx = data.findIndex(({ path }) => path == location.pathname);
  68.         if (idx == -1 || !(data[idx] instanceof Object))
  69.             return Promise.reject(`No saved code found for ${location.pathname}`);
  70.         return Promise.resolve(data[idx].code);
  71.     }
  72. };
  73.  
  74. function similarLangs(targetLang, candidateLangs) {
  75.     const [targetName, targetDetail] = targetLang.split(" ", 2);
  76.     const selectedLangs = candidateLangs.filter(candidateLang => {
  77.         const [name, _] = candidateLang.split(" ", 2);
  78.         return name == targetName;
  79.     }).map(candidateLang => {
  80.         const [_, detail] = candidateLang.split(" ", 2);
  81.         return [candidateLang, similarity(detail, targetDetail)];
  82.     });
  83.     return selectedLangs.sort((a, b) => a[1] - b[1]).map(([lang, _]) => lang);
  84. }
  85. function similarity(s, t) {
  86.     const n = s.length, m = t.length;
  87.     let dp = new Array(m + 1).fill(0);
  88.     for (let i = 0; i < n; i++) {
  89.         const dp2 = new Array(m + 1).fill(0);
  90.         for (let j = 0; j < m; j++) {
  91.             const cost = (s.charCodeAt(i) - t.charCodeAt(j)) ** 2;
  92.             dp2[j + 1] = Math.min(dp[j] + cost, dp[j + 1] + cost * 0.25, dp2[j] + cost * 0.25);
  93.         }
  94.         dp = dp2;
  95.     }
  96.     return dp[m];
  97. }
  98.  
  99. class CodeRunner {
  100.     get label() {
  101.         return this._label;
  102.     }
  103.     constructor(label, site) {
  104.         this._label = `${label} [${site}]`;
  105.     }
  106.     async test(sourceCode, input, expectedOutput, options) {
  107.         let result = { status: "IE", input };
  108.         try {
  109.             result = await this.run(sourceCode, input);
  110.         }
  111.         catch (e) {
  112.             result.error = e.toString();
  113.             return result;
  114.         }
  115.         if (expectedOutput != null)
  116.             result.expectedOutput = expectedOutput;
  117.         if (result.status != "OK" || typeof expectedOutput != "string")
  118.             return result;
  119.         let output = result.output || "";
  120.         if (options.trim) {
  121.             expectedOutput = expectedOutput.trim();
  122.             output = output.trim();
  123.         }
  124.         let equals = (x, y) => x === y;
  125.         if (options.allowableError) {
  126.             const floatPattern = /^[-+]?[0-9]*\.?[0-9]+([eE][-+]?[0-9]+)?$/;
  127.             const superEquals = equals;
  128.             equals = (x, y) => {
  129.                 if (floatPattern.test(x) && floatPattern.test(y))
  130.                     return Math.abs(parseFloat(x) - parseFloat(y)) <= options.allowableError;
  131.                 return superEquals(x, y);
  132.             };
  133.         }
  134.         if (options.split) {
  135.             const superEquals = equals;
  136.             equals = (x, y) => {
  137.                 const xs = x.split(/\s+/);
  138.                 const ys = y.split(/\s+/);
  139.                 if (xs.length != ys.length)
  140.                     return false;
  141.                 const len = xs.length;
  142.                 for (let i = 0; i < len; i++) {
  143.                     if (!superEquals(xs[i], ys[i]))
  144.                         return false;
  145.                 }
  146.                 return true;
  147.             };
  148.         }
  149.         result.status = equals(output, expectedOutput) ? "AC" : "WA";
  150.         return result;
  151.     }
  152. }
  153.  
  154. class CustomRunner extends CodeRunner {
  155.     run;
  156.     constructor(label, run) {
  157.         super(label, "Browser");
  158.         this.run = run;
  159.     }
  160. }
  161.  
  162. function buildParams(data) {
  163.     return Object.entries(data).map(([key, value]) => encodeURIComponent(key) + "=" + encodeURIComponent(value)).join("&");
  164. }
  165. function sleep(ms) {
  166.     return new Promise(done => setTimeout(done, ms));
  167. }
  168. function doneOrFail(p) {
  169.     return p.then(() => Promise.resolve(), () => Promise.resolve());
  170. }
  171. function html2element(html) {
  172.     const template = document.createElement("template");
  173.     template.innerHTML = html;
  174.     return template.content.firstChild;
  175. }
  176. function newElement(tagName, attrs = {}) {
  177.     const e = document.createElement(tagName);
  178.     for (const [key, value] of Object.entries(attrs)) {
  179.         e[key] = value;
  180.     }
  181.     return e;
  182. }
  183. async function loadScript(src, ctx = null, env = {}) {
  184.     const js = await fetch(src).then(res => res.text());
  185.     const keys = [];
  186.     const values = [];
  187.     for (const [key, value] of Object.entries(env)) {
  188.         keys.push(key);
  189.         values.push(value);
  190.     }
  191.     unsafeWindow["Function"](keys.join(), js).apply(ctx, values);
  192. }
  193. const eventListeners = {};
  194. const events = {
  195.     on(name, listener) {
  196.         const listeners = (name in eventListeners ? eventListeners[name] : eventListeners[name] = []);
  197.         listeners.push(listener);
  198.     },
  199.     trig(name) {
  200.         if (name in eventListeners) {
  201.             for (const listener of eventListeners[name])
  202.                 listener();
  203.         }
  204.     },
  205. };
  206. class ObservableValue {
  207.     _value;
  208.     _listeners;
  209.     constructor(value) {
  210.         this._value = value;
  211.         this._listeners = new Set();
  212.     }
  213.     get value() {
  214.         return this._value;
  215.     }
  216.     set value(value) {
  217.         this._value = value;
  218.         for (const listener of this._listeners)
  219.             listener(value);
  220.     }
  221.     addListener(listener) {
  222.         this._listeners.add(listener);
  223.         listener(this._value);
  224.     }
  225.     removeListener(listener) {
  226.         this._listeners.delete(listener);
  227.     }
  228.     map(f) {
  229.         const y = new ObservableValue(f(this.value));
  230.         this.addListener(x => {
  231.             y.value = f(x);
  232.         });
  233.         return y;
  234.     }
  235. }
  236.  
  237. let waitAtCoderCustomTest = Promise.resolve();
  238. const AtCoderCustomTestBase = location.href.replace(/\/tasks\/.+$/, "/custom_test");
  239. const AtCoderCustomTestResultAPI = AtCoderCustomTestBase + "/json?reload=true";
  240. const AtCoderCustomTestSubmitAPI = AtCoderCustomTestBase + "/submit/json";
  241. class AtCoderRunner extends CodeRunner {
  242.     languageId;
  243.     constructor(languageId, label) {
  244.         super(label, "AtCoder");
  245.         this.languageId = languageId;
  246.     }
  247.     async run(sourceCode, input) {
  248.         const promise = this.submit(sourceCode, input);
  249.         waitAtCoderCustomTest = promise;
  250.         return await promise;
  251.     }
  252.     async submit(sourceCode, input) {
  253.         try {
  254.             await waitAtCoderCustomTest;
  255.         }
  256.         catch (error) {
  257.             console.error(error);
  258.         }
  259.         const error = await fetch(AtCoderCustomTestSubmitAPI, {
  260.             method: "POST",
  261.             credentials: "include",
  262.             headers: {
  263.                 "Content-Type": "application/x-www-form-urlencoded; charset=UTF-8"
  264.             },
  265.             body: buildParams({
  266.                 "data.LanguageId": String(this.languageId),
  267.                 sourceCode,
  268.                 input,
  269.                 csrf_token: unsafeWindow.csrfToken,
  270.             }),
  271.         }).then(r => r.text());
  272.         if (error) {
  273.             throw new Error(error);
  274.         }
  275.         await sleep(100);
  276.         for (;;) {
  277.             const data = await fetch(AtCoderCustomTestResultAPI, {
  278.                 method: "GET",
  279.                 credentials: "include",
  280.             }).then(r => r.json());
  281.             if (!("Result" in data))
  282.                 continue;
  283.             const result = data.Result;
  284.             if ("Interval" in data) {
  285.                 await sleep(data.Interval);
  286.                 continue;
  287.             }
  288.             return {
  289.                 status: (result.ExitCode == 0) ? "OK" : (result.TimeConsumption == -1) ? "CE" : "RE",
  290.                 exitCode: result.ExitCode,
  291.                 execTime: result.TimeConsumption,
  292.                 memory: result.MemoryConsumption,
  293.                 input,
  294.                 output: data.Stdout,
  295.                 error: data.Stderr,
  296.             };
  297.         }
  298.     }
  299. }
  300.  
  301. class PaizaIORunner extends CodeRunner {
  302.     name;
  303.     constructor(name, label) {
  304.         super(label, "PaizaIO");
  305.         this.name = name;
  306.     }
  307.     async run(sourceCode, input) {
  308.         let id, status, error;
  309.         try {
  310.             const res = await fetch("https://api.paiza.io/runners/create?" + buildParams({
  311.                 source_code: sourceCode,
  312.                 language: this.name,
  313.                 input,
  314.                 longpoll: "true",
  315.                 longpoll_timeout: "10",
  316.                 api_key: "guest",
  317.             }), {
  318.                 method: "POST",
  319.                 mode: "cors",
  320.             }).then(r => r.json());
  321.             id = res.id;
  322.             status = res.status;
  323.             error = res.error;
  324.         }
  325.         catch (error) {
  326.             return {
  327.                 status: "IE",
  328.                 input,
  329.                 error: String(error),
  330.             };
  331.         }
  332.         while (status == "running") {
  333.             const res = await fetch("https://api.paiza.io/runners/get_status?" + buildParams({
  334.                 id,
  335.                 api_key: "guest",
  336.             }), {
  337.                 mode: "cors",
  338.             }).then(res => res.json());
  339.             status = res.status;
  340.             error = res.error;
  341.         }
  342.         const res = await fetch("https://api.paiza.io/runners/get_details?" + buildParams({
  343.             id,
  344.             api_key: "guest",
  345.         }), {
  346.             mode: "cors",
  347.         }).then(r => r.json());
  348.         const result = {
  349.             status: "OK",
  350.             exitCode: String(res.exit_code),
  351.             execTime: +res.time * 1e3,
  352.             memory: +res.memory * 1e-3,
  353.             input,
  354.         };
  355.         if (res.build_result == "failure") {
  356.             result.status = "CE";
  357.             result.exitCode = res.build_exit_code;
  358.             result.output = res.build_stdout;
  359.             result.error = res.build_stderr;
  360.         }
  361.         else {
  362.             result.status = (res.result == "timeout") ? "TLE" : (res.result == "failure") ? "RE" : "OK";
  363.             result.exitCode = res.exit_code;
  364.             result.output = res.stdout;
  365.             result.error = res.stderr;
  366.         }
  367.         return result;
  368.     }
  369. }
  370.  
  371. class WandboxRunner extends CodeRunner {
  372.     name;
  373.     options;
  374.     constructor(name, label, options = {}) {
  375.         super(label, "Wandbox");
  376.         this.name = name;
  377.         this.options = options;
  378.     }
  379.     getOptions(sourceCode, input) {
  380.         if (typeof this.options == "function")
  381.             return this.options(sourceCode, input);
  382.         return this.options;
  383.     }
  384.     run(sourceCode, input) {
  385.         const options = this.getOptions(sourceCode, input);
  386.         return this.request(Object.assign({
  387.             compiler: this.name,
  388.             code: sourceCode,
  389.             stdin: input,
  390.         }, options));
  391.     }
  392.     async request(body) {
  393.         const startTime = Date.now();
  394.         let res;
  395.         try {
  396.             res = await fetch("https://wandbox.org/api/compile.json", {
  397.                 method: "POST",
  398.                 mode: "cors",
  399.                 headers: {
  400.                     "Content-Type": "application/json",
  401.                 },
  402.                 body: JSON.stringify(body),
  403.             }).then(r => r.json());
  404.         }
  405.         catch (error) {
  406.             console.error(error);
  407.             return {
  408.                 status: "IE",
  409.                 input: body.stdin,
  410.                 error: String(error),
  411.             };
  412.         }
  413.         const endTime = Date.now();
  414.         const result = {
  415.             status: "OK",
  416.             exitCode: String(res.status),
  417.             execTime: endTime - startTime,
  418.             input: body.stdin,
  419.             output: String(res.program_output || ""),
  420.             error: String(res.program_error || ""),
  421.         };
  422.         // 正常終了以外の場合
  423.         if (res.status != 0) {
  424.             if (res.signal) {
  425.                 result.exitCode += ` (${res.signal})`;
  426.             }
  427.             result.output = String(res.compiler_output || "") + String(result.output || "");
  428.             result.error = String(res.compiler_error || "") + String(result.error || "");
  429.             if (res.compiler_output || res.compiler_error) {
  430.                 result.status = "CE";
  431.             }
  432.             else {
  433.                 result.status = "RE";
  434.             }
  435.         }
  436.         return result;
  437.     }
  438. }
  439.  
  440. class WandboxCppRunner extends WandboxRunner {
  441.     async run(sourceCode, input) {
  442.         // ACL を結合する
  443.         const ACLBase = "https://cdn.jsdelivr.net/gh/atcoder/ac-library/";
  444.         const files = new Map();
  445.         const includeHeader = async (source) => {
  446.             const pattern = /^#\s*include\s*[<"]atcoder\/([^>"]+)[>"]/gm;
  447.             const loaded = [];
  448.             let match;
  449.             while (match = pattern.exec(source)) {
  450.                 const file = "atcoder/" + match[1];
  451.                 if (files.has(file))
  452.                     continue;
  453.                 files.set(file, null);
  454.                 loaded.push([file, fetch(ACLBase + file, { mode: "cors", cache: "force-cache", }).then(r => r.text())]);
  455.             }
  456.             const included = await Promise.all(loaded.map(async ([file, r]) => {
  457.                 const source = await r;
  458.                 files.set(file, source);
  459.                 return source;
  460.             }));
  461.             for (const source of included) {
  462.                 await includeHeader(source);
  463.             }
  464.         };
  465.         await includeHeader(sourceCode);
  466.         const codes = [];
  467.         for (const [file, code] of files) {
  468.             codes.push({ file, code, });
  469.         }
  470.         const options = this.getOptions(sourceCode, input);
  471.         return await this.request(Object.assign({
  472.             compiler: this.name,
  473.             code: sourceCode,
  474.             stdin: input,
  475.             codes,
  476.             "compiler-option-raw": "-I.",
  477.         }, options));
  478.     }
  479. }
  480.  
  481. let brythonRunnerLoaded = false;
  482. const brythonRunner = new CustomRunner("Brython", async (sourceCode, input) => {
  483.     if (!brythonRunnerLoaded) {
  484.         // BrythonRunner を読み込む
  485.         await new Promise((resolve) => {
  486.             const script = document.createElement("script");
  487.             script.src = "https://cdn.jsdelivr.net/gh/pythonpad/brython-runner/lib/brython-runner.bundle.js";
  488.             script.onload = () => {
  489.                 brythonRunnerLoaded = true;
  490.                 resolve(null);
  491.             };
  492.             document.head.appendChild(script);
  493.         });
  494.     }
  495.     let stdout = "";
  496.     let stderr = "";
  497.     let stdinOffset = 0;
  498.     const BrythonRunner = unsafeWindow.BrythonRunner;
  499.     const runner = new BrythonRunner({
  500.         stdout: { write(content) { stdout += content; }, flush() { } },
  501.         stderr: { write(content) { stderr += content; }, flush() { } },
  502.         stdin: { async readline() {
  503.                 let index = input.indexOf("\n", stdinOffset) + 1;
  504.                 if (index == 0)
  505.                     index = input.length;
  506.                 const text = input.slice(stdinOffset, index);
  507.                 stdinOffset = index;
  508.                 return text;
  509.             } },
  510.     });
  511.     const timeStart = Date.now();
  512.     await runner.runCode(sourceCode);
  513.     const timeEnd = Date.now();
  514.     return {
  515.         status: "OK",
  516.         exitCode: "0",
  517.         execTime: (timeEnd - timeStart),
  518.         input,
  519.         output: stdout,
  520.         error: stderr,
  521.     };
  522. });
  523.  
  524. async function loadPyodide() {
  525.     const script = await fetch("https://cdn.jsdelivr.net/pyodide/v0.18.1/full/pyodide.js").then(res => res.text());
  526.     unsafeWindow["Function"](script)();
  527.     const pyodide = await unsafeWindow["loadPyodide"]({
  528.         indexURL: "https://cdn.jsdelivr.net/pyodide/v0.18.1/full/",
  529.     });
  530.     await pyodide.runPythonAsync(`
  531. import contextlib, io, platform
  532. class __redirect_stdin(contextlib._RedirectStream):
  533.   _stream = "stdin"
  534. `);
  535.     return pyodide;
  536. }
  537. let _pyodide = Promise.reject();
  538. let _serial = Promise.resolve();
  539. const pyodideRunner = new CustomRunner("Pyodide", (sourceCode, input) => new Promise((resolve, reject) => {
  540.     _serial = _serial.finally(async () => {
  541.         const pyodide = await (_pyodide = _pyodide.catch(loadPyodide));
  542.         const code = `
  543. def __run():
  544.  global __stdout, __stderr, __stdin, __code
  545.  with __redirect_stdin(io.StringIO(__stdin)):
  546.   with contextlib.redirect_stdout(io.StringIO()) as __stdout:
  547.    with contextlib.redirect_stderr(io.StringIO()) as __stderr:
  548.     try:
  549.      pass
  550. ` + sourceCode.split("\n").map(line => "     " + line).join("\n") + `
  551.     except SystemExit as e:
  552.      __code = e.code
  553. `;
  554.         let status = "OK";
  555.         let exitCode = "0";
  556.         let stdout = "";
  557.         let stderr = "";
  558.         let startTime = -Infinity;
  559.         let endTime = Infinity;
  560.         pyodide.globals.__stdin = input;
  561.         try {
  562.             pyodide.globals.__code = null;
  563.             await pyodide.loadPackagesFromImports(code);
  564.             await pyodide.runPythonAsync(code);
  565.             startTime = Date.now();
  566.             pyodide.runPython("__run()");
  567.             endTime = Date.now();
  568.             stdout += pyodide.globals.__stdout.getvalue();
  569.             stderr += pyodide.globals.__stderr.getvalue();
  570.             if (typeof pyodide.globals.__code == "number") {
  571.                 exitCode = String(pyodide.globals.__code);
  572.                 if (pyodide.globals.__code != 0)
  573.                     status = "RE";
  574.             }
  575.         }
  576.         catch (error) {
  577.             status = "RE";
  578.             exitCode = "-1";
  579.             stderr += error.toString();
  580.         }
  581.         resolve({
  582.             status,
  583.             exitCode,
  584.             execTime: (endTime - startTime),
  585.             input,
  586.             output: stdout,
  587.             error: stderr,
  588.         });
  589.     });
  590. }));
  591.  
  592. function pairs(list) {
  593.     const pairs = [];
  594.     const len = list.length >> 1;
  595.     for (let i = 0; i < len; i++)
  596.         pairs.push([list[i * 2], list[i * 2 + 1]]);
  597.     return pairs;
  598. }
  599. async function init$4() {
  600.     if (location.host != "atcoder.jp")
  601.         throw "Not AtCoder";
  602.     const doc = unsafeWindow.document;
  603.     const eLanguage = unsafeWindow.$("#select-lang>select");
  604.     const langMap = {
  605.         4001: "C GCC 9.2.1",
  606.         4002: "C Clang 10.0.0",
  607.         4003: "C++ GCC 9.2.1",
  608.         4004: "C++ Clang 10.0.0",
  609.         4005: "Java OpenJDK 11.0.6",
  610.         4006: "Python3 CPython 3.8.2",
  611.         4007: "Bash 5.0.11",
  612.         4008: "bc 1.07.1",
  613.         4009: "Awk GNU Awk 4.1.4",
  614.         4010: "C# .NET Core 3.1.201",
  615.         4011: "C# Mono-mcs 6.8.0.105",
  616.         4012: "C# Mono-csc 3.5.0",
  617.         4013: "Clojure 1.10.1.536",
  618.         4014: "Crystal 0.33.0",
  619.         4015: "D DMD 2.091.0",
  620.         4016: "D GDC 9.2.1",
  621.         4017: "D LDC 1.20.1",
  622.         4018: "Dart 2.7.2",
  623.         4019: "dc 1.4.1",
  624.         4020: "Erlang 22.3",
  625.         4021: "Elixir 1.10.2",
  626.         4022: "F# .NET Core 3.1.201",
  627.         4023: "F# Mono 10.2.3",
  628.         4024: "Forth gforth 0.7.3",
  629.         4025: "Fortran GNU Fortran 9.2.1",
  630.         4026: "Go 1.14.1",
  631.         4027: "Haskell GHC 8.8.3",
  632.         4028: "Haxe 4.0.3",
  633.         4029: "Haxe 4.0.3",
  634.         4030: "JavaScript Node.js 12.16.1",
  635.         4031: "Julia 1.4.0",
  636.         4032: "Kotlin 1.3.71",
  637.         4033: "Lua Lua 5.3.5",
  638.         4034: "Lua LuaJIT 2.1.0",
  639.         4035: "Dash 0.5.8",
  640.         4036: "Nim 1.0.6",
  641.         4037: "Objective-C Clang 10.0.0",
  642.         4038: "Lisp SBCL 2.0.3",
  643.         4039: "OCaml 4.10.0",
  644.         4040: "Octave 5.2.0",
  645.         4041: "Pascal FPC 3.0.4",
  646.         4042: "Perl 5.26.1",
  647.         4043: "Raku Rakudo 2020.02.1",
  648.         4044: "PHP 7.4.4",
  649.         4045: "Prolog SWI-Prolog 8.0.3",
  650.         4046: "Python PyPy2 7.3.0",
  651.         4047: "Python3 PyPy3 7.3.0",
  652.         4048: "Racket 7.6",
  653.         4049: "Ruby 2.7.1",
  654.         4050: "Rust 1.42.0",
  655.         4051: "Scala 2.13.1",
  656.         4052: "Java OpenJDK 1.8.0",
  657.         4053: "Scheme Gauche 0.9.9",
  658.         4054: "ML MLton 20130715",
  659.         4055: "Swift 5.2.1",
  660.         4056: "Text cat 8.28",
  661.         4057: "TypeScript 3.8",
  662.         4058: "Basic .NET Core 3.1.101",
  663.         4059: "Zsh 5.4.2",
  664.         4060: "COBOL Fixed OpenCOBOL 1.1.0",
  665.         4061: "COBOL Free OpenCOBOL 1.1.0",
  666.         4062: "Brainfuck bf 20041219",
  667.         4063: "Ada Ada2012 GNAT 9.2.1",
  668.         4064: "Unlambda 2.0.0",
  669.         4065: "Cython 0.29.16",
  670.         4066: "Sed 4.4",
  671.         4067: "Vim 8.2.0460",
  672.     };
  673.     const languageId = new ObservableValue(eLanguage.val());
  674.     eLanguage.change(() => {
  675.         languageId.value = eLanguage.val();
  676.     });
  677.     const language = languageId.map(lang => langMap[lang]);
  678.     function getTestCases() {
  679.         const selectors = [
  680.             ["#task-statement p+pre.literal-block", ".section"],
  681.             ["#task-statement pre.source-code-for-copy", ".part"],
  682.             ["#task-statement .lang>*:nth-child(1) .div-btn-copy+pre", ".part"],
  683.             ["#task-statement .div-btn-copy+pre", ".part"],
  684.             ["#task-statement>.part pre.linenums", ".part"],
  685.             ["#task-statement>.part:not(.io-style)>h3+section>pre", ".part"],
  686.             ["#task-statement pre", ".part"],
  687.         ];
  688.         for (const [selector, closestSelector] of selectors) {
  689.             let e = [...doc.querySelectorAll(selector)];
  690.             e = e.filter(e => !e.closest(".io-style")); // practice2
  691.             if (e.length == 0)
  692.                 continue;
  693.             return pairs(e).map(([input, output], index) => ({
  694.                 title: `Sample ${index + 1}`,
  695.                 input: input.textContent,
  696.                 output: output.textContent,
  697.                 anchor: (input.closest(closestSelector) || input.parentElement).querySelector(".btn-copy"),
  698.             }));
  699.         }
  700.         { // maximum_cup_2018_d
  701.             let e = [...doc.querySelectorAll("#task-statement .div-btn-copy+pre")];
  702.             e = e.filter(f => !f.childElementCount);
  703.             if (e.length) {
  704.                 return pairs(e).map(([input, output], index) => ({
  705.                     title: `Sample ${index + 1}`,
  706.                     input: input.textContent,
  707.                     output: output.textContent,
  708.                     anchor: (input.closest(".part") || input.parentElement).querySelector(".btn-copy"),
  709.                 }));
  710.             }
  711.         }
  712.         return [];
  713.     }
  714.     return {
  715.         name: "AtCoder",
  716.         language,
  717.         get sourceCode() {
  718.             return unsafeWindow.getSourceCode();
  719.         },
  720.         set sourceCode(sourceCode) {
  721.             doc.querySelector(".plain-textarea").value = sourceCode;
  722.             unsafeWindow.$(".editor").data("editor").doc.setValue(sourceCode);
  723.         },
  724.         submit() {
  725.             doc.querySelector("#submit").click();
  726.         },
  727.         get testButtonContainer() {
  728.             return doc.querySelector("#submit").parentElement;
  729.         },
  730.         get sideButtonContainer() {
  731.             return doc.querySelector(".editor-buttons");
  732.         },
  733.         get bottomMenuContainer() {
  734.             return doc.getElementById("main-div");
  735.         },
  736.         get resultListContainer() {
  737.             return doc.querySelector(".form-code-submit");
  738.         },
  739.         get testCases() {
  740.             return getTestCases();
  741.         },
  742.         get jQuery() {
  743.             return unsafeWindow["jQuery"];
  744.         },
  745.     };
  746. }
  747.  
  748. async function init$3() {
  749.     if (location.host != "yukicoder.me")
  750.         throw "Not yukicoder";
  751.     const $ = unsafeWindow.$;
  752.     const doc = unsafeWindow.document;
  753.     const editor = unsafeWindow.ace.edit("rich_source");
  754.     const eSourceObject = $("#source");
  755.     const eLang = $("#lang");
  756.     const eSamples = $(".sample");
  757.     const langMap = {
  758.         "cpp14": "C++ C++14 GCC 11.1.0 + Boost 1.77.0",
  759.         "cpp17": "C++ C++17 GCC 11.1.0 + Boost 1.77.0",
  760.         "cpp-clang": "C++ C++17 Clang 10.0.0 + Boost 1.76.0",
  761.         "cpp23": "C++ C++11 GCC 8.4.1",
  762.         "c11": "C++ C++11 GCC 11.1.0",
  763.         "c": "C C90 GCC 8.4.1",
  764.         "java8": "Java Java16 OpenJDK 16.0.1",
  765.         "csharp": "C# CSC 3.9.0",
  766.         "csharp_mono": "C# Mono 6.12.0.147",
  767.         "csharp_dotnet": "C# .NET 5.0",
  768.         "perl": "Perl 5.26.3",
  769.         "raku": "Raku Rakudo v2021-07-2-g74d7ff771",
  770.         "php": "PHP 7.2.24",
  771.         "php7": "PHP 8.0.8",
  772.         "python3": "Python3 3.9.6 + numpy 1.14.5 + scipy 1.1.0",
  773.         "pypy2": "Python PyPy2 7.3.5",
  774.         "pypy3": "Python3 PyPy3 7.3.5",
  775.         "ruby": "Ruby 3.0.2p107",
  776.         "d": "D DMD 2.097.1",
  777.         "go": "Go 1.16.6",
  778.         "haskell": "Haskell 8.10.5",
  779.         "scala": "Scala 2.13.6",
  780.         "nim": "Nim 1.4.8",
  781.         "rust": "Rust 1.53.0",
  782.         "kotlin": "Kotlin 1.5.21",
  783.         "scheme": "Scheme Gauche 0.9.10",
  784.         "crystal": "Crystal 1.1.1",
  785.         "swift": "Swift 5.4.2",
  786.         "ocaml": "OCaml 4.12.0",
  787.         "clojure": "Clojure 1.10.2.790",
  788.         "fsharp": "F# 5.0",
  789.         "elixir": "Elixir 1.7.4",
  790.         "lua": "Lua LuaJIT 2.0.5",
  791.         "fortran": "Fortran gFortran 8.4.1",
  792.         "node": "JavaScript Node.js 15.5.0",
  793.         "typescript": "TypeScript 4.3.5",
  794.         "lisp": "Lisp Common Lisp sbcl 2.1.6",
  795.         "sml": "ML Standard ML MLton 20180207-6",
  796.         "kuin": "Kuin KuinC++ v.2021.7.17",
  797.         "vim": "Vim v8.2",
  798.         "sh": "Bash 4.4.19",
  799.         "nasm": "Assembler nasm 2.13.03",
  800.         "clay": "cLay 20210917-1",
  801.         "bf": "Brainfuck BFI 1.1",
  802.         "Whitespace": "Whitespace 0.3",
  803.         "text": "Text cat 8.3",
  804.     };
  805.     const language = new ObservableValue(langMap[eLang.val()]);
  806.     eLang.on("change", () => {
  807.         language.value = langMap[eLang.val()];
  808.     });
  809.     return {
  810.         name: "yukicoder",
  811.         language,
  812.         get sourceCode() {
  813.             if (eSourceObject.is(":visible"))
  814.                 return eSourceObject.val();
  815.             return editor.getSession().getValue();
  816.         },
  817.         set sourceCode(sourceCode) {
  818.             eSourceObject.val(sourceCode);
  819.             editor.getSession().setValue(sourceCode);
  820.         },
  821.         submit() {
  822.             doc.querySelector(`#submit_form input[type="submit"]`).click();
  823.         },
  824.         get testButtonContainer() {
  825.             return doc.querySelector("#submit_form");
  826.         },
  827.         get sideButtonContainer() {
  828.             return doc.querySelector("#toggle_source_editor").parentElement;
  829.         },
  830.         get bottomMenuContainer() {
  831.             return doc.body;
  832.         },
  833.         get resultListContainer() {
  834.             return doc.querySelector("#content");
  835.         },
  836.         get testCases() {
  837.             const testCases = [];
  838.             let sampleId = 1;
  839.             for (let i = 0; i < eSamples.length; i++) {
  840.                 const eSample = eSamples.eq(i);
  841.                 const [eInput, eOutput] = eSample.find("pre");
  842.                 const anchorContainer = $(`<span>`);
  843.                 const anchor = $(`<span>`);
  844.                 anchorContainer.append(anchor);
  845.                 eSample.find("h6").eq(0).appendTo(anchorContainer);
  846.                 anchorContainer.insertAfter(eSample.find("button").eq(0));
  847.                 testCases.push({
  848.                     title: `Sample ${sampleId++}`,
  849.                     input: eInput.textContent,
  850.                     output: eOutput.textContent,
  851.                     anchor: anchor[0],
  852.                 });
  853.             }
  854.             return testCases;
  855.         },
  856.         get jQuery() {
  857.             return $;
  858.         },
  859.     };
  860. }
  861.  
  862. let data = {};
  863. function toString() {
  864.     return JSON.stringify(data);
  865. }
  866. function save() {
  867.     GM_setValue("config", toString());
  868. }
  869. function load() {
  870.     data = JSON.parse(GM_getValue("config") || "{}");
  871. }
  872. load();
  873. /** プロパティ名は camelCase にすること */
  874. const config = {
  875.     getString(key, defaultValue = "") {
  876.         if (!(key in data))
  877.             config.setString(key, defaultValue);
  878.         return data[key];
  879.     },
  880.     setString(key, value) {
  881.         data[key] = value;
  882.         save();
  883.     },
  884.     has(key) {
  885.         return key in data;
  886.     },
  887.     get(key, defaultValue = null) {
  888.         if (!(key in data))
  889.             config.set(key, defaultValue);
  890.         return JSON.parse(data[key]);
  891.     },
  892.     set(key, value) {
  893.         config.setString(key, JSON.stringify(value));
  894.     },
  895.     save,
  896.     load,
  897.     toString,
  898. };
  899.  
  900. class Editor {
  901.     _element;
  902.     constructor(lang) {
  903.         this._element = document.createElement("textarea");
  904.         this._element.style.fontFamily = "monospace";
  905.         this._element.style.width = "100%";
  906.         this._element.style.minHeight = "5em";
  907.     }
  908.     get element() {
  909.         return this._element;
  910.     }
  911.     get sourceCode() {
  912.         return this._element.value;
  913.     }
  914.     set sourceCode(sourceCode) {
  915.         this._element.value = sourceCode;
  916.     }
  917.     setLanguage(lang) {
  918.     }
  919. }
  920.  
  921. var hPage = "<!DOCTYPE html>\n<html>\n  <head>\n    <meta charset=\"utf-8\">\n    <meta name=\"viewport\" content=\"width=device-width,initial-scale=1\">\n    <title>AtCoder Easy Test</title>\n    <link href=\"https://maxcdn.bootstrapcdn.com/bootstrap/3.3.1/css/bootstrap.min.css\" rel=\"stylesheet\">\n  </head>\n  <body>\n    <div class=\"container\">\n      <div class=\"panel panel-default\">\n        <div class=\"panel-heading\">Settings</div>\n        <div class=\"panel-body\">\n          <form id=\"options\">\n          </form>\n        </div>\n      </div>\n    </div>\n    <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js\"></script>\n    <script src=\"https://maxcdn.bootstrapcdn.com/bootstrap/3.3.1/js/bootstrap.min.js\"></script>\n  </body>\n</html>";
  922.  
  923. const options = [];
  924. const settings = {
  925.     /** 設定ページを開く
  926.      * クリックなどのイベント時にしか正しく実行できない
  927.      */
  928.     open() {
  929.         const win = window.open("about:blank");
  930.         const doc = win.document;
  931.         doc.open();
  932.         doc.write(hPage);
  933.         doc.close();
  934.         const root = doc.getElementById("options");
  935.         for (const { type, key, defaultValue, description } of options) {
  936.             switch (type) {
  937.                 case "checkbox": {
  938.                     const container = newElement("div", { className: "checkbox" });
  939.                     root.appendChild(container);
  940.                     const label = newElement("label");
  941.                     container.appendChild(label);
  942.                     const element = newElement("input", {
  943.                         type: "checkbox",
  944.                         checked: config.get(key, defaultValue),
  945.                     });
  946.                     element.addEventListener("change", () => {
  947.                         config.set(key, element.checked);
  948.                     });
  949.                     label.appendChild(element);
  950.                     label.appendChild(document.createTextNode(description));
  951.                     break;
  952.                 }
  953.                 default:
  954.                     throw new TypeError(`AtCoderEasyTest.setting: undefined option type ${type} for ${key}`);
  955.             }
  956.         }
  957.     },
  958.     /** 設定項目を登録 */
  959.     registerFlag(key, defaultValue, description) {
  960.         options.push({
  961.             type: "checkbox",
  962.             key,
  963.             defaultValue,
  964.             description,
  965.         });
  966.     }
  967. };
  968.  
  969. settings.registerFlag("codeforces.showEditor", true, "Show Editor in Codeforces Problem Page");
  970. async function init$2() {
  971.     if (location.host != "codeforces.com")
  972.         throw "not Codeforces";
  973.     //TODO: m1.codeforces.com, m2.codeforces.com, m3.codeforces.com に対応する
  974.     const doc = unsafeWindow.document;
  975.     const eLang = doc.querySelector("select[name='programTypeId']");
  976.     doc.head.appendChild(newElement("link", {
  977.         rel: "stylesheet",
  978.         href: "https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/css/bootstrap.min.css",
  979.     }));
  980.     const eButtons = newElement("span");
  981.     doc.querySelector(".submitForm").appendChild(eButtons);
  982.     await loadScript("https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js");
  983.     const jQuery = unsafeWindow["jQuery"].noConflict();
  984.     unsafeWindow["jQuery"] = unsafeWindow["$"];
  985.     unsafeWindow["jQuery11"] = jQuery;
  986.     await loadScript("https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/js/bootstrap.min.js", null, { jQuery, $: jQuery });
  987.     const langMap = {
  988.         3: "Delphi 7",
  989.         4: "Pascal Free Pascal 3.0.2",
  990.         6: "PHP 7.2.13",
  991.         7: "Python 2.7.18",
  992.         9: "C# Mono 6.8",
  993.         12: "Haskell GHC 8.10.1",
  994.         13: "Perl 5.20.1",
  995.         19: "OCaml 4.02.1",
  996.         20: "Scala 2.12.8",
  997.         28: "D DMD32 v2.091.0",
  998.         31: "Python3 3.8.10",
  999.         32: "Go 1.15.6",
  1000.         34: "JavaScript V8 4.8.0",
  1001.         36: "Java 1.8.0_241",
  1002.         40: "Python PyPy2 2.7 (7.3.0)",
  1003.         41: "Python3 PyPy3 3.7 (7.3.0)",
  1004.         43: "C C11 GCC 5.1.0",
  1005.         48: "Kotlin 1.5.31",
  1006.         49: "Rust 1.49.0",
  1007.         50: "C++ C++14 G++ 6.4.0",
  1008.         51: "Pascal PascalABC.NET 3.4.1",
  1009.         52: "C++ C++17 Clang++",
  1010.         54: "C++ C++17 G++ 7.3.0",
  1011.         55: "JavaScript Node.js 12.6.3",
  1012.         59: "C++ Microsoft Visual C++ 2017",
  1013.         60: "Java 11.0.6",
  1014.         61: "C++ C++17 9.2.0 (64 bit, msys 2)",
  1015.         65: "C# 8, .NET Core 3.1",
  1016.         67: "Ruby 3.0.0",
  1017.         70: "Python3 PyPy 3.7 (7.3.5, 64bit)",
  1018.         72: "Kotlin 1.5.31",
  1019.         73: "C++ GNU G++ 11.2.0 (64 bit, winlibs)",
  1020.     };
  1021.     const language = new ObservableValue(langMap[eLang.value]);
  1022.     eLang.addEventListener("change", () => {
  1023.         language.value = langMap[eLang.value];
  1024.     });
  1025.     let _sourceCode = "";
  1026.     const eFile = doc.querySelector(".submitForm").elements["sourceFile"];
  1027.     eFile.addEventListener("change", async () => {
  1028.         if (eFile.files[0]) {
  1029.             _sourceCode = await eFile.files[0].text();
  1030.             if (editor)
  1031.                 editor.sourceCode = _sourceCode;
  1032.         }
  1033.     });
  1034.     let editor = null;
  1035.     let waitCfFastSubmitCount = 0;
  1036.     const waitCfFastSubmit = setInterval(() => {
  1037.         if (document.getElementById("editor")) {
  1038.             // cf-fast-submit
  1039.             if (editor && editor.element)
  1040.                 editor.element.style.display = "none";
  1041.             // 言語セレクトを同期させる
  1042.             const eLang2 = doc.querySelector(".submit-form select[name='programTypeId']");
  1043.             if (eLang2) {
  1044.                 eLang.addEventListener("change", () => {
  1045.                     eLang2.value = eLang.value;
  1046.                 });
  1047.                 eLang2.addEventListener("change", () => {
  1048.                     eLang.value = eLang2.value;
  1049.                     language.value = langMap[eLang.value];
  1050.                 });
  1051.             }
  1052.             // TODO: 選択されたファイルをどうかする
  1053.             // エディタを使う
  1054.             const aceEditor = unsafeWindow["ace"].edit("editor");
  1055.             editor = {
  1056.                 get sourceCode() {
  1057.                     return aceEditor.getValue();
  1058.                 },
  1059.                 set sourceCode(sourceCode) {
  1060.                     aceEditor.setValue(sourceCode);
  1061.                 },
  1062.                 setLanguage(lang) { },
  1063.             };
  1064.             // ボタンを追加する
  1065.             const buttonContainer = doc.querySelector(".submit-form .submit").parentElement;
  1066.             buttonContainer.appendChild(newElement("a", {
  1067.                 className: "btn btn-info",
  1068.                 textContent: "Test & Submit",
  1069.                 onclick: () => events.trig("testAndSubmit"),
  1070.             }));
  1071.             buttonContainer.appendChild(newElement("a", {
  1072.                 className: "btn btn-default",
  1073.                 textContent: "Test All Samples",
  1074.                 onclick: () => events.trig("testAllSamples"),
  1075.             }));
  1076.             clearInterval(waitCfFastSubmit);
  1077.         }
  1078.         else {
  1079.             waitCfFastSubmitCount++;
  1080.             if (waitCfFastSubmitCount >= 100)
  1081.                 clearInterval(waitCfFastSubmit);
  1082.         }
  1083.     }, 100);
  1084.     if (config.get("codeforces.showEditor", true)) {
  1085.         editor = new Editor(langMap[eLang.value].split(" ")[0]);
  1086.         doc.getElementById("pageContent").appendChild(editor.element);
  1087.         language.addListener(lang => {
  1088.             editor.setLanguage(lang);
  1089.         });
  1090.     }
  1091.     return {
  1092.         name: "Codeforces",
  1093.         language,
  1094.         get sourceCode() {
  1095.             if (editor)
  1096.                 return editor.sourceCode;
  1097.             return _sourceCode;
  1098.         },
  1099.         set sourceCode(sourceCode) {
  1100.             const container = new DataTransfer();
  1101.             container.items.add(new File([sourceCode], "prog.txt", { type: "text/plain" }));
  1102.             const eFile = doc.querySelector(".submitForm").elements["sourceFile"];
  1103.             eFile.files = container.files;
  1104.             _sourceCode = sourceCode;
  1105.             if (editor)
  1106.                 editor.sourceCode = sourceCode;
  1107.         },
  1108.         submit() {
  1109.             if (editor)
  1110.                 _sourceCode = editor.sourceCode;
  1111.             this.sourceCode = _sourceCode;
  1112.             doc.querySelector(`.submitForm .submit`).click();
  1113.         },
  1114.         get testButtonContainer() {
  1115.             return eButtons;
  1116.         },
  1117.         get sideButtonContainer() {
  1118.             return eButtons;
  1119.         },
  1120.         get bottomMenuContainer() {
  1121.             return doc.body;
  1122.         },
  1123.         get resultListContainer() {
  1124.             return doc.querySelector("#pageContent");
  1125.         },
  1126.         get testCases() {
  1127.             return [...doc.querySelectorAll(".sample-test")].map((e, i) => ({
  1128.                 title: `Sample ${i + 1}`,
  1129.                 input: e.querySelector(".input pre").textContent,
  1130.                 output: e.querySelector(".output pre").textContent,
  1131.                 anchor: e.querySelector(".input .title"),
  1132.             }));
  1133.         },
  1134.         get jQuery() {
  1135.             return jQuery;
  1136.         },
  1137.     };
  1138. }
  1139.  
  1140. async function init$1() {
  1141.     if (location.host != "greasyfork.org" && !location.href.match(/433152-atcoder-easy-test-v2/))
  1142.         throw "Not about page";
  1143.     const doc = unsafeWindow.document;
  1144.     await loadScript("https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js");
  1145.     const jQuery = unsafeWindow["jQuery"];
  1146.     await loadScript("https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/js/bootstrap.min.js", null, { jQuery, $: jQuery });
  1147.     const e = newElement("div");
  1148.     doc.getElementById("install-area").appendChild(newElement("button", {
  1149.         type: "button",
  1150.         textContent: "Open Settings",
  1151.         onclick: () => settings.open(),
  1152.     }));
  1153.     return {
  1154.         name: "About Page",
  1155.         language: new ObservableValue(""),
  1156.         get sourceCode() { return ""; },
  1157.         set sourceCode(sourceCode) { },
  1158.         submit() { },
  1159.         get testButtonContainer() { return e; },
  1160.         get sideButtonContainer() { return e; },
  1161.         get bottomMenuContainer() { return e; },
  1162.         get resultListContainer() { return e; },
  1163.         get testCases() { return []; },
  1164.         get jQuery() { return jQuery; },
  1165.     };
  1166. }
  1167.  
  1168. // 設定ページが開けなくなるのを避ける
  1169. const inits = [init$1()];
  1170. settings.registerFlag("site.atcoder", true, "Use AtCoder Easy Test in AtCoder");
  1171. if (config.get("site.atcoder", true))
  1172.     inits.push(init$4());
  1173. settings.registerFlag("site.yukicoder", true, "Use AtCoder Easy Test in yukicoder");
  1174. if (config.get("site.yukicoder", true))
  1175.     inits.push(init$3());
  1176. settings.registerFlag("site.codeforces", true, "Use AtCoder Easy Test in Codeforces");
  1177. if (config.get("site.codeforces", true))
  1178.     inits.push(init$2());
  1179. var pSite = Promise.any(inits);
  1180.  
  1181. const runners = {
  1182.     "C GCC 10.1.0 Wandbox": new WandboxRunner("gcc-10.1.0-c", "C (GCC 10.1.0)"),
  1183.     "C C17 Clang 10.0.0 paiza.io": new PaizaIORunner("c", "C (C17 / Clang 10.0.0)"),
  1184.     "C++ GCC 10.1.0 + Boost 1.73.0 + ACL Wandbox": new WandboxCppRunner("gcc-10.1.0", "C++ (GCC 10.1.0) + ACL", { options: "warning,boost-1.73.0-gcc-9.2.0,gnu++17" }),
  1185.     "C++ Clang 10.0.0 + ACL Wandbox": new WandboxCppRunner("clang-10.0.0", "C++ (Clang 10.0.0) + ACL", { options: "warning,boost-nothing-clang-10.0.0,c++17" }),
  1186.     "Python3 CPython 3.8.2 paiza.io": new PaizaIORunner("python3", "Python (3.8.2)"),
  1187.     "Python3 Brython": brythonRunner,
  1188.     "Python3 Pyodide": pyodideRunner,
  1189.     "Bash 5.0.17 paiza.io": new PaizaIORunner("bash", "Bash (5.0.17)"),
  1190.     "C# .NET Core 6.0.100-alpha.1.20562.2 Wandbox": new WandboxRunner("csharp", "C# (.NET Core 6.0.100-alpha.1.20562.2)"),
  1191.     "C# Mono-mcs HEAD Wandbox": new WandboxRunner("mono-head", "C# (Mono-mcs HEAD)"),
  1192.     "Clojure 1.10.1-1 paiza.io": new PaizaIORunner("clojure", "Clojure (1.10.1-1)"),
  1193.     "D LDC 1.23.0 paiza.io": new PaizaIORunner("d", "D (LDC 1.23.0)"),
  1194.     "Erlang 10.6.4 paiza.io": new PaizaIORunner("erlang", "Erlang (10.6.4)"),
  1195.     "Elixir 1.10.4 paiza.io": new PaizaIORunner("elixir", "Elixir (1.10.4)"),
  1196.     "F# Interactive 4.0 paiza.io": new PaizaIORunner("fsharp", "F# (Interactive 4.0)"),
  1197.     "Go 1.14.1 Wandbox": new WandboxRunner("go-1.14.1", "Go (1.14.1)"),
  1198.     "Haskell GHC HEAD Wandbox": new WandboxRunner("ghc-head", "Haskell (GHC HEAD)"),
  1199.     "JavaScript Node.js paiza.io": new PaizaIORunner("javascript", "JavaScript (Node.js 12.18.3)"),
  1200.     "Kotlin 1.4.0 paiza.io": new PaizaIORunner("kotlin", "Kotlin (1.4.0)"),
  1201.     "Lua 5.3.4 Wandbox": new WandboxRunner("lua-5.3.4", "Lua (Lua 5.3.4)"),
  1202.     "Lua LuaJIT HEAD Wandbox": new WandboxRunner("luajit-head", "Lua (LuaJIT HEAD)"),
  1203.     "Nim 1.0.6 Wandbox": new WandboxRunner("nim-1.0.6", "Nim (1.0.6)"),
  1204.     "Objective-C Clang 10.0.0 paiza.io": new PaizaIORunner("objective-c", "Objective-C (Clang 10.0.0)"),
  1205.     "Ocaml HEAD Wandbox": new WandboxRunner("ocaml-head", "OCaml (HEAD)"),
  1206.     "Pascal FPC 3.0.2 Wandbox": new WandboxRunner("fpc-3.0.2", "Pascal (FPC 3.0.2)"),
  1207.     "Perl 5.30.0 paiza.io": new PaizaIORunner("perl", "Perl (5.30.0)"),
  1208.     "PHP 7.4.10 paiza.io": new PaizaIORunner("php", "PHP (7.4.10)"),
  1209.     "PHP 7.3.3 Wandbox": new WandboxRunner("php-7.3.3", "PHP (7.3.3)"),
  1210.     "Python PyPy HEAD Wandbox": new WandboxRunner("pypy-head", "PyPy2 (HEAD)"),
  1211.     "Python3 PyPy3 7.2.0 Wandbox": new WandboxRunner("pypy-7.2.0-3", "PyPy3 (7.2.0)"),
  1212.     "Ruby 2.7.1 paiza.io": new PaizaIORunner("ruby", "Ruby (2.7.1)"),
  1213.     "Ruby HEAD Wandbox": new WandboxRunner("ruby-head", "Ruby (HEAD)"),
  1214.     "Ruby 2.7.1 Wandbox": new WandboxRunner("ruby-2.7.1", "Ruby (2.7.1)"),
  1215.     "Rust 1.42.0 AtCoder": new AtCoderRunner("4050", "Rust (1.42.0)"),
  1216.     "Rust HEAD Wandbox": new WandboxRunner("rust-head", "Rust (HEAD)"),
  1217.     "Rust 1.43.0 paiza.io": new PaizaIORunner("rust", "Rust (1.43.0)"),
  1218.     "Scala 2.13.3 paiza": new PaizaIORunner("scala", "Scala (2.13.3)"),
  1219.     "Scheme Gauche 0.9.6 paiza.io": new PaizaIORunner("scheme", "Scheme (Gauche 0.9.6)"),
  1220.     "Swift 5.2.5 paiza.io": new PaizaIORunner("swift", "Swift (5.2.5)"),
  1221.     "Text local": new CustomRunner("Text", async (sourceCode, input) => {
  1222.         return {
  1223.             status: "OK",
  1224.             exitCode: "0",
  1225.             input,
  1226.             output: sourceCode,
  1227.         };
  1228.     }),
  1229.     "Basic Visual Basic .NET Core 4.0.1 paiza.io": new PaizaIORunner("vb", "Visual Basic (.NET Core 4.0.1)"),
  1230.     "COBOL Free OpenCOBOL 2.2.0 paiza.io": new PaizaIORunner("cobol", "COBOL - Free (OpenCOBOL 2.2.0)"),
  1231.     "COBOL Fixed OpenCOBOL 1.1.0 AtCoder": new AtCoderRunner("4060", "COBOL - Fixed (OpenCOBOL 1.1.0)"),
  1232.     "COBOL Free OpenCOBOL 1.1.0 AtCoder": new AtCoderRunner("4061", "COBOL - Free (OpenCOBOL 1.1.0)"),
  1233.     "C++ GCC 9.2.0 + ACL Wandbox": new WandboxCppRunner("gcc-9.2.0", "C++ (GCC 9.2.0) + ACL"),
  1234. };
  1235. pSite.then(site => {
  1236.     if (site.name == "AtCoder") {
  1237.         // AtCoderRunner がない場合は、追加する
  1238.         for (const e of document.querySelectorAll("#select-lang option[value]")) {
  1239.             const m = e.textContent.match(/([^ ]+) \(([^)]+)\)/);
  1240.             if (m) {
  1241.                 const name = `${m[1]} ${m[2]} AtCoder`;
  1242.                 const languageId = e.value;
  1243.                 runners[name] = new AtCoderRunner(languageId, e.textContent);
  1244.             }
  1245.         }
  1246.     }
  1247. });
  1248. console.info("AtCoder Easy Test: codeRunner OK");
  1249. var codeRunner = {
  1250.     // 指定した環境でコードを実行する
  1251.     run(languageId, sourceCode, input, expectedOutput, options = { trim: true, split: true }) {
  1252.         // CodeRunner が存在しない言語ID
  1253.         if (!(languageId in runners))
  1254.             return Promise.reject("Language not supported");
  1255.         // 最後に実行したコードを保存
  1256.         if (sourceCode.length > 0)
  1257.             codeSaver.save(sourceCode);
  1258.         // 実行
  1259.         return runners[languageId].test(sourceCode, input, expectedOutput, options);
  1260.     },
  1261.     // 環境の名前の一覧を取得する
  1262.     async getEnvironment(languageId) {
  1263.         const langs = similarLangs(languageId, Object.keys(runners));
  1264.         if (langs.length == 0)
  1265.             throw `Undefined language: ${languageId}`;
  1266.         return langs.map(lang => [lang, runners[lang].label]);
  1267.     },
  1268. };
  1269.  
  1270. var hBottomMenu = "<div id=\"bottom-menu-wrapper\" class=\"navbar navbar-default navbar-fixed-bottom\">\n  <div class=\"container\">\n    <div class=\"navbar-header\">\n      <button id=\"bottom-menu-key\" type=\"button\" class=\"navbar-toggle collapsed glyphicon glyphicon-menu-down\" data-toggle=\"collapse\" data-target=\"#bottom-menu\"></button>\n    </div>\n    <div id=\"bottom-menu\" class=\"collapse navbar-collapse\">\n      <ul id=\"bottom-menu-tabs\" class=\"nav nav-tabs\"></ul>\n      <div id=\"bottom-menu-contents\" class=\"tab-content\"></div>\n    </div>\n  </div>\n</div>";
  1271.  
  1272. var hStyle$1 = "<style>\n#bottom-menu-wrapper {\n  background: transparent;\n  border: none;\n  pointer-events: none;\n  padding: 0;\n}\n\n#bottom-menu-wrapper>.container {\n  position: absolute;\n  bottom: 0;\n  width: 100%;\n  padding: 0;\n}\n\n#bottom-menu-wrapper>.container>.navbar-header {\n  float: none;\n}\n\n#bottom-menu-key {\n  display: block;\n  float: none;\n  margin: 0 auto;\n  padding: 10px 3em;\n  border-radius: 5px 5px 0 0;\n  background: #000;\n  opacity: 0.5;\n  color: #FFF;\n  cursor: pointer;\n  pointer-events: auto;\n  text-align: center;\n}\n\n@media screen and (max-width: 767px) {\n  #bottom-menu-key {\n    opacity: 0.25;\n  }\n}\n\n#bottom-menu-key.collapsed:before {\n  content: \"\\e260\";\n}\n\n#bottom-menu-tabs {\n  padding: 3px 0 0 10px;\n  cursor: n-resize;\n}\n\n#bottom-menu-tabs a {\n  pointer-events: auto;\n}\n\n#bottom-menu {\n  pointer-events: auto;\n  background: rgba(0, 0, 0, 0.8);\n  color: #fff;\n  max-height: unset;\n}\n\n#bottom-menu.collapse:not(.in) {\n  display: none !important;\n}\n\n#bottom-menu-tabs>li>a {\n  background: rgba(150, 150, 150, 0.5);\n  color: #000;\n  border: solid 1px #ccc;\n  filter: brightness(0.75);\n}\n\n#bottom-menu-tabs>li>a:hover {\n  background: rgba(150, 150, 150, 0.5);\n  border: solid 1px #ccc;\n  color: #111;\n  filter: brightness(0.9);\n}\n\n#bottom-menu-tabs>li.active>a {\n  background: #eee;\n  border: solid 1px #ccc;\n  color: #333;\n  filter: none;\n}\n\n.bottom-menu-btn-close {\n  font-size: 8pt;\n  vertical-align: baseline;\n  padding: 0 0 0 6px;\n  margin-right: -6px;\n}\n\n#bottom-menu-contents {\n  padding: 5px 15px;\n  max-height: 50vh;\n  overflow-y: auto;\n}\n\n#bottom-menu-contents .panel {\n  color: #333;\n}\n</style>";
  1273.  
  1274. async function init() {
  1275.     const site = await pSite;
  1276.     const style = html2element(hStyle$1);
  1277.     const bottomMenu = html2element(hBottomMenu);
  1278.     unsafeWindow.document.head.appendChild(style);
  1279.     site.bottomMenuContainer.appendChild(bottomMenu);
  1280.     const bottomMenuKey = bottomMenu.querySelector("#bottom-menu-key");
  1281.     const bottomMenuTabs = bottomMenu.querySelector("#bottom-menu-tabs");
  1282.     const bottomMenuContents = bottomMenu.querySelector("#bottom-menu-contents");
  1283.     // メニューのリサイズ
  1284.     {
  1285.         let resizeStart = null;
  1286.         const onStart = (event) => {
  1287.             const target = event.target;
  1288.             const pageY = event.pageY;
  1289.             if (target.id != "bottom-menu-tabs")
  1290.                 return;
  1291.             resizeStart = { y: pageY, height: bottomMenuContents.getBoundingClientRect().height };
  1292.         };
  1293.         const onMove = (event) => {
  1294.             if (!resizeStart)
  1295.                 return;
  1296.             event.preventDefault();
  1297.             bottomMenuContents.style.height = `${resizeStart.height - (event.pageY - resizeStart.y)}px`;
  1298.         };
  1299.         const onEnd = () => {
  1300.             resizeStart = null;
  1301.         };
  1302.         bottomMenuTabs.addEventListener("mousedown", onStart);
  1303.         bottomMenuTabs.addEventListener("mousemove", onMove);
  1304.         bottomMenuTabs.addEventListener("mouseup", onEnd);
  1305.         bottomMenuTabs.addEventListener("mouseleave", onEnd);
  1306.     }
  1307.     let tabs = new Set();
  1308.     let selectedTab = null;
  1309.     /** 下メニューの操作 */
  1310.     const menuController = {
  1311.         /** タブを選択 */
  1312.         selectTab(tabId) {
  1313.             const tab = site.jQuery(`#bottom-menu-tab-${tabId}`);
  1314.             if (tab && tab[0]) {
  1315.                 tab.tab("show"); // Bootstrap 3
  1316.                 selectedTab = tabId;
  1317.             }
  1318.         },
  1319.         /** 下メニューにタブを追加する */
  1320.         addTab(tabId, tabLabel, paneContent, options = {}) {
  1321.             console.log(`AtCoder Easy Test: addTab: ${tabLabel} (${tabId})`, paneContent);
  1322.             // タブを追加
  1323.             const tab = document.createElement("a");
  1324.             tab.textContent = tabLabel;
  1325.             tab.id = `bottom-menu-tab-${tabId}`;
  1326.             tab.href = "#";
  1327.             tab.dataset.target = `#bottom-menu-pane-${tabId}`;
  1328.             tab.dataset.toggle = "tab";
  1329.             tab.addEventListener("click", event => {
  1330.                 event.preventDefault();
  1331.                 menuController.selectTab(tabId);
  1332.             });
  1333.             const tabLi = document.createElement("li");
  1334.             tabLi.appendChild(tab);
  1335.             bottomMenuTabs.appendChild(tabLi);
  1336.             // 内容を追加
  1337.             const pane = document.createElement("div");
  1338.             pane.className = "tab-pane";
  1339.             pane.id = `bottom-menu-pane-${tabId}`;
  1340.             pane.appendChild(paneContent);
  1341.             bottomMenuContents.appendChild(pane);
  1342.             const controller = {
  1343.                 get id() {
  1344.                     return tabId;
  1345.                 },
  1346.                 close() {
  1347.                     bottomMenuTabs.removeChild(tabLi);
  1348.                     bottomMenuContents.removeChild(pane);
  1349.                     tabs.delete(tab);
  1350.                     if (selectedTab == tabId) {
  1351.                         selectedTab = null;
  1352.                         if (tabs.size > 0) {
  1353.                             menuController.selectTab(tabs.values().next().value.id);
  1354.                         }
  1355.                     }
  1356.                 },
  1357.                 show() {
  1358.                     menuController.show();
  1359.                     menuController.selectTab(tabId);
  1360.                 },
  1361.                 set color(color) {
  1362.                     tab.style.backgroundColor = color;
  1363.                 },
  1364.             };
  1365.             // 閉じるボタン
  1366.             if (options.closeButton) {
  1367.                 const btn = document.createElement("a");
  1368.                 btn.className = "bottom-menu-btn-close btn btn-link glyphicon glyphicon-remove";
  1369.                 btn.addEventListener("click", () => {
  1370.                     controller.close();
  1371.                 });
  1372.                 tab.appendChild(btn);
  1373.             }
  1374.             // 選択されているタブがなければ選択
  1375.             if (!selectedTab)
  1376.                 menuController.selectTab(tabId);
  1377.             return controller;
  1378.         },
  1379.         /** 下メニューを表示する */
  1380.         show() {
  1381.             if (bottomMenuKey.classList.contains("collapsed"))
  1382.                 bottomMenuKey.click();
  1383.         },
  1384.         /** 下メニューの表示/非表示を切り替える */
  1385.         toggle() {
  1386.             bottomMenuKey.click();
  1387.         },
  1388.     };
  1389.     console.info("AtCoder Easy Test: bottomMenu OK");
  1390.     return menuController;
  1391. }
  1392.  
  1393. var hRowTemplate = "<div class=\"atcoder-easy-test-cases-row alert alert-dismissible\">\n  <button type=\"button\" class=\"close\" data-dismiss=\"alert\" aria-label=\"close\">\n    <span aria-hidden=\"true\">×</span>\n  </button>\n  <div class=\"progress\">\n    <div class=\"progress-bar\" style=\"width: 0%;\">0 / 0</div>\n  </div>\n  <!--div class=\"label label-default label-warning\" style=\"margin: 3px; cursor: pointer;\">WA</div>\n  <div class=\"label label-default label-warning\" style=\"margin: 3px; cursor: pointer;\">WA</div>\n  <div class=\"label label-default label-warning\" style=\"margin: 3px; cursor: pointer;\">WA</div-->\n</div>";
  1394.  
  1395. class ResultRow {
  1396.     _tabs;
  1397.     _element;
  1398.     _promise;
  1399.     constructor(pairs) {
  1400.         this._tabs = pairs.map(([_, tab]) => tab);
  1401.         this._element = html2element(hRowTemplate);
  1402.         const numCases = pairs.length;
  1403.         let numFinished = 0;
  1404.         let numAccepted = 0;
  1405.         const progressBar = this._element.querySelector(".progress-bar");
  1406.         progressBar.textContent = `${numFinished} / ${numCases}`;
  1407.         this._promise = Promise.all(pairs.map(([pResult, tab]) => {
  1408.             const button = html2element(`<div class="label label-default" style="margin: 3px; cursor: pointer;">WJ</div>`);
  1409.             button.addEventListener("click", async () => {
  1410.                 (await tab).show();
  1411.             });
  1412.             this._element.appendChild(button);
  1413.             return pResult.then(result => {
  1414.                 button.textContent = result.status;
  1415.                 if (result.status == "AC") {
  1416.                     button.classList.add("label-success");
  1417.                 }
  1418.                 else if (result.status != "OK") {
  1419.                     button.classList.add("label-warning");
  1420.                 }
  1421.                 numFinished++;
  1422.                 if (result.status == "AC")
  1423.                     numAccepted++;
  1424.                 progressBar.textContent = `${numFinished} / ${numCases}`;
  1425.                 progressBar.style.width = `${100 * numFinished / numCases}%`;
  1426.                 if (numFinished == numCases) {
  1427.                     if (numAccepted == numCases)
  1428.                         this._element.classList.add("alert-success");
  1429.                     else
  1430.                         this._element.classList.add("alert-warning");
  1431.                 }
  1432.             }).catch(reason => {
  1433.                 button.textContent = "IE";
  1434.                 button.classList.add("label-danger");
  1435.                 console.error(reason);
  1436.             });
  1437.         }));
  1438.     }
  1439.     get element() {
  1440.         return this._element;
  1441.     }
  1442.     onFinish(listener) {
  1443.         this._promise.then(listener);
  1444.     }
  1445.     remove() {
  1446.         for (const pTab of this._tabs)
  1447.             pTab.then(tab => tab.close());
  1448.         const parent = this._element.parentElement;
  1449.         if (parent)
  1450.             parent.removeChild(this._element);
  1451.     }
  1452. }
  1453.  
  1454. var hResultList = "<div class=\"row\"></div>";
  1455.  
  1456. const eResultList = html2element(hResultList);
  1457. pSite.then(site => site.resultListContainer.appendChild(eResultList));
  1458. const resultList = {
  1459.     addResult(pairs) {
  1460.         const result = new ResultRow(pairs);
  1461.         eResultList.insertBefore(result.element, eResultList.firstChild);
  1462.         return result;
  1463.     },
  1464. };
  1465.  
  1466. var hTabTemplate = "<div class=\"atcoder-easy-test-result container\">\n  <div class=\"row\">\n    <div class=\"atcoder-easy-test-result-col-input col-xs-12\" data-if-expected-output=\"col-sm-6 col-sm-push-6\">\n      <div class=\"form-group\">\n        <label class=\"control-label col-xs-12\">\n          Standard Input\n          <div class=\"col-xs-12\">\n            <textarea class=\"atcoder-easy-test-result-input form-control\" rows=\"3\" readonly=\"readonly\"></textarea>\n          </div>\n        </label>\n      </div>\n    </div>\n    <div class=\"atcoder-easy-test-result-col-expected-output col-xs-12 col-sm-6 hidden\" data-if-expected-output=\"!hidden col-sm-pull-6\">\n      <div class=\"form-group\">\n        <label class=\"control-label col-xs-12\">\n          Expected Output\n          <div class=\"col-xs-12\">\n            <textarea class=\"atcoder-easy-test-result-expected-output form-control\" rows=\"3\" readonly=\"readonly\"></textarea>\n          </div>\n        </label>\n      </div>\n    </div>\n  </div>\n  <div class=\"row\"><div class=\"col-sm-6 col-sm-offset-3\">\n    <div class=\"panel panel-default\">\n      <table class=\"table table-condensed\">\n        <tbody>\n          <tr>\n            <th class=\"text-center\">Exit Code</th>\n            <th class=\"text-center\">Exec Time</th>\n            <th class=\"text-center\">Memory</th>\n          </tr>\n          <tr>\n            <td class=\"atcoder-easy-test-result-exit-code text-center\"></td>\n            <td class=\"atcoder-easy-test-result-exec-time text-center\"></td>\n            <td class=\"atcoder-easy-test-result-memory text-center\"></td>\n          </tr>\n        </tbody>\n      </table>\n    </div>\n  </div></div>\n  <div class=\"row\">\n    <div class=\"atcoder-easy-test-result-col-output col-xs-12\" data-if-error=\"col-md-6\">\n      <div class=\"form-group\">\n        <label class=\"control-label col-xs-12\">\n          Standard Output\n          <div class=\"col-xs-12\">\n            <textarea class=\"atcoder-easy-test-result-output form-control\" rows=\"5\" readonly=\"readonly\"></textarea>\n          </div>\n        </label>\n      </div>\n    </div>\n    <div class=\"atcoder-easy-test-result-col-error col-xs-12 col-md-6 hidden\" data-if-error=\"!hidden\">\n      <div class=\"form-group\">\n        <label class=\"control-label col-xs-12\">\n          Standard Error\n          <div class=\"col-xs-12\">\n            <textarea class=\"atcoder-easy-test-result-error form-control\" rows=\"5\" readonly=\"readonly\"></textarea>\n          </div>\n        </label>\n      </div>\n    </div>\n  </div>\n</div>";
  1467.  
  1468. function setClassFromData(element, name) {
  1469.     const classes = element.dataset[name].split(/\s+/);
  1470.     for (let className of classes) {
  1471.         let flag = true;
  1472.         if (className[0] == "!") {
  1473.             className = className.slice(1);
  1474.             flag = false;
  1475.         }
  1476.         element.classList.toggle(className, flag);
  1477.     }
  1478. }
  1479. class ResultTabContent {
  1480.     _title;
  1481.     _uid;
  1482.     _element;
  1483.     _result;
  1484.     constructor() {
  1485.         this._uid = Date.now().toString(16);
  1486.         this._result = null;
  1487.         this._element = html2element(hTabTemplate);
  1488.         this._element.id = `atcoder-easy-test-result-${this._uid}`;
  1489.     }
  1490.     set result(result) {
  1491.         this._result = result;
  1492.         if (result.status == "AC") {
  1493.             this.outputStyle.backgroundColor = "#dff0d8";
  1494.         }
  1495.         else if (result.status != "OK") {
  1496.             this.outputStyle.backgroundColor = "#fcf8e3";
  1497.         }
  1498.         this.input = result.input;
  1499.         if ("expectedOutput" in result)
  1500.             this.expectedOutput = result.expectedOutput;
  1501.         this.exitCode = result.exitCode;
  1502.         if ("execTime" in result)
  1503.             this.execTime = `${result.execTime} ms`;
  1504.         if ("memory" in result)
  1505.             this.memory = `${result.memory} KB`;
  1506.         if ("output" in result)
  1507.             this.output = result.output;
  1508.         if (result.error)
  1509.             this.error = result.error;
  1510.     }
  1511.     get result() {
  1512.         return this._result;
  1513.     }
  1514.     get uid() {
  1515.         return this._uid;
  1516.     }
  1517.     get element() {
  1518.         return this._element;
  1519.     }
  1520.     set title(title) {
  1521.         this._title = title;
  1522.     }
  1523.     get title() {
  1524.         return this._title;
  1525.     }
  1526.     set input(input) {
  1527.         this._get("input").value = input;
  1528.     }
  1529.     get inputStyle() {
  1530.         return this._get("input").style;
  1531.     }
  1532.     set expectedOutput(output) {
  1533.         this._get("expected-output").value = output;
  1534.         setClassFromData(this._get("col-input"), "ifExpectedOutput");
  1535.         setClassFromData(this._get("col-expected-output"), "ifExpectedOutput");
  1536.     }
  1537.     get expectedOutputStyle() {
  1538.         return this._get("expected-output").style;
  1539.     }
  1540.     set output(output) {
  1541.         this._get("output").value = output;
  1542.     }
  1543.     get outputStyle() {
  1544.         return this._get("output").style;
  1545.     }
  1546.     set error(error) {
  1547.         this._get("error").value = error;
  1548.         setClassFromData(this._get("col-output"), "ifError");
  1549.         setClassFromData(this._get("col-error"), "ifError");
  1550.     }
  1551.     set exitCode(code) {
  1552.         const element = this._get("exit-code");
  1553.         element.textContent = code;
  1554.         const isSuccess = code == "0";
  1555.         element.classList.toggle("bg-success", isSuccess);
  1556.         element.classList.toggle("bg-danger", !isSuccess);
  1557.     }
  1558.     set execTime(time) {
  1559.         this._get("exec-time").textContent = time;
  1560.     }
  1561.     set memory(memory) {
  1562.         this._get("memory").textContent = memory;
  1563.     }
  1564.     _get(name) {
  1565.         return this._element.querySelector(`.atcoder-easy-test-result-${name}`);
  1566.     }
  1567. }
  1568.  
  1569. var hRoot = "<form id=\"atcoder-easy-test-container\" class=\"form-horizontal\">\n  <div class=\"row\">\n      <div class=\"col-xs-12 col-lg-8\">\n          <div class=\"form-group\">\n              <label class=\"control-label col-sm-2\">Test Environment</label>\n              <div class=\"col-sm-10\">\n                  <select class=\"form-control\" id=\"atcoder-easy-test-language\"></select>\n              </div>\n          </div>\n          <div class=\"form-group\">\n              <label class=\"control-label col-sm-2\" for=\"atcoder-easy-test-input\">Standard Input</label>\n              <div class=\"col-sm-10\">\n                  <textarea id=\"atcoder-easy-test-input\" name=\"input\" class=\"form-control\" rows=\"3\"></textarea>\n              </div>\n          </div>\n      </div>\n      <div class=\"col-xs-12 col-lg-4\">\n          <details close>\n              <summary>Expected Output</summary>\n              <div class=\"form-group\">\n                  <label class=\"control-label col-sm-2\" for=\"atcoder-easy-test-allowable-error-check\">Allowable Error</label>\n                  <div class=\"col-sm-10\">\n                      <div class=\"input-group\">\n                          <span class=\"input-group-addon\">\n                              <input id=\"atcoder-easy-test-allowable-error-check\" type=\"checkbox\" checked=\"checked\">\n                          </span>\n                          <input id=\"atcoder-easy-test-allowable-error\" type=\"text\" class=\"form-control\" value=\"1e-6\">\n                      </div>\n                  </div>\n              </div>\n              <div class=\"form-group\">\n                  <label class=\"control-label col-sm-2\" for=\"atcoder-easy-test-output\">Expected Output</label>\n                  <div class=\"col-sm-10\">\n                      <textarea id=\"atcoder-easy-test-output\" name=\"output\" class=\"form-control\" rows=\"3\"></textarea>\n                  </div>\n              </div>\n          </details>\n      </div>\n      <div class=\"col-xs-12 col-md-6\">\n          <div class=\"col-xs-11 col-xs-offset=1\">\n              <div class=\"form-group\">\n                  <a id=\"atcoder-easy-test-run\" class=\"btn btn-primary\">Run</a>\n              </div>\n          </div>\n      </div>\n      <div class=\"col-xs-12 col-md-6\">\n          <div class=\"col-xs-11 col-xs-offset=1\">\n              <div class=\"form-group text-right\">\n                  <small>AtCoder Easy Test v<span id=\"atcoder-easy-test-version\"></span></small>\n                  <a id=\"atcoder-easy-test-setting\" class=\"btn btn-xs btn-default\">Setting</a>\n              </div>\n          </div>\n      </div>\n  </div>\n  <style>\n  #atcoder-easy-test-language {\n      border: none;\n      background: transparent;\n      font: inherit;\n      color: #fff;\n  }\n  #atcoder-easy-test-language option {\n      border: none;\n      color: #333;\n      font: inherit;\n  }\n  </style>\n</form>";
  1570.  
  1571. var hStyle = "<style>\n.atcoder-easy-test-result textarea {\n  font-family: monospace;\n  font-weight: normal;\n}\n</style>";
  1572.  
  1573. var hRunButton = "<a class=\"btn btn-primary btn-sm\" style=\"vertical-align: top; margin-left: 0.5em\">Run</a>";
  1574.  
  1575. var hTestAndSubmit = "<a id=\"atcoder-easy-test-btn-test-and-submit\" class=\"btn btn-info btn\" style=\"margin-left: 1rem\" title=\"Ctrl+Enter\" data-toggle=\"tooltip\">Test &amp; Submit</a>";
  1576.  
  1577. var hTestAllSamples = "<a id=\"atcoder-easy-test-btn-test-all\" class=\"btn btn-default btn-sm\" style=\"margin-left: 1rem\" title=\"Alt+Enter\" data-toggle=\"tooltip\">Test All Samples</a>";
  1578.  
  1579. (async () => {
  1580.     const site = await pSite;
  1581.     const doc = unsafeWindow.document;
  1582.     // init bottomMenu
  1583.     const pBottomMenu = init();
  1584.     pBottomMenu.then(bottomMenu => {
  1585.         unsafeWindow.bottomMenu = bottomMenu;
  1586.     });
  1587.     await doneOrFail(pBottomMenu);
  1588.     // external interfaces
  1589.     unsafeWindow.codeRunner = codeRunner;
  1590.     doc.head.appendChild(html2element(hStyle));
  1591.     // interface
  1592.     const atCoderEasyTest = {
  1593.         config,
  1594.         codeSaver,
  1595.         enableButtons() {
  1596.             events.trig("enable");
  1597.         },
  1598.         disableButtons() {
  1599.             events.trig("disable");
  1600.         },
  1601.         runCount: 0,
  1602.         runTest(title, language, sourceCode, input, output = null, options = { trim: true, split: true, }) {
  1603.             this.disableButtons();
  1604.             const content = new ResultTabContent();
  1605.             const pTab = pBottomMenu.then(bottomMenu => bottomMenu.addTab("easy-test-result-" + content.uid, `#${++this.runCount} ${title}`, content.element, { active: true, closeButton: true }));
  1606.             const pResult = codeRunner.run(language, sourceCode, input, output, options);
  1607.             pResult.then(result => {
  1608.                 content.result = result;
  1609.                 if (result.status == "AC") {
  1610.                     pTab.then(tab => tab.color = "#dff0d8");
  1611.                 }
  1612.                 else if (result.status != "OK") {
  1613.                     pTab.then(tab => tab.color = "#fcf8e3");
  1614.                 }
  1615.             }).finally(() => {
  1616.                 this.enableButtons();
  1617.             });
  1618.             return [pResult, pTab];
  1619.         }
  1620.     };
  1621.     unsafeWindow.atCoderEasyTest = atCoderEasyTest;
  1622.     // place "Easy Test" tab
  1623.     {
  1624.         // declare const hRoot: string;
  1625.         const root = html2element(hRoot);
  1626.         const E = (id) => root.querySelector(`#atcoder-easy-test-${id}`);
  1627.         const eLanguage = E("language");
  1628.         const eInput = E("input");
  1629.         const eAllowableErrorCheck = E("allowable-error-check");
  1630.         const eAllowableError = E("allowable-error");
  1631.         const eOutput = E("output");
  1632.         const eRun = E("run");
  1633.         const eSetting = E("setting");
  1634.         E("version").textContent = "2.7.2";
  1635.         events.on("enable", () => {
  1636.             eRun.classList.remove("disabled");
  1637.         });
  1638.         events.on("disable", () => {
  1639.             eRun.classList.remove("enabled");
  1640.         });
  1641.         eSetting.addEventListener("click", () => {
  1642.             settings.open();
  1643.         });
  1644.         // 言語選択関係
  1645.         {
  1646.             eLanguage.addEventListener("change", async () => {
  1647.                 const langSelection = config.get("langSelection", {});
  1648.                 langSelection[site.language.value] = eLanguage.value;
  1649.                 config.set("langSelection", langSelection);
  1650.             });
  1651.             async function setLanguage() {
  1652.                 const languageId = site.language.value;
  1653.                 while (eLanguage.firstChild)
  1654.                     eLanguage.removeChild(eLanguage.firstChild);
  1655.                 try {
  1656.                     const langs = await codeRunner.getEnvironment(languageId);
  1657.                     console.log(`language: ${langs[1]} (${langs[0]})`);
  1658.                     // add <option>
  1659.                     for (const [languageId, label] of langs) {
  1660.                         const option = document.createElement("option");
  1661.                         option.value = languageId;
  1662.                         option.textContent = label;
  1663.                         eLanguage.appendChild(option);
  1664.                     }
  1665.                     // load
  1666.                     const langSelection = config.get("langSelection", {});
  1667.                     if (languageId in langSelection) {
  1668.                         const prev = langSelection[languageId];
  1669.                         const [lang, _] = langs.find(([lang, label]) => lang == prev);
  1670.                         if (lang)
  1671.                             eLanguage.value = lang;
  1672.                     }
  1673.                     events.trig("enable");
  1674.                 }
  1675.                 catch (error) {
  1676.                     console.log(`language: ? (${languageId})`);
  1677.                     console.error(error);
  1678.                     const option = document.createElement("option");
  1679.                     option.className = "fg-danger";
  1680.                     option.textContent = error;
  1681.                     eLanguage.appendChild(option);
  1682.                     events.trig("disable");
  1683.                 }
  1684.             }
  1685.             site.language.addListener(() => setLanguage());
  1686.             eAllowableError.disabled = !eAllowableErrorCheck.checked;
  1687.             eAllowableErrorCheck.addEventListener("change", event => {
  1688.                 eAllowableError.disabled = !eAllowableErrorCheck.checked;
  1689.             });
  1690.         }
  1691.         // テスト実行
  1692.         function runTest(title, input, output = null) {
  1693.             const options = { trim: true, split: true, };
  1694.             if (eAllowableErrorCheck.checked) {
  1695.                 options.allowableError = parseFloat(eAllowableError.value);
  1696.             }
  1697.             return atCoderEasyTest.runTest(title, eLanguage.value, site.sourceCode, input, output, options);
  1698.         }
  1699.         function runAllCases(testcases) {
  1700.             const pairs = testcases.map(testcase => runTest(testcase.title, testcase.input, testcase.output));
  1701.             resultList.addResult(pairs);
  1702.             return Promise.all(pairs.map(([pResult, _]) => pResult.then(result => {
  1703.                 if (result.status == "AC")
  1704.                     return Promise.resolve(result);
  1705.                 else
  1706.                     return Promise.reject(result);
  1707.             })));
  1708.         }
  1709.         eRun.addEventListener("click", _ => {
  1710.             const title = "Run";
  1711.             const input = eInput.value;
  1712.             const output = eOutput.value;
  1713.             runTest(title, input, output || null);
  1714.         });
  1715.         await doneOrFail(pBottomMenu.then(bottomMenu => bottomMenu.addTab("easy-test", "Easy Test", root)));
  1716.         // place "Run" button on each sample
  1717.         for (const testCase of site.testCases) {
  1718.             const eRunButton = html2element(hRunButton);
  1719.             eRunButton.addEventListener("click", async () => {
  1720.                 const [pResult, pTab] = runTest(testCase.title, testCase.input, testCase.output);
  1721.                 await pResult;
  1722.                 (await pTab).show();
  1723.             });
  1724.             testCase.anchor.insertAdjacentElement("afterend", eRunButton);
  1725.             events.on("disable", () => {
  1726.                 eRunButton.classList.add("disabled");
  1727.             });
  1728.             events.on("enable", () => {
  1729.                 eRunButton.classList.remove("disabled");
  1730.             });
  1731.         }
  1732.         // place "Test & Submit" button
  1733.         {
  1734.             const button = html2element(hTestAndSubmit);
  1735.             site.testButtonContainer.appendChild(button);
  1736.             const testAndSubmit = async () => {
  1737.                 await runAllCases(site.testCases);
  1738.                 site.submit();
  1739.             };
  1740.             button.addEventListener("click", testAndSubmit);
  1741.             events.on("testAndSubmit", testAndSubmit);
  1742.         }
  1743.         // place "Test All Samples" button
  1744.         {
  1745.             const button = html2element(hTestAllSamples);
  1746.             site.testButtonContainer.appendChild(button);
  1747.             const testAllSamples = () => runAllCases(site.testCases);
  1748.             button.addEventListener("click", testAllSamples);
  1749.             events.on("testAllSamples", testAllSamples);
  1750.         }
  1751.     }
  1752.     // place "Restore Last Play" button
  1753.     try {
  1754.         const restoreButton = doc.createElement("a");
  1755.         restoreButton.className = "btn btn-danger btn-sm";
  1756.         restoreButton.textContent = "Restore Last Play";
  1757.         restoreButton.addEventListener("click", async () => {
  1758.             try {
  1759.                 const lastCode = await codeSaver.restore();
  1760.                 if (site.sourceCode.length == 0 || confirm("Your current code will be replaced. Are you sure?")) {
  1761.                     site.sourceCode = lastCode;
  1762.                 }
  1763.             }
  1764.             catch (reason) {
  1765.                 alert(reason);
  1766.             }
  1767.         });
  1768.         site.sideButtonContainer.appendChild(restoreButton);
  1769.     }
  1770.     catch (e) {
  1771.         console.error(e);
  1772.     }
  1773.     // キーボードショートカット
  1774.     settings.registerFlag("useKeyboardShortcut", true, "Use Keyboard Shortcuts");
  1775.     unsafeWindow.addEventListener("keydown", (event) => {
  1776.         if (config.get("useKeyboardShortcut", true)) {
  1777.             if (event.key == "Enter" && event.ctrlKey) {
  1778.                 events.trig("testAndSubmit");
  1779.             }
  1780.             else if (event.key == "Enter" && event.altKey) {
  1781.                 events.trig("testAllSamples");
  1782.             }
  1783.             else if (event.key == "Escape" && event.altKey) {
  1784.                 pBottomMenu.then(bottomMenu => bottomMenu.toggle());
  1785.             }
  1786.         }
  1787.     });
  1788. })();
  1789. })();