Venus RISC-V basic code dumping

Output basic RISC-V code in Venus

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

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

Для установки этого скрипта вам необходимо установить расширение, такое как Tampermonkey.

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

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

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

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

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

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

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

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

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

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

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

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

// ==UserScript==
// @name     Venus RISC-V basic code dumping
// @description Output basic RISC-V code in Venus
// @version  1
// @grant    none
// @match *://venus.cs61c.org/*
// @namespace https://greasyfork.org/users/248188
// ==/UserScript==

(function(){

  
  function exe(){
let stmts = [];

for (let s of document.getElementById("program-listing-body").children){
  stmts.push(s.children[2].innerText);
}

const code = stmts.join("\n");
  document.getElementById("console-output").value = code;
  }

  // create hookinh element
  let elem = document.createElement("div");
  elem.className = "control";
  let button = document.createElement("button");
  button.id = "simulator-tomcode";
  button.className = "button is-info";
  button.innerHTML = "Output Basic"
  button.addEventListener("click", exe);
  elem.appendChild(button);
  document.getElementById("simulator-buttons").appendChild(elem);
  
})()