Mercurial > code > home > repos > homeauto

<!DOCTYPE html>
<html>
  <head>
    <title>reasoning</title>
    <link rel="import" href="https://bigasterisk.com/lib/polymer/0.5.2/core-splitter/core-splitter.html">
    <link rel="import" href="https://bigasterisk.com/supdebug/bang/service-rows/main.html">
    <style type="text/css" media="all">
      /* <![CDATA[ */
body {
    font-family: sans-serif;
    font-size: 12px;

}
pre {
    font-family: sans-serif;
}
pre div {
    border-bottom: 1px solid #ccc;
}
.pred {
    background: #e7e6f8;
}
.obj {
    background: #ccf
}
     .pane {
position: relative;
       display: flex;
flex-direction: column;
       }
     .pane pre {
       overflow: auto;
       flex-grow: 1;
       }
/* ]]> */
    </style>

  </head>
  <body layout vertical fit>

    <div style="flex: 0 0 auto">
      <service-rows nameSubstrs="reasoning"></service-rows>
    </div>

    <div class="pane">
      <h2>Input</h2>
      <pre id="input"/>
    </div>

    <core-splitter direction="up"></core-splitter>

    <div  class="pane">
      <h2>Rules</h2>
      <pre id="rules"/>
    </div>

    <core-splitter direction="up"></core-splitter>

    <div  class="pane">
      <h2>Output</h2>
      <pre id="output"/>
    </div>

    <div>
      <input id="auto" type="checkbox"/> <label for="auto">auto refresh</label>
    </div>

    <script src="//bigasterisk.com/lib/jquery-2.0.3.min.js"></script>
    <script>
     window.NS = {
       room: "http://projects.bigasterisk.com/room/",
       dev: "http://projects.bigasterisk.com/device/",
       dcterms: "http://purl.org/dc/terms/",
       rdfs: "http://www.w3.org/2000/01/rdf-schema#",
       map: "http://bigasterisk.com/map#",
       rdf: "http://www.w3.org/1999/02/22-rdf-syntax-ns#",
     };
    </script>
    <link rel="import" href="/rdf/rdf-uri.html">
    <script type="text/javascript">
     // <![CDATA[
     $(function () {
       function update() {
	 function makeAddStmts(elem) {
	   return function (stmts) {
	     elem.empty();
	     $.each(stmts, function (i, s) {
	       elem.append($("<div>").html(
		 "<span>"+BigastUri.compactUri(s[0])+"</span> "+
                 "<span class=\"pred\">"+BigastUri.compactUri(s[1])+"</span> "+
	         "<span class=\"obj\">"+BigastUri.compactUri(s[2])+"</span>"));
	     })
	   }
	 }

	 $.get("lastInputGraph", makeAddStmts($("#input")));
	 $.get("lastOutputGraph", makeAddStmts($("#output")));
	 $.get("rules", function (txt) {
	   $("#rules").empty().text(txt);
	 });
       }
       function loop() {
	 update();
	 if ($("input#auto").is(":checked")) {
	   setTimeout(loop, 2000);
	 }
       }
       loop();
       $("input#auto").click(loop);
     });
     // ]]>
    </script>
  </body>
</html>
author	drewp@bigasterisk.com
date	Mon, 01 Feb 2016 02:33:33 -0800
parents	47682350e6f2
children	43f2e21e2225