Mercurial > code > home > repos > homeauto

annotate service/reasoning/index.html @ 1412:302063bfb8ff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reasoning web page uses rdf/browse/graphView for inputs and outputs now Ignore-this: 64b7275ee149f631b606320444a3478b darcs-hash:1ec4d67abed3d43997fae5f10d4bc23ee1a6b2d5
author drewp <drewp@bigasterisk.com>
date Wed, 24 Jul 2019 00:36:16 -0700
parents ae0461a50d03
children 8be164bc3826
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>
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
5 <meta charset="utf-8" />
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 <script>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
10 window.NS = {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
11 room: "http://projects.bigasterisk.com/room/",
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
12 dev: "http://projects.bigasterisk.com/device/",
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
13 dcterms: "http://purl.org/dc/terms/",
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
14 rdfs: "http://www.w3.org/2000/01/rdf-schema#",
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
15 map: "http://bigasterisk.com/map#",
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
16 rdf: "http://www.w3.org/1999/02/22-rdf-syntax-ns#",
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
17 };
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
18 </script>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
19 <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
20 <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
21
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
22 <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
23 <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
24
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
25 <style type="text/css" media="all">
1042
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
26 /* <![CDATA[ */
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
27 @import url('https://fonts.googleapis.com/css?family=Allerta|Dosis|Jura&display=swap');
1042
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
28 body {
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
29 background: black;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
30 color: white;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
31 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
32 font-size: 12px;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
33 }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
34 a {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
35 color: #b1b1fd;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
36 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
37 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
38 }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
39 #subjectRequest {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
40 width: 50em;
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 .pane > h2 {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
43 background: #3f738a61;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
44 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
45 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
46 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
47 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
48
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
49 margin-top: 10px;
1042
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
50 }
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
51 pre {
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
52 font-family: sans-serif;
1042
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
53 }
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
54 pre div {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
55 border-bottom: 1px solid #ccc;
1042
aabb6ef60042 reindent
drewp <drewp@bigasterisk.com>
parents: 1041
diff changeset
56 }
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
57
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
58
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
59
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
60 #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
61 #out2 > section { background: #4222134a; }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
62 /* ]]> */
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
63 </style>
1050
ae0461a50d03 reasoning page layout
drewp <drewp@bigasterisk.com>
parents: 1044
diff changeset
64 <link rel="import" href="/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
65
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
66 </head>
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
67 <body>
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 <link rel="import" href="/rdf/rdf-uri.html">
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
70
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
71
1050
ae0461a50d03 reasoning page layout
drewp <drewp@bigasterisk.com>
parents: 1044
diff changeset
72 <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
73 <div class="pane">
1050
ae0461a50d03 reasoning page layout
drewp <drewp@bigasterisk.com>
parents: 1044
diff changeset
74 <h2>Service</h2>
ae0461a50d03 reasoning page layout
drewp <drewp@bigasterisk.com>
parents: 1044
diff changeset
75 <service-rows name-substrs="reasoning"></service-rows>
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
76 </div>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
77
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
78
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
79 <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
80 <h2>Input</h2>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
81
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
82 <streamed-graph id="inGraph" url="/sse_collector/graph/home"></streamed-graph>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
83 <div id="out"></div>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
84 <script type="module" src="/rdf/streamed_graph_view.js"></script>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
85
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
86 </div>
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 <div class="pane">
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
89 <h2>Rules</h2>
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
90 <div style="">
1043
5d5106570128 style /reasoning/ page
drewp <drewp@bigasterisk.com>
parents: 1042
diff changeset
91 <pre id="rules"></pre>
5d5106570128 style /reasoning/ page
drewp <drewp@bigasterisk.com>
parents: 1042
diff changeset
92 </div>
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
93 <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
94
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
95 <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
96 <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
97 // <![CDATA[
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
98 $(function () {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
99
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
100 function update() {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
101 $.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
102 $("#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
103 });
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
104 }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
105 function loop() {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
106 update();
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
107 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
108 setTimeout(loop, 2000);
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
109 }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
110 }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
111 loop();
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
112 $("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
113 });
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
114 // ]]>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
115 </script>
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
116 </div>
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
117
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
118
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
119 <div class="pane">
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
120 <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
121
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
122 <streamed-graph id="outGraph" url="graph/output/events"></streamed-graph>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
123 <div id="out2"></div>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
124
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
125
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
126 <script type="module">
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
127 import { render } from '/lib/lit-html/1.0.0/lit-html.js';
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
128 import { graphView } from '/rdf/browse/graphView.js';
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
129
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
130 const sg = document.querySelector('#outGraph');
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
131
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
132 const out = document.querySelector('#out2');
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
133 const startPainting = () => {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
134 if (!sg.graph || !sg.graph.graph) {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
135 setTimeout(startPainting, 100);
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
136 return;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
137 }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
138
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
139 let dirty = true;
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
140
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
141 const repaint = () => {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
142 if (!dirty) {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
143 return;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
144 }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
145 render(graphView(sg.graph.graph), out);
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
146 dirty = false;
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 sg.addEventListener('graph-changed', (ev) => {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
150 dirty = true;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
151 requestAnimationFrame(repaint);
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
152 });
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
153 repaint();
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
154 };
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
155 setTimeout(startPainting, 10);
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
156
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
157 </script>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
158
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
159
985
7e99f05c21cd reasoning index page to html
drewp <drewp@bigasterisk.com>
parents: 937
diff changeset
160 </div>
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
161
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
162 <div class="pane">
1043
5d5106570128 style /reasoning/ page
drewp <drewp@bigasterisk.com>
parents: 1042
diff changeset
163
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
164 <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
165 <style>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
166 .recent2 { background: #ffff55; }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
167 .recent10 { background: #ffff88; }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
168 .recent60 { background: #ffffdd; }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
169 #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
170 </style>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
171 <table id="putOutputs">
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
172 <thead>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
173 <tr>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
174 <th>url</th>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
175 <th>numReq</th>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
176 <th>changed</th>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
177 <th>payload</th>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
178 <th>lastErr</th>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
179 </tr>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
180 </thead>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
181 <tbody id="putRows">
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
182 </tbody>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
183 </table>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
184 <script>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
185 window.addEventListener('load', () => {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
186 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
187 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
188 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
189 rows.innerHTML = '';
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
190 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
191 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
192 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
193 'urlAbbrev',
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
194 'numRequests',
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
195 'lastChangeTime',
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
196 'payload',
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
197 'lastErr',
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
198 ]) {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
199 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
200 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
201 if (attr == 'lastChangeTime') {
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
202 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
203 value = `-${secAgo} sec`;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
204 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
205 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
206 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
207 }
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
208 td.innerText = value;
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
209 tr.appendChild(td);
1043
5d5106570128 style /reasoning/ page
drewp <drewp@bigasterisk.com>
parents: 1042
diff changeset
210 }
1412
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
211 rows.appendChild(tr);
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
212 });
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
213 });
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
214 });
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
215 </script>
302063bfb8ff reasoning web page uses rdf/browse/graphView for inputs and outputs now
drewp <drewp@bigasterisk.com>
parents: 1050
diff changeset
216 </div>
1043
5d5106570128 style /reasoning/ page
drewp <drewp@bigasterisk.com>
parents: 1042
diff changeset
217
825
fc753b24f69a move reasoning from /my/proj/room, new integration with magma
drewp <drewp@bigasterisk.com>
parents:
diff changeset
218 </body>
937
38a4769595e2 serve 3rdparty js from bigasterisk.com/lib
drewp <drewp@bigasterisk.com>
parents: 852
diff changeset
219 </html>