Mercurial > code > home > repos > homeauto

annotate service/reasoning/index.html @ 1754:92999dfbf321 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add shelly support
author drewp@bigasterisk.com
date Tue, 04 Jun 2024 13:03:43 -0700
parents 6b80a6c58907
children
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>
1685
6b80a6c58907 minor changes to several services
drewp@bigasterisk.com
parents: 757
diff changeset
52 <button data-url="oneShot" data-body=":changingCam :grab <http://bang:9057/snapshot/changing-day.jpg> .">changingCam/day</button>
6b80a6c58907 minor changes to several services
drewp@bigasterisk.com
parents: 757
diff changeset
53 <button data-url="oneShot" data-body=":changingCam :grab <http://bang:9057/snapshot/changing-night.jpg> .">changingCam/night</button>
6b80a6c58907 minor changes to several services
drewp@bigasterisk.com
parents: 757
diff changeset
54
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
55 <script>
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
56 Array.from(document.querySelectorAll("button[data-url]")).forEach((el) => {
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
57 el.addEventListener("click", (ev) => {
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
58 fetch(el.dataset.url, {
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
59 method: "POST",
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
60 headers: {"content-type": "text/n3"},
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
61 body: `
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
62 @prefix : <http://projects.bigasterisk.com/room/> .
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
63 @prefix sensor: <http://bigasterisk.com/homeauto/sensor/> .
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
64 ` + el.dataset.body
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 });
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
67 });
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
68 });
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
69 </script>
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
70 </div>
245
d7f59d661073 reasoning page layout
drewp@bigasterisk.com
parents: 239
diff changeset
71 <h2>Service</h2>
d7f59d661073 reasoning page layout
drewp@bigasterisk.com
parents: 239
diff changeset
72 <service-rows name-substrs="reasoning"></service-rows>
180
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
73 </div>
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
74
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
75 <div class="pane">
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
76 <h2>Input</h2>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
77 <streamed-graph id="inGraph" url="/sse_collector/graph/home"></streamed-graph>
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
78 <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
79 </div>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
80
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
81 <div class="pane" style="flex-shrink: 1">
180
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
82 <h2>Rules</h2>
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
83 <div>
238
7a9836d51b0e style /reasoning/ page
drewp@bigasterisk.com
parents: 237
diff changeset
84 <pre id="rules"></pre>
7a9836d51b0e style /reasoning/ page
drewp@bigasterisk.com
parents: 237
diff changeset
85 </div>
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
86 <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
87
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
88 <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
89 <script type="text/javascript">
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
90 // <![CDATA[
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
91 $(function () {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
92 function update() {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
93 $.get("rules", function (txt) {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
94 $("#rules").empty().text(txt);
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
95 });
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
96 }
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
97 function loop() {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
98 update();
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
99 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
100 setTimeout(loop, 2000);
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
101 }
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 loop();
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
104 $("input#auto").click(loop);
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
105 });
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
106 // ]]>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
107 </script>
180
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
108 </div>
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
109
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
110 <div class="pane">
180
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
111 <h2>Output</h2>
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
112
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
113 <streamed-graph id="outGraph" url="graph/output/events"></streamed-graph>
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
114 <div id="outGraphView"></div>
180
47682350e6f2 reasoning index page to html
drewp@bigasterisk.com
parents: 132
diff changeset
115 </div>
20
3f0dd03112b5 move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff changeset
116
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
117 <div class="pane">
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
118 <h2>put outputs</h2>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
119 <style>
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
120 .recent2 { background: #71710a; }
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
121 .recent10 { background: #40401c; }
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
122 .recent60 { background: #212116; }
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
123 #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
124 td.urlAbbrev, td.numRequests, td.lastChangeTime {
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
125 white-space: nowrap;
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
126 }
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
127 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
128 </style>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
129 <table id="putOutputs">
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
130 <thead>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
131 <tr>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
132 <th>url</th>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
133 <th>numReq</th>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
134 <th>changed</th>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
135 <th>payload</th>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
136 <th>lastErr</th>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
137 </tr>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
138 </thead>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
139 <tbody id="putRows">
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
140 </tbody>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
141 </table>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
142 <script>
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
143 window.addEventListener('load', () => {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
144 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
145 es.addEventListener('update', (ev) => {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
146 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
147 rows.innerHTML = '';
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
148 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
149 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
150 for (let attr of [
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
151 'urlAbbrev',
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
152 'numRequests',
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
153 'lastChangeTime',
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
154 'payload',
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
155 'lastErr',
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
156 ]) {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
157 const td = document.createElement('td');
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
158 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
159 let value = row[attr];
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
160 if (attr == 'lastChangeTime') {
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
161 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
162 value = `-${secAgo} sec`;
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
163 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
164 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
165 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
166 }
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
167 td.innerText = value;
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
168 tr.appendChild(td);
238
7a9836d51b0e style /reasoning/ page
drewp@bigasterisk.com
parents: 237
diff changeset
169 }
609
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
170 rows.appendChild(tr);
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
171 });
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
172 });
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
173 });
5290df01d911 reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp@bigasterisk.com
parents: 245
diff changeset
174 </script>
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
175 </div>
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
176
723
b87b6e9cedb2 whitespace
drewp@bigasterisk.com
parents: 610
diff changeset
177
610
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
178 <script type="module">
751
a564f6edbca5 index.html layout; add some oneshot buttons
drewp@bigasterisk.com
parents: 723
diff changeset
179 // 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
180 import { render } from '/lib/lit-html/1.0.0/lit-html.js';
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
181 import { graphView } from '/rdf/browse/graphView.js';
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
182
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
183 function keepGraphFresh(sg, outElem) {
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
184 const startPainting = () => {
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
185 if (!sg.graph || !sg.graph.graph) {
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
186 setTimeout(startPainting, 100);
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
187 return;
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
188 }
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
189 let dirty = true;
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
190 const repaint = () => {
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
191 if (!dirty) return;
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
192 render(graphView(sg.graph.graph), outElem);
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
193 dirty = false;
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
194 };
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
195
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
196 sg.addEventListener('graph-changed', (ev) => {
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
197 dirty = true;
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
198 requestAnimationFrame(repaint);
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
199 });
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
200 repaint();
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
201 };
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
202 setTimeout(startPainting, 10);
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
203 }
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
204 keepGraphFresh(document.querySelector('#inGraph'),
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
205 document.querySelector('#inGraphView'));
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
206 keepGraphFresh(document.querySelector('#outGraph'),
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
207 document.querySelector('#outGraphView'));
8be164bc3826 clean up reasoning page
drewp@bigasterisk.com
parents: 609
diff changeset
208 </script>
238
7a9836d51b0e style /reasoning/ page
drewp@bigasterisk.com
parents: 237
diff changeset
209
20
3f0dd03112b5 move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff changeset
210 </body>
132
d379351d398d serve 3rdparty js from bigasterisk.com/lib
drewp@bigasterisk.com
parents: 47
diff changeset
211 </html>