annotate src/luan/modules/sql/Web_query.luan @ 1802:ca98dee04e08 default tip

add Parsers.json_null
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 21 Apr 2024 21:25:15 -0600
parents 1979cff9aad2
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1407
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local ipairs = Luan.ipairs or error()
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local stringify = Luan.stringify or error()
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local to_string = Luan.to_string or error()
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local Io = require "luan:Io.luan"
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local Http = require "luan:http/Http.luan"
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local Html = require "luan:Html.luan"
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local html_encode = Html.encode or error()
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local Sql = require "luan:sql/Sql.luan"
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 local Web_query = {}
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 local function style()
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 %>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 body {
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 font-family: sans-serif;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 margin: 2em 5%;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 }
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 h2 {
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 margin-bottom: .5em;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 }
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 input, textarea {
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 margin-top: 1em;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 font: inherit;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 }
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 input[type="submit"] {
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 cursor: pointer;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 padding: .5em;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 border-radius: 4px;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 }
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 <%
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 end
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 local function form()
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 %>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 <!doctype html>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 <html>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 <head>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 <title>SQL</title>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 <style>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 <% style() %>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 </style>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45 </head>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 <body>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
47 <h2>SQL Query</h2>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
48 <form>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
49 <div>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 <textarea name="query" cols=80 rows=10 autofocus></textarea>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
51 </div>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
52 <div>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
53 <input type="submit">
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
54 </div>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55 </form>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56 </body>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 </html>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 <%
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
59 end
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 local function result(db_spec)
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62 local query_str = Http.request.parameters.query
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63 local db = Sql.database(db_spec)
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64 local query = db.query(query_str)
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
65 local cols = query.column_names()
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 %>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
67 <!doctype html>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
68 <html>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
69 <head>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
70 <title>SQL</title>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
71 <style>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
72 <% style() %>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
73 table {
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
74 border-collapse: collapse;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
75 font-size: smaller;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
76 }
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
77 th, td {
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
78 text-align: left;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
79 padding: .5em;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
80 border: solid 1px #ddd;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
81 }
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
82 pre {
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
83 font: inherit;
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
84 }
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
85 </style>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
86 </head>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
87 <body>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
88 <h2>SQL Results</h2>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
89 <p><b><pre><%=html_encode(query_str)%></pre></b></p>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
90 <table>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
91 <tr>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
92 <%
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
93 for _, col in ipairs(cols) do
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
94 %>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
95 <th><%=col%></th>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
96 <%
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
97 end
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
98 %>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
99 </tr>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
100 <%
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
101 for result in query.results do
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
102 %>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
103 <tr>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
104 <%
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
105 for _, col in ipairs(cols) do
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
106 %>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
107 <td><%=html_encode(to_string(result[col]))%></td>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
108 <%
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
109 end
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
110 %>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
111 </tr>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
112 <%
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
113 end
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
114 %>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
115 </table>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
116 </body>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
117 </html>
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
118 <%
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
119 db.close()
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
120 end
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
121
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
122 function Web_query.of(db_spec)
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
123 db_spec or error "db_spec is nil"
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
124
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
125 return function()
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
126 Io.stdout = Http.response.text_writer()
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
127 local query = Http.request.parameters.query
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
128 if Http.request.parameters.query ~= nil then
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
129 result(db_spec)
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
130 else
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
131 form()
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
132 end
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
133 end
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
134
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
135 end
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
136
1979cff9aad2 add sql/Web_query
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
137 return Web_query