'use strict'; var Demo = {}; /** * ファイルをロードして textarea にそのプログラムを入力する */ Demo.loadCode = function() { // https://kuroeveryday.blogspot.com/2015/07/javascript-upload-download.html const uploadFile = document.getElementById('upload-file'); const file = uploadFile.files[0]; if (!file) { // ファイルが選ばれていなかった場合 uploadFile.click(); // ファイル選択ボタンをクリックしたことにする } else if (file.name.slice(-3) !== '.ml') { alert('.ml ファイルを選択してください。'); } else { const reader = new FileReader(); reader.readAsText(file); reader.onload = (() => { // 以下 onClickConvert と同じ処理 const code = reader.result; if (code) { const textarea = document.getElementById('ocamlCode'); textarea.value = code; } }); } } /** * textarea のプログラムを sessionStorage に入れてステッパへ移動する */ Demo.newStepWindow = function() { sessionStorage.clear(); const textarea = document.getElementById('ocamlCode'); const storagecode = textarea.value; sessionStorage.setItem('key', storagecode); const checkbox = document.getElementById('listCheckbox'); sessionStorage.setItem('list', checkbox.checked); // stepper.html へ移動 window.location.href = 'stepper.html'; }