Mercurial > code > home > repos > homeauto

annotate service/reasoning/index.html @ 985:7e99f05c21cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reasoning index page to html Ignore-this: 8e97a456bdf4e035ecdfe426a38e2741 darcs-hash:20150514083219-312f9-704acb2a99e762da68bffe3ef0bc0d6e81c38259
author drewp <drewp@bigasterisk.com>
date Thu, 14 May 2015 01:32:19 -0700
parents 38a4769595e2
children 273709eaaefd
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
1 <!DOCTYPE html>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
2 <html>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
3 <head>
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
4 <title>reasoning</title>
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
5 <link rel="import" href="https://bigasterisk.com/lib/polymer/0.5.2/core-splitter/core-splitter.html">
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
6 <link rel="import" href="https://bigasterisk.com/supdebug/bang/service-rows/main.html">
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
7 <style type="text/css" media="all">
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
8 /* <![CDATA[ */
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
9 body {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
10 font-family: sans-serif;
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
11 font-size: 12px;
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
12
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
13 }
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
14 pre {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
15 font-family: sans-serif;
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
16 }
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
17 pre div {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
18 border-bottom: 1px solid #ccc;
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
19 }
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
20 .pred {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
21 background: #e7e6f8;
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
22 }
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
23 .obj {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
24 background: #ccf
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
25 }
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
26 .pane {
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
27 position: relative;
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
28 display: flex;
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
29 flex-direction: column;
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
30 }
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
31 .pane pre {
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
32 overflow: auto;
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
33 flex-grow: 1;
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
34 }
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
35 /* ]]> */
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
36 </style>
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
37
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
38 </head>
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
39 <body layout vertical fit>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
40
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
41 <div style="flex: 0 0 auto">
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
42 <service-rows nameSubstrs="reasoning map"></service-rows>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
43 </div>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
44
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
45 <div class="pane">
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
46 <h2>Input</h2>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
47 <pre id="input"/>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
48 </div>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
49
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
50 <core-splitter direction="up"></core-splitter>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
51
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
52 <div class="pane">
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
53 <h2>Rules</h2>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
54 <pre id="rules"/>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
55 </div>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
56
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
57 <core-splitter direction="up"></core-splitter>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
58
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
59 <div class="pane">
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
60 <h2>Output</h2>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
61 <pre id="output"/>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
62 </div>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
63
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
64 <div>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
65 <input id="auto" type="checkbox"/> <label for="auto">auto refresh</label>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
66 </div>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
67
937
38a4769595e2 serve 3rdparty js from bigasterisk.com/lib
drewp <drewp@bigasterisk.com>
parents: 852
diff changeset
68 <script src="//bigasterisk.com/lib/jquery-2.0.3.min.js"></script>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
69 <script type="text/javascript">
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
70 // <![CDATA[
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
71 $(function () {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
72 function abbrev(term) { // does rdfquery do this?
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
73 var repl = [
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
74 ["http://projects.bigasterisk.com/room/", "room:"],
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
75 ["http://projects.bigasterisk.com/device/", "dev:"],
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
76 ["http://purl.org/dc/terms/", "dcterms:"],
852
6ccd930834d1 scan more input files. oneshot and immediate update features.
drewp <drewp@bigasterisk.com>
parents: 825
diff changeset
77 ["http://www.w3.org/2000/01/rdf-schema#", "rdfs:"],
6ccd930834d1 scan more input files. oneshot and immediate update features.
drewp <drewp@bigasterisk.com>
parents: 825
diff changeset
78 ["http://bigasterisk.com/map#", "map:"],
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
79 ["http://www.w3.org/1999/02/22-rdf-syntax-ns#", "rdf:"]];
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
80 for (i in repl) {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
81 var p=repl[i];
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
82 if (term.match(new RegExp("^" + p[0]))) {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
83 return term.replace(p[0], p[1]);
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
84 }
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
85 }
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
86 return term;
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
87 }
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
88
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
89 function update() {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
90 function makeAddStmts(elem) {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
91 return function (stmts) {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
92 elem.empty();
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
93 $.each(stmts, function (i, s) {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
94 elem.append($("<div>").html(
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
95 "<span>"+abbrev(s[0])+"</span> "+
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
96 "<span class=\"pred\">"+abbrev(s[1])+"</span> "+
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
97 "<span class=\"obj\">"+abbrev(s[2])+"</span>"));
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
98
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
99 })
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
100 }
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
101 }
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
102
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
103 $.get("lastInputGraph", makeAddStmts($("#input")));
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
104 $.get("lastOutputGraph", makeAddStmts($("#output")));
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
105 $.get("rules", function (txt) {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
106 $("#rules").empty().text(txt);
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
107 });
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
108 }
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
109 function loop() {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
110 update();
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
111 if ($("input#auto").is(":checked")) {
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
112 setTimeout(loop, 2000);
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
113 }
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
114 }
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
115 loop();
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
116 $("input#auto").click(loop);
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
117 });
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
118 // ]]>
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
119 </script>
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
120 </body>
937
38a4769595e2 serve 3rdparty js from bigasterisk.com/lib
drewp <drewp@bigasterisk.com>
parents: 852
diff changeset
121 </html>