Sha256: 2295434177ca4c55d86218b8d924e2d4f73999b4264cf5f7701aede296168ea0

Contents?: true

Size: 1.88 KB

Versions: 2

Compression:

Stored size: 1.88 KB

Contents

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
  <title>RazyK</title>
  <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.3.2/jquery.min.js"></script>
  <script type="text/javascript">
    function update() {
      if ($("#program_mode").is(":checked")) {
        $("#output_buffer").load("/stdout");
      }
      $("#expression").load("/expression");
      $("#graph").attr("src", "/graph");
    }
    function set_program() {
      $.post("/set_program",
             {
               program: $("#program").val(),
               mode: $("#program_mode").is(":checked"),
               stdin: $("#input_buffer").val()
             },
             function() {
               update();
             }, "json");
    }

    function step_reduction() {
      $.get("/step", {},
            function() {
               update();
            });
    }

    function toggle_mode() {
      if ($("#program_mode").is(":checked")) {
        $("#inout_pane").show("fast");
      } else {
        $("#inout_pane").hide("fast");
      }
    }
  </script>
</head>
<body>
  <p><div>enter program</div>
  <textarea id="program" cols="100">skki</textarea>
  </p>
  <p>
  <input type="checkbox" id="program_mode" onchange="toggle_mode();" />
  <span>LazyK application mode</span>
  </p>
  <p>
  <input type="button" value="set program" onclick="set_program();" />
  <input type="button" value="step" onclick="step_reduction();" />
  </p>
  <span id="inout_pane" style="display: none">
    <div>stdin</div>
    <textarea id="input_buffer" cols="100"></textarea>
    <div>stdout</div>
    <div id="output_buffer"></div>
  </span>
  <p>
    <div>combinator expression</div>
    <div id="expression"> </div>
  </p>
  <p>graph expression</p>
  <iframe id="graph" height="1000" width="100%">
    using iframe.
  </iframe>
</body>
</html>

Version data entries

2 entries across 2 versions & 1 rubygems

Version Path
razyk-0.0.1 lib/razyk/webapp/templates/main.html
razyk-0.0.0 lib/razyk/webapp/templates/main.html