Mercurial > code > home > repos > homeauto

annotate service/reasoning/index.html @ 1413:14802ffc9e44

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clean up reasoning page Ignore-this: e365f3e50b7610c8e694b8641acdae2 darcs-hash:b483f397e3dbfcd574cf8a4a6a450f2893c303fd
author drewp <drewp@bigasterisk.com>
date Wed, 24 Jul 2019 01:02:31 -0700
parents 302063bfb8ff
children b87b6e9cedb2
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>
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
5 <meta charset="utf-8">
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
6 <script src="/lib/polymer/1.0.9/webcomponentsjs/webcomponents.min.js"></script>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
7 <script src="/lib/require/require-2.3.3.js"></script>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
8 <script src="/rdf/common_paths_and_ns.js"></script>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
9 <link rel="import" href="/rdf/streamed-graph.html">
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
10 <link rel="import" href="/lib/polymer/1.0.9/polymer/polymer.html">
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
11
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
12 <meta name="mobile-web-app-capable" content="yes">
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
13 <meta name="viewport" content="width=device-width, initial-scale=1">
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
14
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
15 <style type="text/css" media="all">
1042
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
16 /* <![CDATA[ */
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
17 @import url('https://fonts.googleapis.com/css?family=Allerta|Dosis|Jura&display=swap');
1042
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
18 body {
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
19 background: black;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
20 color: white;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
21 font-family: 'Allerta', sans-serif;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
22 font-size: 12px;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
23 }
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
24 pre {
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
25 font-family: 'Allerta', sans-serif;
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
26 }
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
27 a {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
28 color: #b1b1fd;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
29 text-shadow: 1px 1px 0px #0400ff94;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
30 text-decoration-color: #00007714;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
31 }
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
32
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
33 .pane > h2 {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
34 background: #3f738a61;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
35 border-top-left-radius: 23px;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
36 border-top-right-radius: 23px;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
37 border-top: 3px solid #2a4b58;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
38 padding: 14px 0 5px 11px;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
39 margin-top: 10px;
1042
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
40 }
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
41
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
42 #out > section { background: #1d23314a; }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
43 #out2 > section { background: #4222134a; }
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
44 /* ]]> */
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
45 </style>
1050
ae0461a50d03 reasoning page layout
drewp <drewp@bigasterisk.com>
parents: 1044
diff changeset
46 <link rel="import" href="/supdebug/bang/service-rows/main.html">
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
47 <link rel="import" href="/rdf/rdf-uri.html">
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
48 </head>
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
49 <body>
1050
ae0461a50d03 reasoning page layout
drewp <drewp@bigasterisk.com>
parents: 1044
diff changeset
50 <h1>reasoning service</h1>
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
51 <div class="pane">
1050
ae0461a50d03 reasoning page layout
drewp <drewp@bigasterisk.com>
parents: 1044
diff changeset
52 <h2>Service</h2>
ae0461a50d03 reasoning page layout
drewp <drewp@bigasterisk.com>
parents: 1044
diff changeset
53 <service-rows name-substrs="reasoning"></service-rows>
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
54 </div>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
55
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
56 <div class="pane">
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
57 <h2>Input</h2>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
58 <streamed-graph id="inGraph" url="/sse_collector/graph/home"></streamed-graph>
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
59 <div id="inGraphView"></div>
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
60 </div>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
61
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
62 <div class="pane">
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
63 <h2>Rules</h2>
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
64 <div>
1043
5d5106570128 style /reasoning/ page
drewp <drewp@bigasterisk.com>
parents: 1042
diff changeset
65 <pre id="rules"></pre>
5d5106570128 style /reasoning/ page
drewp <drewp@bigasterisk.com>
parents: 1042
diff changeset
66 </div>
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
67 <label><input id="auto" type="checkbox"> auto refresh</label>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
68
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
69 <script src="//bigasterisk.com/lib/jquery-2.0.3.min.js"></script>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
70 <script type="text/javascript">
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
71 // <![CDATA[
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
72 $(function () {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
73 function update() {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
74 $.get("rules", function (txt) {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
75 $("#rules").empty().text(txt);
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
76 });
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
77 }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
78 function loop() {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
79 update();
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
80 if ($("input#auto").is(":checked")) {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
81 setTimeout(loop, 2000);
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
82 }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
83 }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
84 loop();
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
85 $("input#auto").click(loop);
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
86 });
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
87 // ]]>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
88 </script>
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
89 </div>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
90
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
91 <div class="pane">
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
92 <h2>Output</h2>
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
93
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
94 <streamed-graph id="outGraph" url="graph/output/events"></streamed-graph>
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
95 <div id="outGraphView"></div>
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
96 </div>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
97
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
98 <div class="pane">
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
99 <h2>put outputs</h2>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
100 <style>
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
101 .recent2 { background: #71710a; }
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
102 .recent10 { background: #40401c; }
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
103 .recent60 { background: #212116; }
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
104 #putOutputs th, #putOutputs td { text-align: left; padding-left: 5px; }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
105 </style>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
106 <table id="putOutputs">
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
107 <thead>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
108 <tr>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
109 <th>url</th>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
110 <th>numReq</th>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
111 <th>changed</th>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
112 <th>payload</th>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
113 <th>lastErr</th>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
114 </tr>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
115 </thead>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
116 <tbody id="putRows">
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
117 </tbody>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
118 </table>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
119 <script>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
120 window.addEventListener('load', () => {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
121 const es = new EventSource('putOutputs');
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
122 es.addEventListener('update', (ev) => {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
123 const rows = document.querySelector('#putRows');
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
124 rows.innerHTML = '';
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
125 JSON.parse(ev.data).puts.forEach((row) => {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
126 const tr = document.createElement('tr');
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
127 for (let attr of [
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
128 'urlAbbrev',
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
129 'numRequests',
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
130 'lastChangeTime',
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
131 'payload',
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
132 'lastErr',
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
133 ]) {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
134 const td = document.createElement('td');
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
135 let value = row[attr];
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
136 if (attr == 'lastChangeTime') {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
137 const secAgo = Math.round(Date.now() / 1000 - row.lastChangeTime);
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
138 value = `-${secAgo} sec`;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
139 if (secAgo < 2) { tr.classList.add('recent2'); }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
140 else if (secAgo < 10) { tr.classList.add('recent10'); }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
141 else if (secAgo < 60) { tr.classList.add('recent60'); }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
142 }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
143 td.innerText = value;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
144 tr.appendChild(td);
1043
5d5106570128 style /reasoning/ page
drewp <drewp@bigasterisk.com>
parents: 1042
diff changeset
145 }
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
146 rows.appendChild(tr);
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
147 });
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
148 });
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
149 });
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
150 </script>
1413
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
151 </div>
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
152
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
153 <script type="module">
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
154 import { render } from '/lib/lit-html/1.0.0/lit-html.js';
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
155 import { graphView } from '/rdf/browse/graphView.js';
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
156
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
157 function keepGraphFresh(sg, outElem) {
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
158 const startPainting = () => {
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
159 if (!sg.graph || !sg.graph.graph) {
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
160 setTimeout(startPainting, 100);
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
161 return;
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
162 }
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
163 let dirty = true;
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
164 const repaint = () => {
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
165 if (!dirty) return;
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
166 render(graphView(sg.graph.graph), outElem);
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
167 dirty = false;
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
168 };
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
169
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
170 sg.addEventListener('graph-changed', (ev) => {
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
171 dirty = true;
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
172 requestAnimationFrame(repaint);
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
173 });
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
174 repaint();
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
175 };
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
176 setTimeout(startPainting, 10);
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
177 }
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
178 keepGraphFresh(document.querySelector('#inGraph'),
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
179 document.querySelector('#inGraphView'));
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
180 keepGraphFresh(document.querySelector('#outGraph'),
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
181 document.querySelector('#outGraphView'));
14802ffc9e44 clean up reasoning page
drewp <drewp@bigasterisk.com>
parents: 1412
diff changeset
182 </script>
1043
5d5106570128 style /reasoning/ page
drewp <drewp@bigasterisk.com>
parents: 1042
diff changeset
183
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
184 </body>
937
38a4769595e2 serve 3rdparty js from bigasterisk.com/lib
drewp <drewp@bigasterisk.com>
parents: 852
diff changeset
185 </html>