☰

AtCoder Easy Test v2

Make testing sample cases easy

נכון ליום 26-10-2021. ראה הגרסה האחרונה.

  1. // ==UserScript==
  2. // @name        AtCoder Easy Test v2
  3. // @namespace   https://atcoder.jp/
  4. // @version     2.7.1
  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://greatest.deepsurf.us/*/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
  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. ` + sourceCode.split("\n").map(line => "    " + line).join("\n");
  549.         let status = "OK";
  550.         let exitCode = "0";
  551.         let stdout = "";
  552.         let stderr = "";
  553.         let startTime = -Infinity;
  554.         let endTime = Infinity;
  555.         pyodide.globals.__stdin = input;
  556.         try {
  557.             await pyodide.loadPackagesFromImports(code);
  558.             await pyodide.runPythonAsync(code);
  559.             startTime = Date.now();
  560.             pyodide.runPython("__run()");
  561.             endTime = Date.now();
  562.             stdout += pyodide.globals.__stdout.getvalue();
  563.             stderr += pyodide.globals.__stderr.getvalue();
  564.         }
  565.         catch (error) {
  566.             status = "RE";
  567.             exitCode = "-1";
  568.             stderr += error.toString();
  569.         }
  570.         resolve({
  571.             status,
  572.             exitCode,
  573.             execTime: (endTime - startTime),
  574.             input,
  575.             output: stdout,
  576.             error: stderr,
  577.         });
  578.     });
  579. }));
  580.  
  581. function pairs(list) {
  582.     const pairs = [];
  583.     const len = list.length >> 1;
  584.     for (let i = 0; i < len; i++)
  585.         pairs.push([list[i * 2], list[i * 2 + 1]]);
  586.     return pairs;
  587. }
  588. async function init$4() {
  589.     if (location.host != "atcoder.jp")
  590.         throw "Not AtCoder";
  591.     const doc = unsafeWindow.document;
  592.     const eLanguage = unsafeWindow.$("#select-lang>select");
  593.     const langMap = {
  594.         4001: "C GCC 9.2.1",
  595.         4002: "C Clang 10.0.0",
  596.         4003: "C++ GCC 9.2.1",
  597.         4004: "C++ Clang 10.0.0",
  598.         4005: "Java OpenJDK 11.0.6",
  599.         4006: "Python3 CPython 3.8.2",
  600.         4007: "Bash 5.0.11",
  601.         4008: "bc 1.07.1",
  602.         4009: "Awk GNU Awk 4.1.4",
  603.         4010: "C# .NET Core 3.1.201",
  604.         4011: "C# Mono-mcs 6.8.0.105",
  605.         4012: "C# Mono-csc 3.5.0",
  606.         4013: "Clojure 1.10.1.536",
  607.         4014: "Crystal 0.33.0",
  608.         4015: "D DMD 2.091.0",
  609.         4016: "D GDC 9.2.1",
  610.         4017: "D LDC 1.20.1",
  611.         4018: "Dart 2.7.2",
  612.         4019: "dc 1.4.1",
  613.         4020: "Erlang 22.3",
  614.         4021: "Elixir 1.10.2",
  615.         4022: "F# .NET Core 3.1.201",
  616.         4023: "F# Mono 10.2.3",
  617.         4024: "Forth gforth 0.7.3",
  618.         4025: "Fortran GNU Fortran 9.2.1",
  619.         4026: "Go 1.14.1",
  620.         4027: "Haskell GHC 8.8.3",
  621.         4028: "Haxe 4.0.3",
  622.         4029: "Haxe 4.0.3",
  623.         4030: "JavaScript Node.js 12.16.1",
  624.         4031: "Julia 1.4.0",
  625.         4032: "Kotlin 1.3.71",
  626.         4033: "Lua Lua 5.3.5",
  627.         4034: "Lua LuaJIT 2.1.0",
  628.         4035: "Dash 0.5.8",
  629.         4036: "Nim 1.0.6",
  630.         4037: "Objective-C Clang 10.0.0",
  631.         4038: "Lisp SBCL 2.0.3",
  632.         4039: "OCaml 4.10.0",
  633.         4040: "Octave 5.2.0",
  634.         4041: "Pascal FPC 3.0.4",
  635.         4042: "Perl 5.26.1",
  636.         4043: "Raku Rakudo 2020.02.1",
  637.         4044: "PHP 7.4.4",
  638.         4045: "Prolog SWI-Prolog 8.0.3",
  639.         4046: "Python PyPy2 7.3.0",
  640.         4047: "Python3 PyPy3 7.3.0",
  641.         4048: "Racket 7.6",
  642.         4049: "Ruby 2.7.1",
  643.         4050: "Rust 1.42.0",
  644.         4051: "Scala 2.13.1",
  645.         4052: "Java OpenJDK 1.8.0",
  646.         4053: "Scheme Gauche 0.9.9",
  647.         4054: "ML MLton 20130715",
  648.         4055: "Swift 5.2.1",
  649.         4056: "Text cat 8.28",
  650.         4057: "TypeScript 3.8",
  651.         4058: "Basic .NET Core 3.1.101",
  652.         4059: "Zsh 5.4.2",
  653.         4060: "COBOL Fixed OpenCOBOL 1.1.0",
  654.         4061: "COBOL Free OpenCOBOL 1.1.0",
  655.         4062: "Brainfuck bf 20041219",
  656.         4063: "Ada Ada2012 GNAT 9.2.1",
  657.         4064: "Unlambda 2.0.0",
  658.         4065: "Cython 0.29.16",
  659.         4066: "Sed 4.4",
  660.         4067: "Vim 8.2.0460",
  661.     };
  662.     const languageId = new ObservableValue(eLanguage.val());
  663.     eLanguage.change(() => {
  664.         languageId.value = eLanguage.val();
  665.     });
  666.     const language = languageId.map(lang => langMap[lang]);
  667.     function getTestCases() {
  668.         const selectors = [
  669.             ["#task-statement p+pre.literal-block", ".section"],
  670.             ["#task-statement pre.source-code-for-copy", ".part"],
  671.             ["#task-statement .lang>*:nth-child(1) .div-btn-copy+pre", ".part"],
  672.             ["#task-statement .div-btn-copy+pre", ".part"],
  673.             ["#task-statement>.part pre.linenums", ".part"],
  674.             ["#task-statement>.part:not(.io-style)>h3+section>pre", ".part"],
  675.             ["#task-statement pre", ".part"],
  676.         ];
  677.         for (const [selector, closestSelector] of selectors) {
  678.             let e = [...doc.querySelectorAll(selector)];
  679.             e = e.filter(e => !e.closest(".io-style")); // practice2
  680.             if (e.length == 0)
  681.                 continue;
  682.             return pairs(e).map(([input, output], index) => ({
  683.                 title: `Sample ${index + 1}`,
  684.                 input: input.textContent,
  685.                 output: output.textContent,
  686.                 anchor: (input.closest(closestSelector) || input.parentElement).querySelector(".btn-copy"),
  687.             }));
  688.         }
  689.         { // maximum_cup_2018_d
  690.             let e = [...doc.querySelectorAll("#task-statement .div-btn-copy+pre")];
  691.             e = e.filter(f => !f.childElementCount);
  692.             if (e.length) {
  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(".part") || input.parentElement).querySelector(".btn-copy"),
  698.                 }));
  699.             }
  700.         }
  701.         return [];
  702.     }
  703.     return {
  704.         name: "AtCoder",
  705.         language,
  706.         get sourceCode() {
  707.             return unsafeWindow.getSourceCode();
  708.         },
  709.         set sourceCode(sourceCode) {
  710.             doc.querySelector(".plain-textarea").value = sourceCode;
  711.             unsafeWindow.$(".editor").data("editor").doc.setValue(sourceCode);
  712.         },
  713.         submit() {
  714.             doc.querySelector("#submit").click();
  715.         },
  716.         get testButtonContainer() {
  717.             return doc.querySelector("#submit").parentElement;
  718.         },
  719.         get sideButtonContainer() {
  720.             return doc.querySelector(".editor-buttons");
  721.         },
  722.         get bottomMenuContainer() {
  723.             return doc.getElementById("main-div");
  724.         },
  725.         get resultListContainer() {
  726.             return doc.querySelector(".form-code-submit");
  727.         },
  728.         get testCases() {
  729.             return getTestCases();
  730.         },
  731.         get jQuery() {
  732.             return unsafeWindow["jQuery"];
  733.         },
  734.     };
  735. }
  736.  
  737. async function init$3() {
  738.     if (location.host != "yukicoder.me")
  739.         throw "Not yukicoder";
  740.     const $ = unsafeWindow.$;
  741.     const doc = unsafeWindow.document;
  742.     const editor = unsafeWindow.ace.edit("rich_source");
  743.     const eSourceObject = $("#source");
  744.     const eLang = $("#lang");
  745.     const eSamples = $(".sample");
  746.     const langMap = {
  747.         "cpp14": "C++ C++14 GCC 11.1.0 + Boost 1.77.0",
  748.         "cpp17": "C++ C++17 GCC 11.1.0 + Boost 1.77.0",
  749.         "cpp-clang": "C++ C++17 Clang 10.0.0 + Boost 1.76.0",
  750.         "cpp23": "C++ C++11 GCC 8.4.1",
  751.         "c11": "C++ C++11 GCC 11.1.0",
  752.         "c": "C C90 GCC 8.4.1",
  753.         "java8": "Java Java16 OpenJDK 16.0.1",
  754.         "csharp": "C# CSC 3.9.0",
  755.         "csharp_mono": "C# Mono 6.12.0.147",
  756.         "csharp_dotnet": "C# .NET 5.0",
  757.         "perl": "Perl 5.26.3",
  758.         "raku": "Raku Rakudo v2021-07-2-g74d7ff771",
  759.         "php": "PHP 7.2.24",
  760.         "php7": "PHP 8.0.8",
  761.         "python3": "Python3 3.9.6 + numpy 1.14.5 + scipy 1.1.0",
  762.         "pypy2": "Python PyPy2 7.3.5",
  763.         "pypy3": "Python3 PyPy3 7.3.5",
  764.         "ruby": "Ruby 3.0.2p107",
  765.         "d": "D DMD 2.097.1",
  766.         "go": "Go 1.16.6",
  767.         "haskell": "Haskell 8.10.5",
  768.         "scala": "Scala 2.13.6",
  769.         "nim": "Nim 1.4.8",
  770.         "rust": "Rust 1.53.0",
  771.         "kotlin": "Kotlin 1.5.21",
  772.         "scheme": "Scheme Gauche 0.9.10",
  773.         "crystal": "Crystal 1.1.1",
  774.         "swift": "Swift 5.4.2",
  775.         "ocaml": "OCaml 4.12.0",
  776.         "clojure": "Clojure 1.10.2.790",
  777.         "fsharp": "F# 5.0",
  778.         "elixir": "Elixir 1.7.4",
  779.         "lua": "Lua LuaJIT 2.0.5",
  780.         "fortran": "Fortran gFortran 8.4.1",
  781.         "node": "JavaScript Node.js 15.5.0",
  782.         "typescript": "TypeScript 4.3.5",
  783.         "lisp": "Lisp Common Lisp sbcl 2.1.6",
  784.         "sml": "ML Standard ML MLton 20180207-6",
  785.         "kuin": "Kuin KuinC++ v.2021.7.17",
  786.         "vim": "Vim v8.2",
  787.         "sh": "Bash 4.4.19",
  788.         "nasm": "Assembler nasm 2.13.03",
  789.         "clay": "cLay 20210917-1",
  790.         "bf": "Brainfuck BFI 1.1",
  791.         "Whitespace": "Whitespace 0.3",
  792.         "text": "Text cat 8.3",
  793.     };
  794.     const language = new ObservableValue(langMap[eLang.val()]);
  795.     eLang.on("change", () => {
  796.         language.value = langMap[eLang.val()];
  797.     });
  798.     return {
  799.         name: "yukicoder",
  800.         language,
  801.         get sourceCode() {
  802.             if (eSourceObject.is(":visible"))
  803.                 return eSourceObject.val();
  804.             return editor.getSession().getValue();
  805.         },
  806.         set sourceCode(sourceCode) {
  807.             eSourceObject.val(sourceCode);
  808.             editor.getSession().setValue(sourceCode);
  809.         },
  810.         submit() {
  811.             doc.querySelector(`#submit_form input[type="submit"]`).click();
  812.         },
  813.         get testButtonContainer() {
  814.             return doc.querySelector("#submit_form");
  815.         },
  816.         get sideButtonContainer() {
  817.             return doc.querySelector("#toggle_source_editor").parentElement;
  818.         },
  819.         get bottomMenuContainer() {
  820.             return doc.body;
  821.         },
  822.         get resultListContainer() {
  823.             return doc.querySelector("#content");
  824.         },
  825.         get testCases() {
  826.             const testCases = [];
  827.             let sampleId = 1;
  828.             for (let i = 0; i < eSamples.length; i++) {
  829.                 const eSample = eSamples.eq(i);
  830.                 const [eInput, eOutput] = eSample.find("pre");
  831.                 const anchorContainer = $(`<span>`);
  832.                 const anchor = $(`<span>`);
  833.                 anchorContainer.append(anchor);
  834.                 eSample.find("h6").eq(0).appendTo(anchorContainer);
  835.                 anchorContainer.insertAfter(eSample.find("button").eq(0));
  836.                 testCases.push({
  837.                     title: `Sample ${sampleId++}`,
  838.                     input: eInput.textContent,
  839.                     output: eOutput.textContent,
  840.                     anchor: anchor[0],
  841.                 });
  842.             }
  843.             return testCases;
  844.         },
  845.         get jQuery() {
  846.             return $;
  847.         },
  848.     };
  849. }
  850.  
  851. let data = {};
  852. function toString() {
  853.     return JSON.stringify(data);
  854. }
  855. function save() {
  856.     GM_setValue("config", toString());
  857. }
  858. function load() {
  859.     data = JSON.parse(GM_getValue("config") || "{}");
  860. }
  861. load();
  862. /** プロパティ名は camelCase にすること */
  863. const config = {
  864.     getString(key, defaultValue = "") {
  865.         if (!(key in data))
  866.             config.setString(key, defaultValue);
  867.         return data[key];
  868.     },
  869.     setString(key, value) {
  870.         data[key] = value;
  871.         save();
  872.     },
  873.     has(key) {
  874.         return key in data;
  875.     },
  876.     get(key, defaultValue = null) {
  877.         if (!(key in data))
  878.             config.set(key, defaultValue);
  879.         return JSON.parse(data[key]);
  880.     },
  881.     set(key, value) {
  882.         config.setString(key, JSON.stringify(value));
  883.     },
  884.     save,
  885.     load,
  886.     toString,
  887. };
  888.  
  889. class Editor {
  890.     _element;
  891.     constructor(lang) {
  892.         this._element = document.createElement("textarea");
  893.         this._element.style.fontFamily = "monospace";
  894.         this._element.style.width = "100%";
  895.         this._element.style.minHeight = "5em";
  896.     }
  897.     get element() {
  898.         return this._element;
  899.     }
  900.     get sourceCode() {
  901.         return this._element.value;
  902.     }
  903.     set sourceCode(sourceCode) {
  904.         this._element.value = sourceCode;
  905.     }
  906.     setLanguage(lang) {
  907.     }
  908. }
  909.  
  910. 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>";
  911.  
  912. const options = [];
  913. const settings = {
  914.     /** 設定ページを開く
  915.      * クリックなどのイベント時にしか正しく実行できない
  916.      */
  917.     open() {
  918.         const win = window.open("about:blank");
  919.         const doc = win.document;
  920.         doc.open();
  921.         doc.write(hPage);
  922.         doc.close();
  923.         const root = doc.getElementById("options");
  924.         for (const { type, key, defaultValue, description } of options) {
  925.             switch (type) {
  926.                 case "checkbox": {
  927.                     const container = newElement("div", { className: "checkbox" });
  928.                     root.appendChild(container);
  929.                     const label = newElement("label");
  930.                     container.appendChild(label);
  931.                     const element = newElement("input", {
  932.                         type: "checkbox",
  933.                         checked: config.get(key, defaultValue),
  934.                     });
  935.                     element.addEventListener("change", () => {
  936.                         config.set(key, element.checked);
  937.                     });
  938.                     label.appendChild(element);
  939.                     label.appendChild(document.createTextNode(description));
  940.                     break;
  941.                 }
  942.                 default:
  943.                     throw new TypeError(`AtCoderEasyTest.setting: undefined option type ${type} for ${key}`);
  944.             }
  945.         }
  946.     },
  947.     /** 設定項目を登録 */
  948.     registerFlag(key, defaultValue, description) {
  949.         options.push({
  950.             type: "checkbox",
  951.             key,
  952.             defaultValue,
  953.             description,
  954.         });
  955.     }
  956. };
  957.  
  958. settings.registerFlag("codeforces.showEditor", true, "Show Editor in Codeforces Problem Page");
  959. async function init$2() {
  960.     if (location.host != "codeforces.com")
  961.         throw "not Codeforces";
  962.     //TODO: m1.codeforces.com, m2.codeforces.com, m3.codeforces.com に対応する
  963.     const doc = unsafeWindow.document;
  964.     const eLang = doc.querySelector("select[name='programTypeId']");
  965.     doc.head.appendChild(newElement("link", {
  966.         rel: "stylesheet",
  967.         href: "https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/css/bootstrap.min.css",
  968.     }));
  969.     const eButtons = newElement("span");
  970.     doc.querySelector(".submitForm").appendChild(eButtons);
  971.     await loadScript("https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js");
  972.     const jQuery = unsafeWindow["jQuery"].noConflict();
  973.     unsafeWindow["jQuery"] = unsafeWindow["$"];
  974.     unsafeWindow["jQuery11"] = jQuery;
  975.     await loadScript("https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/js/bootstrap.min.js", null, { jQuery, $: jQuery });
  976.     const langMap = {
  977.         3: "Delphi 7",
  978.         4: "Pascal Free Pascal 3.0.2",
  979.         6: "PHP 7.2.13",
  980.         7: "Python 2.7.18",
  981.         9: "C# Mono 6.8",
  982.         12: "Haskell GHC 8.10.1",
  983.         13: "Perl 5.20.1",
  984.         19: "OCaml 4.02.1",
  985.         20: "Scala 2.12.8",
  986.         28: "D DMD32 v2.091.0",
  987.         31: "Python3 3.8.10",
  988.         32: "Go 1.15.6",
  989.         34: "JavaScript V8 4.8.0",
  990.         36: "Java 1.8.0_241",
  991.         40: "Python PyPy2 2.7 (7.3.0)",
  992.         41: "Python3 PyPy3 3.7 (7.3.0)",
  993.         43: "C C11 GCC 5.1.0",
  994.         48: "Kotlin 1.5.31",
  995.         49: "Rust 1.49.0",
  996.         50: "C++ C++14 G++ 6.4.0",
  997.         51: "Pascal PascalABC.NET 3.4.1",
  998.         52: "C++ C++17 Clang++",
  999.         54: "C++ C++17 G++ 7.3.0",
  1000.         55: "JavaScript Node.js 12.6.3",
  1001.         59: "C++ Microsoft Visual C++ 2017",
  1002.         60: "Java 11.0.6",
  1003.         61: "C++ C++17 9.2.0 (64 bit, msys 2)",
  1004.         65: "C# 8, .NET Core 3.1",
  1005.         67: "Ruby 3.0.0",
  1006.         70: "Python3 PyPy 3.7 (7.3.5, 64bit)",
  1007.         72: "Kotlin 1.5.31",
  1008.         73: "C++ GNU G++ 11.2.0 (64 bit, winlibs)",
  1009.     };
  1010.     const language = new ObservableValue(langMap[eLang.value]);
  1011.     eLang.addEventListener("change", () => {
  1012.         language.value = langMap[eLang.value];
  1013.     });
  1014.     let _sourceCode = "";
  1015.     const eFile = doc.querySelector(".submitForm").elements["sourceFile"];
  1016.     eFile.addEventListener("change", async () => {
  1017.         if (eFile.files[0]) {
  1018.             _sourceCode = await eFile.files[0].text();
  1019.             if (editor)
  1020.                 editor.sourceCode = _sourceCode;
  1021.         }
  1022.     });
  1023.     let editor = null;
  1024.     let waitCfFastSubmitCount = 0;
  1025.     const waitCfFastSubmit = setInterval(() => {
  1026.         if (document.getElementById("editor")) {
  1027.             // cf-fast-submit
  1028.             if (editor && editor.element)
  1029.                 editor.element.style.display = "none";
  1030.             // 言語セレクトを同期させる
  1031.             const eLang2 = doc.querySelector(".submit-form select[name='programTypeId']");
  1032.             if (eLang2) {
  1033.                 eLang.addEventListener("change", () => {
  1034.                     eLang2.value = eLang.value;
  1035.                 });
  1036.                 eLang2.addEventListener("change", () => {
  1037.                     eLang.value = eLang2.value;
  1038.                     language.value = langMap[eLang.value];
  1039.                 });
  1040.             }
  1041.             // TODO: 選択されたファイルをどうかする
  1042.             // エディタを使う
  1043.             const aceEditor = unsafeWindow["ace"].edit("editor");
  1044.             editor = {
  1045.                 get sourceCode() {
  1046.                     return aceEditor.getValue();
  1047.                 },
  1048.                 set sourceCode(sourceCode) {
  1049.                     aceEditor.setValue(sourceCode);
  1050.                 },
  1051.                 setLanguage(lang) { },
  1052.             };
  1053.             // ボタンを追加する
  1054.             const buttonContainer = doc.querySelector(".submit-form .submit").parentElement;
  1055.             buttonContainer.appendChild(newElement("a", {
  1056.                 className: "btn btn-info",
  1057.                 textContent: "Test & Submit",
  1058.                 onclick: () => events.trig("testAndSubmit"),
  1059.             }));
  1060.             buttonContainer.appendChild(newElement("a", {
  1061.                 className: "btn btn-default",
  1062.                 textContent: "Test All Samples",
  1063.                 onclick: () => events.trig("testAllSamples"),
  1064.             }));
  1065.             clearInterval(waitCfFastSubmit);
  1066.         }
  1067.         else {
  1068.             waitCfFastSubmitCount++;
  1069.             if (waitCfFastSubmitCount >= 100)
  1070.                 clearInterval(waitCfFastSubmit);
  1071.         }
  1072.     }, 100);
  1073.     if (config.get("codeforces.showEditor", true)) {
  1074.         editor = new Editor(langMap[eLang.value].split(" ")[0]);
  1075.         doc.getElementById("pageContent").appendChild(editor.element);
  1076.         language.addListener(lang => {
  1077.             editor.setLanguage(lang);
  1078.         });
  1079.     }
  1080.     return {
  1081.         name: "Codeforces",
  1082.         language,
  1083.         get sourceCode() {
  1084.             if (editor)
  1085.                 return editor.sourceCode;
  1086.             return _sourceCode;
  1087.         },
  1088.         set sourceCode(sourceCode) {
  1089.             const container = new DataTransfer();
  1090.             container.items.add(new File([sourceCode], "prog.txt", { type: "text/plain" }));
  1091.             const eFile = doc.querySelector(".submitForm").elements["sourceFile"];
  1092.             eFile.files = container.files;
  1093.             _sourceCode = sourceCode;
  1094.             if (editor)
  1095.                 editor.sourceCode = sourceCode;
  1096.         },
  1097.         submit() {
  1098.             if (editor)
  1099.                 _sourceCode = editor.sourceCode;
  1100.             this.sourceCode = _sourceCode;
  1101.             doc.querySelector(`.submitForm .submit`).click();
  1102.         },
  1103.         get testButtonContainer() {
  1104.             return eButtons;
  1105.         },
  1106.         get sideButtonContainer() {
  1107.             return eButtons;
  1108.         },
  1109.         get bottomMenuContainer() {
  1110.             return doc.body;
  1111.         },
  1112.         get resultListContainer() {
  1113.             return doc.querySelector("#pageContent");
  1114.         },
  1115.         get testCases() {
  1116.             return [...doc.querySelectorAll(".sample-test")].map((e, i) => ({
  1117.                 title: `Sample ${i + 1}`,
  1118.                 input: e.querySelector(".input pre").textContent,
  1119.                 output: e.querySelector(".output pre").textContent,
  1120.                 anchor: e.querySelector(".input .title"),
  1121.             }));
  1122.         },
  1123.         get jQuery() {
  1124.             return jQuery;
  1125.         },
  1126.     };
  1127. }
  1128.  
  1129. async function init$1() {
  1130.     if (location.host != "greatest.deepsurf.us" && !location.href.match(/433152-atcoder-easy-test-v2/))
  1131.         throw "Not about page";
  1132.     const doc = unsafeWindow.document;
  1133.     await loadScript("https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js");
  1134.     const jQuery = unsafeWindow["jQuery"];
  1135.     await loadScript("https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/js/bootstrap.min.js", null, { jQuery, $: jQuery });
  1136.     const e = newElement("div");
  1137.     doc.getElementById("install-area").appendChild(newElement("button", {
  1138.         type: "button",
  1139.         textContent: "Open Settings",
  1140.         onclick: () => settings.open(),
  1141.     }));
  1142.     return {
  1143.         name: "About Page",
  1144.         language: new ObservableValue(""),
  1145.         get sourceCode() { return ""; },
  1146.         set sourceCode(sourceCode) { },
  1147.         submit() { },
  1148.         get testButtonContainer() { return e; },
  1149.         get sideButtonContainer() { return e; },
  1150.         get bottomMenuContainer() { return e; },
  1151.         get resultListContainer() { return e; },
  1152.         get testCases() { return []; },
  1153.         get jQuery() { return jQuery; },
  1154.     };
  1155. }
  1156.  
  1157. // 設定ページが開けなくなるのを避ける
  1158. const inits = [init$1()];
  1159. settings.registerFlag("site.atcoder", true, "Use AtCoder Easy Test in AtCoder");
  1160. if (config.get("site.atcoder", true))
  1161.     inits.push(init$4());
  1162. settings.registerFlag("site.yukicoder", true, "Use AtCoder Easy Test in yukicoder");
  1163. if (config.get("site.yukicoder", true))
  1164.     inits.push(init$3());
  1165. settings.registerFlag("site.codeforces", true, "Use AtCoder Easy Test in Codeforces");
  1166. if (config.get("site.codeforces", true))
  1167.     inits.push(init$2());
  1168. var pSite = Promise.any(inits);
  1169.  
  1170. const runners = {
  1171.     "C GCC 10.1.0 Wandbox": new WandboxRunner("gcc-10.1.0-c", "C (GCC 10.1.0)"),
  1172.     "C C17 Clang 10.0.0 paiza.io": new PaizaIORunner("c", "C (C17 / Clang 10.0.0)"),
  1173.     "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" }),
  1174.     "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" }),
  1175.     "Python3 CPython 3.8.2 paiza.io": new PaizaIORunner("python3", "Python (3.8.2)"),
  1176.     "Python3 Brython": brythonRunner,
  1177.     "Python3 Pyodide": pyodideRunner,
  1178.     "Bash 5.0.17 paiza.io": new PaizaIORunner("bash", "Bash (5.0.17)"),
  1179.     "C# .NET Core 6.0.100-alpha.1.20562.2 Wandbox": new WandboxRunner("csharp", "C# (.NET Core 6.0.100-alpha.1.20562.2)"),
  1180.     "C# Mono-mcs HEAD Wandbox": new WandboxRunner("mono-head", "C# (Mono-mcs HEAD)"),
  1181.     "Clojure 1.10.1-1 paiza.io": new PaizaIORunner("clojure", "Clojure (1.10.1-1)"),
  1182.     "D LDC 1.23.0 paiza.io": new PaizaIORunner("d", "D (LDC 1.23.0)"),
  1183.     "Erlang 10.6.4 paiza.io": new PaizaIORunner("erlang", "Erlang (10.6.4)"),
  1184.     "Elixir 1.10.4 paiza.io": new PaizaIORunner("elixir", "Elixir (1.10.4)"),
  1185.     "F# Interactive 4.0 paiza.io": new PaizaIORunner("fsharp", "F# (Interactive 4.0)"),
  1186.     "Go 1.14.1 Wandbox": new WandboxRunner("go-1.14.1", "Go (1.14.1)"),
  1187.     "Haskell GHC HEAD Wandbox": new WandboxRunner("ghc-head", "Haskell (GHC HEAD)"),
  1188.     "JavaScript Node.js paiza.io": new PaizaIORunner("javascript", "JavaScript (Node.js 12.18.3)"),
  1189.     "Kotlin 1.4.0 paiza.io": new PaizaIORunner("kotlin", "Kotlin (1.4.0)"),
  1190.     "Lua 5.3.4 Wandbox": new WandboxRunner("lua-5.3.4", "Lua (Lua 5.3.4)"),
  1191.     "Lua LuaJIT HEAD Wandbox": new WandboxRunner("luajit-head", "Lua (LuaJIT HEAD)"),
  1192.     "Nim 1.0.6 Wandbox": new WandboxRunner("nim-1.0.6", "Nim (1.0.6)"),
  1193.     "Objective-C Clang 10.0.0 paiza.io": new PaizaIORunner("objective-c", "Objective-C (Clang 10.0.0)"),
  1194.     "Ocaml HEAD Wandbox": new WandboxRunner("ocaml-head", "OCaml (HEAD)"),
  1195.     "Pascal FPC 3.0.2 Wandbox": new WandboxRunner("fpc-3.0.2", "Pascal (FPC 3.0.2)"),
  1196.     "Perl 5.30.0 paiza.io": new PaizaIORunner("perl", "Perl (5.30.0)"),
  1197.     "PHP 7.4.10 paiza.io": new PaizaIORunner("php", "PHP (7.4.10)"),
  1198.     "PHP 7.3.3 Wandbox": new WandboxRunner("php-7.3.3", "PHP (7.3.3)"),
  1199.     "Python PyPy HEAD Wandbox": new WandboxRunner("pypy-head", "PyPy2 (HEAD)"),
  1200.     "Python3 PyPy3 7.2.0 Wandbox": new WandboxRunner("pypy-7.2.0-3", "PyPy3 (7.2.0)"),
  1201.     "Ruby 2.7.1 paiza.io": new PaizaIORunner("ruby", "Ruby (2.7.1)"),
  1202.     "Ruby HEAD Wandbox": new WandboxRunner("ruby-head", "Ruby (HEAD)"),
  1203.     "Ruby 2.7.1 Wandbox": new WandboxRunner("ruby-2.7.1", "Ruby (2.7.1)"),
  1204.     "Rust 1.42.0 AtCoder": new AtCoderRunner("4050", "Rust (1.42.0)"),
  1205.     "Rust HEAD Wandbox": new WandboxRunner("rust-head", "Rust (HEAD)"),
  1206.     "Rust 1.43.0 paiza.io": new PaizaIORunner("rust", "Rust (1.43.0)"),
  1207.     "Scala 2.13.3 paiza": new PaizaIORunner("scala", "Scala (2.13.3)"),
  1208.     "Scheme Gauche 0.9.6 paiza.io": new PaizaIORunner("scheme", "Scheme (Gauche 0.9.6)"),
  1209.     "Swift 5.2.5 paiza.io": new PaizaIORunner("swift", "Swift (5.2.5)"),
  1210.     "Text local": new CustomRunner("Text", async (sourceCode, input) => {
  1211.         return {
  1212.             status: "OK",
  1213.             exitCode: "0",
  1214.             input,
  1215.             output: sourceCode,
  1216.         };
  1217.     }),
  1218.     "Basic Visual Basic .NET Core 4.0.1 paiza.io": new PaizaIORunner("vb", "Visual Basic (.NET Core 4.0.1)"),
  1219.     "COBOL Free OpenCOBOL 2.2.0 paiza.io": new PaizaIORunner("cobol", "COBOL - Free (OpenCOBOL 2.2.0)"),
  1220.     "COBOL Fixed OpenCOBOL 1.1.0 AtCoder": new AtCoderRunner("4060", "COBOL - Fixed (OpenCOBOL 1.1.0)"),
  1221.     "COBOL Free OpenCOBOL 1.1.0 AtCoder": new AtCoderRunner("4061", "COBOL - Free (OpenCOBOL 1.1.0)"),
  1222.     "C++ GCC 9.2.0 + ACL Wandbox": new WandboxCppRunner("gcc-9.2.0", "C++ (GCC 9.2.0) + ACL"),
  1223. };
  1224. pSite.then(site => {
  1225.     if (site.name == "AtCoder") {
  1226.         // AtCoderRunner がない場合は、追加する
  1227.         for (const e of document.querySelectorAll("#select-lang option[value]")) {
  1228.             const m = e.textContent.match(/([^ ]+) \(([^)]+)\)/);
  1229.             if (m) {
  1230.                 const name = `${m[1]} ${m[2]} AtCoder`;
  1231.                 const languageId = e.value;
  1232.                 runners[name] = new AtCoderRunner(languageId, e.textContent);
  1233.             }
  1234.         }
  1235.     }
  1236. });
  1237. console.info("AtCoder Easy Test: codeRunner OK");
  1238. var codeRunner = {
  1239.     // 指定した環境でコードを実行する
  1240.     run(languageId, sourceCode, input, expectedOutput, options = { trim: true, split: true }) {
  1241.         // CodeRunner が存在しない言語ID
  1242.         if (!(languageId in runners))
  1243.             return Promise.reject("Language not supported");
  1244.         // 最後に実行したコードを保存
  1245.         if (sourceCode.length > 0)
  1246.             codeSaver.save(sourceCode);
  1247.         // 実行
  1248.         return runners[languageId].test(sourceCode, input, expectedOutput, options);
  1249.     },
  1250.     // 環境の名前の一覧を取得する
  1251.     async getEnvironment(languageId) {
  1252.         const langs = similarLangs(languageId, Object.keys(runners));
  1253.         if (langs.length == 0)
  1254.             throw `Undefined language: ${languageId}`;
  1255.         return langs.map(lang => [lang, runners[lang].label]);
  1256.     },
  1257. };
  1258.  
  1259. 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>";
  1260.  
  1261. 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>";
  1262.  
  1263. async function init() {
  1264.     const site = await pSite;
  1265.     const style = html2element(hStyle$1);
  1266.     const bottomMenu = html2element(hBottomMenu);
  1267.     unsafeWindow.document.head.appendChild(style);
  1268.     site.bottomMenuContainer.appendChild(bottomMenu);
  1269.     const bottomMenuKey = bottomMenu.querySelector("#bottom-menu-key");
  1270.     const bottomMenuTabs = bottomMenu.querySelector("#bottom-menu-tabs");
  1271.     const bottomMenuContents = bottomMenu.querySelector("#bottom-menu-contents");
  1272.     // メニューのリサイズ
  1273.     {
  1274.         let resizeStart = null;
  1275.         const onStart = (event) => {
  1276.             const target = event.target;
  1277.             const pageY = event.pageY;
  1278.             if (target.id != "bottom-menu-tabs")
  1279.                 return;
  1280.             resizeStart = { y: pageY, height: bottomMenuContents.getBoundingClientRect().height };
  1281.         };
  1282.         const onMove = (event) => {
  1283.             if (!resizeStart)
  1284.                 return;
  1285.             event.preventDefault();
  1286.             bottomMenuContents.style.height = `${resizeStart.height - (event.pageY - resizeStart.y)}px`;
  1287.         };
  1288.         const onEnd = () => {
  1289.             resizeStart = null;
  1290.         };
  1291.         bottomMenuTabs.addEventListener("mousedown", onStart);
  1292.         bottomMenuTabs.addEventListener("mousemove", onMove);
  1293.         bottomMenuTabs.addEventListener("mouseup", onEnd);
  1294.         bottomMenuTabs.addEventListener("mouseleave", onEnd);
  1295.     }
  1296.     let tabs = new Set();
  1297.     let selectedTab = null;
  1298.     /** 下メニューの操作 */
  1299.     const menuController = {
  1300.         /** タブを選択 */
  1301.         selectTab(tabId) {
  1302.             const tab = site.jQuery(`#bottom-menu-tab-${tabId}`);
  1303.             if (tab && tab[0]) {
  1304.                 tab.tab("show"); // Bootstrap 3
  1305.                 selectedTab = tabId;
  1306.             }
  1307.         },
  1308.         /** 下メニューにタブを追加する */
  1309.         addTab(tabId, tabLabel, paneContent, options = {}) {
  1310.             console.log(`AtCoder Easy Test: addTab: ${tabLabel} (${tabId})`, paneContent);
  1311.             // タブを追加
  1312.             const tab = document.createElement("a");
  1313.             tab.textContent = tabLabel;
  1314.             tab.id = `bottom-menu-tab-${tabId}`;
  1315.             tab.href = "#";
  1316.             tab.dataset.target = `#bottom-menu-pane-${tabId}`;
  1317.             tab.dataset.toggle = "tab";
  1318.             tab.addEventListener("click", event => {
  1319.                 event.preventDefault();
  1320.                 menuController.selectTab(tabId);
  1321.             });
  1322.             const tabLi = document.createElement("li");
  1323.             tabLi.appendChild(tab);
  1324.             bottomMenuTabs.appendChild(tabLi);
  1325.             // 内容を追加
  1326.             const pane = document.createElement("div");
  1327.             pane.className = "tab-pane";
  1328.             pane.id = `bottom-menu-pane-${tabId}`;
  1329.             pane.appendChild(paneContent);
  1330.             bottomMenuContents.appendChild(pane);
  1331.             const controller = {
  1332.                 get id() {
  1333.                     return tabId;
  1334.                 },
  1335.                 close() {
  1336.                     bottomMenuTabs.removeChild(tabLi);
  1337.                     bottomMenuContents.removeChild(pane);
  1338.                     tabs.delete(tab);
  1339.                     if (selectedTab == tabId) {
  1340.                         selectedTab = null;
  1341.                         if (tabs.size > 0) {
  1342.                             menuController.selectTab(tabs.values().next().value.id);
  1343.                         }
  1344.                     }
  1345.                 },
  1346.                 show() {
  1347.                     menuController.show();
  1348.                     menuController.selectTab(tabId);
  1349.                 },
  1350.                 set color(color) {
  1351.                     tab.style.backgroundColor = color;
  1352.                 },
  1353.             };
  1354.             // 閉じるボタン
  1355.             if (options.closeButton) {
  1356.                 const btn = document.createElement("a");
  1357.                 btn.className = "bottom-menu-btn-close btn btn-link glyphicon glyphicon-remove";
  1358.                 btn.addEventListener("click", () => {
  1359.                     controller.close();
  1360.                 });
  1361.                 tab.appendChild(btn);
  1362.             }
  1363.             // 選択されているタブがなければ選択
  1364.             if (!selectedTab)
  1365.                 menuController.selectTab(tabId);
  1366.             return controller;
  1367.         },
  1368.         /** 下メニューを表示する */
  1369.         show() {
  1370.             if (bottomMenuKey.classList.contains("collapsed"))
  1371.                 bottomMenuKey.click();
  1372.         },
  1373.         /** 下メニューの表示/非表示を切り替える */
  1374.         toggle() {
  1375.             bottomMenuKey.click();
  1376.         },
  1377.     };
  1378.     console.info("AtCoder Easy Test: bottomMenu OK");
  1379.     return menuController;
  1380. }
  1381.  
  1382. 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>";
  1383.  
  1384. class ResultRow {
  1385.     _tabs;
  1386.     _element;
  1387.     _promise;
  1388.     constructor(pairs) {
  1389.         this._tabs = pairs.map(([_, tab]) => tab);
  1390.         this._element = html2element(hRowTemplate);
  1391.         const numCases = pairs.length;
  1392.         let numFinished = 0;
  1393.         let numAccepted = 0;
  1394.         const progressBar = this._element.querySelector(".progress-bar");
  1395.         progressBar.textContent = `${numFinished} / ${numCases}`;
  1396.         this._promise = Promise.all(pairs.map(([pResult, tab]) => {
  1397.             const button = html2element(`<div class="label label-default" style="margin: 3px; cursor: pointer;">WJ</div>`);
  1398.             button.addEventListener("click", async () => {
  1399.                 (await tab).show();
  1400.             });
  1401.             this._element.appendChild(button);
  1402.             return pResult.then(result => {
  1403.                 button.textContent = result.status;
  1404.                 if (result.status == "AC") {
  1405.                     button.classList.add("label-success");
  1406.                 }
  1407.                 else if (result.status != "OK") {
  1408.                     button.classList.add("label-warning");
  1409.                 }
  1410.                 numFinished++;
  1411.                 if (result.status == "AC")
  1412.                     numAccepted++;
  1413.                 progressBar.textContent = `${numFinished} / ${numCases}`;
  1414.                 progressBar.style.width = `${100 * numFinished / numCases}%`;
  1415.                 if (numFinished == numCases) {
  1416.                     if (numAccepted == numCases)
  1417.                         this._element.classList.add("alert-success");
  1418.                     else
  1419.                         this._element.classList.add("alert-warning");
  1420.                 }
  1421.             }).catch(reason => {
  1422.                 button.textContent = "IE";
  1423.                 button.classList.add("label-danger");
  1424.                 console.error(reason);
  1425.             });
  1426.         }));
  1427.     }
  1428.     get element() {
  1429.         return this._element;
  1430.     }
  1431.     onFinish(listener) {
  1432.         this._promise.then(listener);
  1433.     }
  1434.     remove() {
  1435.         for (const pTab of this._tabs)
  1436.             pTab.then(tab => tab.close());
  1437.         const parent = this._element.parentElement;
  1438.         if (parent)
  1439.             parent.removeChild(this._element);
  1440.     }
  1441. }
  1442.  
  1443. var hResultList = "<div class=\"row\"></div>";
  1444.  
  1445. const eResultList = html2element(hResultList);
  1446. pSite.then(site => site.resultListContainer.appendChild(eResultList));
  1447. const resultList = {
  1448.     addResult(pairs) {
  1449.         const result = new ResultRow(pairs);
  1450.         eResultList.insertBefore(result.element, eResultList.firstChild);
  1451.         return result;
  1452.     },
  1453. };
  1454.  
  1455. 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>";
  1456.  
  1457. function setClassFromData(element, name) {
  1458.     const classes = element.dataset[name].split(/\s+/);
  1459.     for (let className of classes) {
  1460.         let flag = true;
  1461.         if (className[0] == "!") {
  1462.             className = className.slice(1);
  1463.             flag = false;
  1464.         }
  1465.         element.classList.toggle(className, flag);
  1466.     }
  1467. }
  1468. class ResultTabContent {
  1469.     _title;
  1470.     _uid;
  1471.     _element;
  1472.     _result;
  1473.     constructor() {
  1474.         this._uid = Date.now().toString(16);
  1475.         this._result = null;
  1476.         this._element = html2element(hTabTemplate);
  1477.         this._element.id = `atcoder-easy-test-result-${this._uid}`;
  1478.     }
  1479.     set result(result) {
  1480.         this._result = result;
  1481.         if (result.status == "AC") {
  1482.             this.outputStyle.backgroundColor = "#dff0d8";
  1483.         }
  1484.         else if (result.status != "OK") {
  1485.             this.outputStyle.backgroundColor = "#fcf8e3";
  1486.         }
  1487.         this.input = result.input;
  1488.         if ("expectedOutput" in result)
  1489.             this.expectedOutput = result.expectedOutput;
  1490.         this.exitCode = result.exitCode;
  1491.         if ("execTime" in result)
  1492.             this.execTime = `${result.execTime} ms`;
  1493.         if ("memory" in result)
  1494.             this.memory = `${result.memory} KB`;
  1495.         if ("output" in result)
  1496.             this.output = result.output;
  1497.         if (result.error)
  1498.             this.error = result.error;
  1499.     }
  1500.     get result() {
  1501.         return this._result;
  1502.     }
  1503.     get uid() {
  1504.         return this._uid;
  1505.     }
  1506.     get element() {
  1507.         return this._element;
  1508.     }
  1509.     set title(title) {
  1510.         this._title = title;
  1511.     }
  1512.     get title() {
  1513.         return this._title;
  1514.     }
  1515.     set input(input) {
  1516.         this._get("input").value = input;
  1517.     }
  1518.     get inputStyle() {
  1519.         return this._get("input").style;
  1520.     }
  1521.     set expectedOutput(output) {
  1522.         this._get("expected-output").value = output;
  1523.         setClassFromData(this._get("col-input"), "ifExpectedOutput");
  1524.         setClassFromData(this._get("col-expected-output"), "ifExpectedOutput");
  1525.     }
  1526.     get expectedOutputStyle() {
  1527.         return this._get("expected-output").style;
  1528.     }
  1529.     set output(output) {
  1530.         this._get("output").value = output;
  1531.     }
  1532.     get outputStyle() {
  1533.         return this._get("output").style;
  1534.     }
  1535.     set error(error) {
  1536.         this._get("error").value = error;
  1537.         setClassFromData(this._get("col-output"), "ifError");
  1538.         setClassFromData(this._get("col-error"), "ifError");
  1539.     }
  1540.     set exitCode(code) {
  1541.         const element = this._get("exit-code");
  1542.         element.textContent = code;
  1543.         const isSuccess = code == "0";
  1544.         element.classList.toggle("bg-success", isSuccess);
  1545.         element.classList.toggle("bg-danger", !isSuccess);
  1546.     }
  1547.     set execTime(time) {
  1548.         this._get("exec-time").textContent = time;
  1549.     }
  1550.     set memory(memory) {
  1551.         this._get("memory").textContent = memory;
  1552.     }
  1553.     _get(name) {
  1554.         return this._element.querySelector(`.atcoder-easy-test-result-${name}`);
  1555.     }
  1556. }
  1557.  
  1558. 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>";
  1559.  
  1560. var hStyle = "<style>\n.atcoder-easy-test-result textarea {\n  font-family: monospace;\n  font-weight: normal;\n}\n</style>";
  1561.  
  1562. var hRunButton = "<a class=\"btn btn-primary btn-sm\" style=\"vertical-align: top; margin-left: 0.5em\">Run</a>";
  1563.  
  1564. 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>";
  1565.  
  1566. 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>";
  1567.  
  1568. (async () => {
  1569.     const site = await pSite;
  1570.     const doc = unsafeWindow.document;
  1571.     // init bottomMenu
  1572.     const pBottomMenu = init();
  1573.     pBottomMenu.then(bottomMenu => {
  1574.         unsafeWindow.bottomMenu = bottomMenu;
  1575.     });
  1576.     await doneOrFail(pBottomMenu);
  1577.     // external interfaces
  1578.     unsafeWindow.codeRunner = codeRunner;
  1579.     doc.head.appendChild(html2element(hStyle));
  1580.     // interface
  1581.     const atCoderEasyTest = {
  1582.         config,
  1583.         codeSaver,
  1584.         enableButtons() {
  1585.             events.trig("enable");
  1586.         },
  1587.         disableButtons() {
  1588.             events.trig("disable");
  1589.         },
  1590.         runCount: 0,
  1591.         runTest(title, language, sourceCode, input, output = null, options = { trim: true, split: true, }) {
  1592.             this.disableButtons();
  1593.             const content = new ResultTabContent();
  1594.             const pTab = pBottomMenu.then(bottomMenu => bottomMenu.addTab("easy-test-result-" + content.uid, `#${++this.runCount} ${title}`, content.element, { active: true, closeButton: true }));
  1595.             const pResult = codeRunner.run(language, sourceCode, input, output, options);
  1596.             pResult.then(result => {
  1597.                 content.result = result;
  1598.                 if (result.status == "AC") {
  1599.                     pTab.then(tab => tab.color = "#dff0d8");
  1600.                 }
  1601.                 else if (result.status != "OK") {
  1602.                     pTab.then(tab => tab.color = "#fcf8e3");
  1603.                 }
  1604.             }).finally(() => {
  1605.                 this.enableButtons();
  1606.             });
  1607.             return [pResult, pTab];
  1608.         }
  1609.     };
  1610.     unsafeWindow.atCoderEasyTest = atCoderEasyTest;
  1611.     // place "Easy Test" tab
  1612.     {
  1613.         // declare const hRoot: string;
  1614.         const root = html2element(hRoot);
  1615.         const E = (id) => root.querySelector(`#atcoder-easy-test-${id}`);
  1616.         const eLanguage = E("language");
  1617.         const eInput = E("input");
  1618.         const eAllowableErrorCheck = E("allowable-error-check");
  1619.         const eAllowableError = E("allowable-error");
  1620.         const eOutput = E("output");
  1621.         const eRun = E("run");
  1622.         const eSetting = E("setting");
  1623.         E("version").textContent = "2.7.1";
  1624.         events.on("enable", () => {
  1625.             eRun.classList.remove("disabled");
  1626.         });
  1627.         events.on("disable", () => {
  1628.             eRun.classList.remove("enabled");
  1629.         });
  1630.         eSetting.addEventListener("click", () => {
  1631.             settings.open();
  1632.         });
  1633.         // 言語選択関係
  1634.         {
  1635.             eLanguage.addEventListener("change", async () => {
  1636.                 const langSelection = config.get("langSelection", {});
  1637.                 langSelection[site.language.value] = eLanguage.value;
  1638.                 config.set("langSelection", langSelection);
  1639.             });
  1640.             async function setLanguage() {
  1641.                 const languageId = site.language.value;
  1642.                 while (eLanguage.firstChild)
  1643.                     eLanguage.removeChild(eLanguage.firstChild);
  1644.                 try {
  1645.                     const langs = await codeRunner.getEnvironment(languageId);
  1646.                     console.log(`language: ${langs[1]} (${langs[0]})`);
  1647.                     // add <option>
  1648.                     for (const [languageId, label] of langs) {
  1649.                         const option = document.createElement("option");
  1650.                         option.value = languageId;
  1651.                         option.textContent = label;
  1652.                         eLanguage.appendChild(option);
  1653.                     }
  1654.                     // load
  1655.                     const langSelection = config.get("langSelection", {});
  1656.                     if (languageId in langSelection) {
  1657.                         const prev = langSelection[languageId];
  1658.                         const [lang, _] = langs.find(([lang, label]) => lang == prev);
  1659.                         if (lang)
  1660.                             eLanguage.value = lang;
  1661.                     }
  1662.                     events.trig("enable");
  1663.                 }
  1664.                 catch (error) {
  1665.                     console.log(`language: ? (${languageId})`);
  1666.                     console.error(error);
  1667.                     const option = document.createElement("option");
  1668.                     option.className = "fg-danger";
  1669.                     option.textContent = error;
  1670.                     eLanguage.appendChild(option);
  1671.                     events.trig("disable");
  1672.                 }
  1673.             }
  1674.             site.language.addListener(() => setLanguage());
  1675.             eAllowableError.disabled = !eAllowableErrorCheck.checked;
  1676.             eAllowableErrorCheck.addEventListener("change", event => {
  1677.                 eAllowableError.disabled = !eAllowableErrorCheck.checked;
  1678.             });
  1679.         }
  1680.         // テスト実行
  1681.         function runTest(title, input, output = null) {
  1682.             const options = { trim: true, split: true, };
  1683.             if (eAllowableErrorCheck.checked) {
  1684.                 options.allowableError = parseFloat(eAllowableError.value);
  1685.             }
  1686.             return atCoderEasyTest.runTest(title, eLanguage.value, site.sourceCode, input, output, options);
  1687.         }
  1688.         function runAllCases(testcases) {
  1689.             const pairs = testcases.map(testcase => runTest(testcase.title, testcase.input, testcase.output));
  1690.             resultList.addResult(pairs);
  1691.             return Promise.all(pairs.map(([pResult, _]) => pResult.then(result => {
  1692.                 if (result.status == "AC")
  1693.                     return Promise.resolve(result);
  1694.                 else
  1695.                     return Promise.reject(result);
  1696.             })));
  1697.         }
  1698.         eRun.addEventListener("click", _ => {
  1699.             const title = "Run";
  1700.             const input = eInput.value;
  1701.             const output = eOutput.value;
  1702.             runTest(title, input, output || null);
  1703.         });
  1704.         await doneOrFail(pBottomMenu.then(bottomMenu => bottomMenu.addTab("easy-test", "Easy Test", root)));
  1705.         // place "Run" button on each sample
  1706.         for (const testCase of site.testCases) {
  1707.             const eRunButton = html2element(hRunButton);
  1708.             eRunButton.addEventListener("click", async () => {
  1709.                 const [pResult, pTab] = runTest(testCase.title, testCase.input, testCase.output);
  1710.                 await pResult;
  1711.                 (await pTab).show();
  1712.             });
  1713.             testCase.anchor.insertAdjacentElement("afterend", eRunButton);
  1714.             events.on("disable", () => {
  1715.                 eRunButton.classList.add("disabled");
  1716.             });
  1717.             events.on("enable", () => {
  1718.                 eRunButton.classList.remove("disabled");
  1719.             });
  1720.         }
  1721.         // place "Test & Submit" button
  1722.         {
  1723.             const button = html2element(hTestAndSubmit);
  1724.             site.testButtonContainer.appendChild(button);
  1725.             const testAndSubmit = async () => {
  1726.                 await runAllCases(site.testCases);
  1727.                 site.submit();
  1728.             };
  1729.             button.addEventListener("click", testAndSubmit);
  1730.             events.on("testAndSubmit", testAndSubmit);
  1731.         }
  1732.         // place "Test All Samples" button
  1733.         {
  1734.             const button = html2element(hTestAllSamples);
  1735.             site.testButtonContainer.appendChild(button);
  1736.             const testAllSamples = () => runAllCases(site.testCases);
  1737.             button.addEventListener("click", testAllSamples);
  1738.             events.on("testAllSamples", testAllSamples);
  1739.         }
  1740.     }
  1741.     // place "Restore Last Play" button
  1742.     try {
  1743.         const restoreButton = doc.createElement("a");
  1744.         restoreButton.className = "btn btn-danger btn-sm";
  1745.         restoreButton.textContent = "Restore Last Play";
  1746.         restoreButton.addEventListener("click", async () => {
  1747.             try {
  1748.                 const lastCode = await codeSaver.restore();
  1749.                 if (site.sourceCode.length == 0 || confirm("Your current code will be replaced. Are you sure?")) {
  1750.                     site.sourceCode = lastCode;
  1751.                 }
  1752.             }
  1753.             catch (reason) {
  1754.                 alert(reason);
  1755.             }
  1756.         });
  1757.         site.sideButtonContainer.appendChild(restoreButton);
  1758.     }
  1759.     catch (e) {
  1760.         console.error(e);
  1761.     }
  1762.     // キーボードショートカット
  1763.     settings.registerFlag("useKeyboardShortcut", true, "Use Keyboard Shortcuts");
  1764.     unsafeWindow.addEventListener("keydown", (event) => {
  1765.         if (config.get("useKeyboardShortcut", true)) {
  1766.             if (event.key == "Enter" && event.ctrlKey) {
  1767.                 events.trig("testAndSubmit");
  1768.             }
  1769.             else if (event.key == "Enter" && event.altKey) {
  1770.                 events.trig("testAllSamples");
  1771.             }
  1772.             else if (event.key == "Escape" && event.altKey) {
  1773.                 pBottomMenu.then(bottomMenu => bottomMenu.toggle());
  1774.             }
  1775.         }
  1776.     });
  1777. })();
  1778. })();