Mercurial > code > home > repos > homeauto

annotate service/reasoning/index.html @ 757:cee91fc85b03

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
demo buttons send :press not :release Ignore-this: 8aef3ae3545f1b8b2f3ac02dcd95479e
author drewp@bigasterisk.com
date Fri, 14 Feb 2020 00:08:43 -0800
parents a564f6edbca5
children 6b80a6c58907
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
180
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
1 <!DOCTYPE html>
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
2 <html>
20
3f0dd03112b5 move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff changeset
3 <head>
3f0dd03112b5 move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff changeset
4 <title>reasoning</title>
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
5 <meta charset="utf-8">
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
6 <script src="/lib/polymer/1.0.9/webcomponentsjs/webcomponents.min.js"></script>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
7 <script src="/lib/require/require-2.3.3.js"></script>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
8 <script src="/rdf/common_paths_and_ns.js"></script>
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
9
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
10 <link rel="stylesheet" href="/rdf/browse/style.css">
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
11
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
12 <link rel="import" href="/rdf/streamed-graph.html">
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
13 <link rel="import" href="/lib/polymer/1.0.9/polymer/polymer.html">
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
14
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
15 <meta name="mobile-web-app-capable" content="yes">
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
16 <meta name="viewport" content="width=device-width, initial-scale=1">
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
17
20
3f0dd03112b5 move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff changeset
18 <style type="text/css" media="all">
237
43f2e21e2225 reindent
drewp@bigasterisk.com
parents: 236
diff changeset
19 /* <![CDATA[ */
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
20
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
21 #out > section { background: #1d23314a; }
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
22 #out2 > section { background: #4222134a; }
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
23
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
24 body {
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
25 display: flex;
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
26 flex-direction: column;
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
27 height: 100vh;
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
28 margin: 0;
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
29 }
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
30 body > *{
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
31 flex-grow: 1;
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
32 flex-shrink: 0;
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
33 }
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
34 .pane { padding: 5px; overflow: auto; }
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
35 /* ]]> */
20
3f0dd03112b5 move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff changeset
36 </style>
245
d7f59d661073 reasoning page layout
drewp@bigasterisk.com
parents: 239
diff changeset
37 <link rel="import" href="/supdebug/bang/service-rows/main.html">
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
38 <link rel="import" href="/rdf/rdf-uri.html">
20
3f0dd03112b5 move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff changeset
39 </head>
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
40 <body class="rdfBrowsePage">
245
d7f59d661073 reasoning page layout
drewp@bigasterisk.com
parents: 239
diff changeset
41 <h1>reasoning service</h1>
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
42 <div class="pane">
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
43 <div>Post one-shot:
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
44 <button data-url="oneShot" data-body="sensor:kitchenCounterButton1 :buttonState :press .">kitchenCounterButton1</button>
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
45 <button data-url="oneShot" data-body=":bookSwitch :buttonState :press .">book switch</button>
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
46
757
cee91fc85b03 demo buttons send :press not :release
drewp@bigasterisk.com
parents: 751
diff changeset
47 <button data-url="oneShot" data-body=":frontBedPostSwitch1 :buttonState :press .">asher bed post 1</button>
cee91fc85b03 demo buttons send :press not :release
drewp@bigasterisk.com
parents: 751
diff changeset
48 <button data-url="oneShot" data-body=":frontBedPostSwitch2 :buttonState :press .">asher bed post 2</button>
cee91fc85b03 demo buttons send :press not :release
drewp@bigasterisk.com
parents: 751
diff changeset
49 <button data-url="oneShot" data-body=":frontBedPostSwitch3 :buttonState :press .">asher bed post 3</button>
cee91fc85b03 demo buttons send :press not :release
drewp@bigasterisk.com
parents: 751
diff changeset
50 <button data-url="oneShot" data-body=":frontBedPostSwitch4 :buttonState :press .">asher bed post 4</button>
cee91fc85b03 demo buttons send :press not :release
drewp@bigasterisk.com
parents: 751
diff changeset
51 <button data-url="oneShot" data-body=":frontBedPostSwitch5 :buttonState :press .">asher bed post 5</button>
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
52 <script>
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
53 Array.from(document.querySelectorAll("button[data-url]")).forEach((el) => {
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
54 el.addEventListener("click", (ev) => {
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
55 fetch(el.dataset.url, {
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
56 method: "POST",
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
57 headers: {"content-type": "text/n3"},
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
58 body: `
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
59 @prefix : <http://projects.bigasterisk.com/room/> .
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
60 @prefix sensor: <http://bigasterisk.com/homeauto/sensor/> .
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
61 ` + el.dataset.body
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
62
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
63 });
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
64 });
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
65 });
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
66 </script>
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
67 </div>
245
d7f59d661073 reasoning page layout
drewp@bigasterisk.com
parents: 239
diff changeset
68 <h2>Service</h2>
d7f59d661073 reasoning page layout
drewp@bigasterisk.com
parents: 239
diff changeset
69 <service-rows name-substrs="reasoning"></service-rows>
180
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
70 </div>
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
71
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
72 <div class="pane">
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
73 <h2>Input</h2>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
74 <streamed-graph id="inGraph" url="/sse_collector/graph/home"></streamed-graph>
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
75 <div id="inGraphView"></div>
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
76 </div>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
77
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
78 <div class="pane" style="flex-shrink: 1">
180
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
79 <h2>Rules</h2>
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
80 <div>
238
7a9836d51b0e style /reasoning/ page
drewp@bigasterisk.com
parents: 237
diff changeset
81 <pre id="rules"></pre>
7a9836d51b0e style /reasoning/ page
drewp@bigasterisk.com
parents: 237
diff changeset
82 </div>
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
83 <label><input id="auto" type="checkbox"> auto refresh</label>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
84
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
85 <script src="//bigasterisk.com/lib/jquery-2.0.3.min.js"></script>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
86 <script type="text/javascript">
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
87 // <![CDATA[
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
88 $(function () {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
89 function update() {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
90 $.get("rules", function (txt) {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
91 $("#rules").empty().text(txt);
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
92 });
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
93 }
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
94 function loop() {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
95 update();
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
96 if ($("input#auto").is(":checked")) {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
97 setTimeout(loop, 2000);
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
98 }
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
99 }
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
100 loop();
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
101 $("input#auto").click(loop);
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
102 });
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
103 // ]]>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
104 </script>
180
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
105 </div>
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
106
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
107 <div class="pane">
180
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
108 <h2>Output</h2>
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
109
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
110 <streamed-graph id="outGraph" url="graph/output/events"></streamed-graph>
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
111 <div id="outGraphView"></div>
180
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
112 </div>
20
3f0dd03112b5 move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff changeset
113
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
114 <div class="pane">
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
115 <h2>put outputs</h2>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
116 <style>
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
117 .recent2 { background: #71710a; }
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
118 .recent10 { background: #40401c; }
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
119 .recent60 { background: #212116; }
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
120 #putOutputs th, #putOutputs td { text-align: left; padding-left: 5px; }
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
121 td.urlAbbrev, td.numRequests, td.lastChangeTime {
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
122 white-space: nowrap;
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
123 }
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
124 td.changed { min-width: 7em; }
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
125 </style>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
126 <table id="putOutputs">
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
127 <thead>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
128 <tr>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
129 <th>url</th>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
130 <th>numReq</th>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
131 <th>changed</th>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
132 <th>payload</th>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
133 <th>lastErr</th>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
134 </tr>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
135 </thead>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
136 <tbody id="putRows">
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
137 </tbody>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
138 </table>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
139 <script>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
140 window.addEventListener('load', () => {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
141 const es = new EventSource('putOutputs');
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
142 es.addEventListener('update', (ev) => {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
143 const rows = document.querySelector('#putRows');
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
144 rows.innerHTML = '';
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
145 JSON.parse(ev.data).puts.forEach((row) => {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
146 const tr = document.createElement('tr');
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
147 for (let attr of [
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
148 'urlAbbrev',
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
149 'numRequests',
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
150 'lastChangeTime',
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
151 'payload',
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
152 'lastErr',
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
153 ]) {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
154 const td = document.createElement('td');
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
155 td.classList.add(attr);
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
156 let value = row[attr];
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
157 if (attr == 'lastChangeTime') {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
158 const secAgo = Math.round(Date.now() / 1000 - row.lastChangeTime);
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
159 value = `-${secAgo} sec`;
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
160 if (secAgo < 2) { tr.classList.add('recent2'); }
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
161 else if (secAgo < 10) { tr.classList.add('recent10'); }
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
162 else if (secAgo < 60) { tr.classList.add('recent60'); }
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
163 }
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
164 td.innerText = value;
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
165 tr.appendChild(td);
238
7a9836d51b0e style /reasoning/ page
drewp@bigasterisk.com
parents: 237
diff changeset
166 }
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
167 rows.appendChild(tr);
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
168 });
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
169 });
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
170 });
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
171 </script>
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
172 </div>
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
173
723
b87b6e9cedb2 whitespace
drewp@bigasterisk.com
parents: 610
diff changeset
174
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
175 <script type="module">
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
176 // this is approx /my/site/homepage/www/rdf/streamed_graph_view.js so port to that.
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
177 import { render } from '/lib/lit-html/1.0.0/lit-html.js';
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
178 import { graphView } from '/rdf/browse/graphView.js';
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
179
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
180 function keepGraphFresh(sg, outElem) {
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
181 const startPainting = () => {
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
182 if (!sg.graph || !sg.graph.graph) {
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
183 setTimeout(startPainting, 100);
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
184 return;
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
185 }
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
186 let dirty = true;
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
187 const repaint = () => {
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
188 if (!dirty) return;
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
189 render(graphView(sg.graph.graph), outElem);
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
190 dirty = false;
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
191 };
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
192
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
193 sg.addEventListener('graph-changed', (ev) => {
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
194 dirty = true;
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
195 requestAnimationFrame(repaint);
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
196 });
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
197 repaint();
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
198 };
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
199 setTimeout(startPainting, 10);
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
200 }
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
201 keepGraphFresh(document.querySelector('#inGraph'),
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
202 document.querySelector('#inGraphView'));
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
203 keepGraphFresh(document.querySelector('#outGraph'),
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
204 document.querySelector('#outGraphView'));
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
205 </script>
238
7a9836d51b0e style /reasoning/ page
drewp@bigasterisk.com
parents: 237
diff changeset
206
20
3f0dd03112b5 move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff changeset
207 </body>
132
d379351d398d serve 3rdparty js from bigasterisk.com/lib
drewp@bigasterisk.com
parents: 47
diff changeset
208 </html>