atcoder-refactor

Rewrites variable names in AtCoder problem statements.

Устаревшая версия за 15.06.2020. Перейдите к последней версии.

Чтобы установить этот скрипт, вы сначала должны установить расширение браузера, например Tampermonkey, Greasemonkey или Violentmonkey.

Чтобы установить этот скрипт, вы сначала должны установить расширение браузера, например Tampermonkey или Violentmonkey.

Чтобы установить этот скрипт, вы сначала должны установить расширение браузера, например Tampermonkey или Violentmonkey.

Чтобы установить этот скрипт, вы сначала должны установить расширение браузера, например Tampermonkey или Userscripts.

Чтобы установить этот скрипт, сначала вы должны установить расширение браузера, например Tampermonkey.

Чтобы установить этот скрипт, вы должны установить расширение — менеджер скриптов.

(у меня уже есть менеджер скриптов, дайте мне установить скрипт!)

Чтобы установить этот стиль, сначала вы должны установить расширение браузера, например Stylus.

Чтобы установить этот стиль, сначала вы должны установить расширение браузера, например Stylus.

Чтобы установить этот стиль, сначала вы должны установить расширение браузера, например Stylus.

Чтобы установить этот стиль, сначала вы должны установить расширение — менеджер стилей.

Чтобы установить этот стиль, сначала вы должны установить расширение — менеджер стилей.

Чтобы установить этот стиль, сначала вы должны установить расширение — менеджер стилей.

(у меня уже есть менеджер стилей, дайте мне установить скрипт!)

// ==UserScript==
// @name         atcoder-refactor
// @namespace    https://github.com/yoshrc
// @version      0.1
// @description  Rewrites variable names in AtCoder problem statements.
// @author       yoshrc
// @match        https://atcoder.jp/contests/*/tasks/*
// @grant        none
// ==/UserScript==

// TODO
// - Inline edit like IDE's multiselection instead of popup
// - Save variable name mapping in localStorage

(function() {
    'use strict';

    const ID_ATTR = 'data-atcoder-refactor-id';

    const isAlpha = str => str.match(/^[A-Za-z]+$/);

    const rewriteVariables = id => {
        // TODO: Use current variable name instead of id
        const newName = prompt('Variable Name', id);
        document.querySelectorAll(`[${ID_ATTR}=${id}]`).forEach(varElem => {
            varElem.textContent = newName;
        })
    }

    // TODO: Use MathJax hook instead of wait 1000ms
    setTimeout(() => {
        document.querySelectorAll('.mjx-char').forEach(varElem => {
            const varId = varElem.textContent;
            if (!isAlpha(varId)) {
                return;
            }

            varElem.setAttribute(ID_ATTR, varId);
            varElem.onclick = () => rewriteVariables(varId);
        });
    }, 1000);
})();