AtCoder Easy Test v2

Make testing sample cases easy

2021-10-30 يوللانغان نەشرى. ئەڭ يېڭى نەشرىنى كۆرۈش.

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