webmcp

annotate libraries/mondelefant/mondelefant_atom_connector.lua @ 548:a006593b747c

Basic support for database array types (integers and strings)
author jbe
date Mon Oct 21 19:55:13 2019 +0200 (2019-10-21)
parents b29e082cafb8
children 77355fe3b1cc
rev   line source
jbe/bsw@0 1 #!/usr/bin/env lua
jbe/bsw@0 2
jbe/bsw@0 3 local _G = _G
jbe/bsw@0 4 local _VERSION = _VERSION
jbe/bsw@0 5 local assert = assert
jbe/bsw@0 6 local error = error
jbe/bsw@0 7 local getmetatable = getmetatable
jbe/bsw@0 8 local ipairs = ipairs
jbe/bsw@0 9 local next = next
jbe/bsw@0 10 local pairs = pairs
jbe/bsw@0 11 local print = print
jbe/bsw@0 12 local rawequal = rawequal
jbe/bsw@0 13 local rawget = rawget
jbe@64 14 local rawlen = rawlen
jbe/bsw@0 15 local rawset = rawset
jbe/bsw@0 16 local select = select
jbe/bsw@0 17 local setmetatable = setmetatable
jbe/bsw@0 18 local tonumber = tonumber
jbe/bsw@0 19 local tostring = tostring
jbe/bsw@0 20 local type = type
jbe/bsw@0 21
jbe/bsw@0 22 local math = math
jbe/bsw@0 23 local string = string
jbe@64 24 local table = table
jbe/bsw@0 25
jbe/bsw@0 26 local mondelefant = require("mondelefant")
jbe/bsw@0 27 local atom = require("atom")
jbe@177 28 local json = require("json")
jbe/bsw@0 29
jbe@64 30 local _M = {}
jbe@64 31 if _ENV then
jbe@64 32 _ENV = _M
jbe@64 33 else
jbe@64 34 _G[...] = _M
jbe@64 35 setfenv(1, _M)
jbe@64 36 end
jbe/bsw@0 37
jbe/bsw@0 38
jbe/bsw@0 39 input_converters = setmetatable({}, { __mode = "k" })
jbe/bsw@0 40
jbe/bsw@0 41 input_converters["boolean"] = function(conn, value)
jbe/bsw@0 42 if value then return "TRUE" else return "FALSE" end
jbe/bsw@0 43 end
jbe/bsw@0 44
jbe/bsw@0 45 input_converters["number"] = function(conn, value)
jbe@490 46 if _VERSION == "Lua 5.2" then
jbe@490 47 -- TODO: remove following compatibility hack to allow large integers (e.g. 1e14) in Lua 5.2
jbe@490 48 local integer_string = string.format("%i", value)
jbe@490 49 if tonumber(integer_string) == value then
jbe@490 50 return integer_string
jbe@419 51 else
jbe@490 52 local number_string = tostring(value)
jbe@490 53 if string.find(number_string, "^[0-9.e+-]+$") then
jbe@490 54 return number_string
jbe@490 55 else
jbe@490 56 return "'NaN'"
jbe@490 57 end
jbe@419 58 end
jbe/bsw@0 59 end
jbe@490 60 local integer = math.tointeger(value)
jbe@490 61 if integer then
jbe@490 62 return tostring(integer)
jbe@490 63 end
jbe@490 64 local str = tostring(value)
jbe@490 65 if string.find(str, "^[0-9.e+-]+$") then
jbe@490 66 return str
jbe@490 67 end
jbe@490 68 return "'NaN'"
jbe/bsw@0 69 end
jbe/bsw@0 70
jbe/bsw@0 71 input_converters[atom.fraction] = function(conn, value)
jbe/bsw@0 72 if value.invalid then
jbe/bsw@0 73 return "'NaN'"
jbe/bsw@0 74 else
jbe/bsw@0 75 local n, d = tostring(value.numerator), tostring(value.denominator)
jbe/bsw@0 76 if string.find(n, "^%-?[0-9]+$") and string.find(d, "^%-?[0-9]+$") then
jbe/bsw@0 77 return "(" .. n .. "::numeric / " .. d .. "::numeric)"
jbe/bsw@0 78 else
jbe/bsw@0 79 return "'NaN'"
jbe/bsw@0 80 end
jbe/bsw@0 81 end
jbe/bsw@0 82 end
jbe/bsw@0 83
jbe/bsw@0 84 input_converters[atom.date] = function(conn, value)
jbe/bsw@0 85 return conn:quote_string(tostring(value)) .. "::date"
jbe/bsw@0 86 end
jbe/bsw@0 87
jbe/bsw@0 88 input_converters[atom.timestamp] = function(conn, value)
jbe/bsw@0 89 return conn:quote_string(tostring(value)) -- don't define type
jbe/bsw@0 90 end
jbe/bsw@0 91
jbe/bsw@0 92 input_converters[atom.time] = function(conn, value)
jbe/bsw@0 93 return conn:quote_string(tostring(value)) .. "::time"
jbe/bsw@0 94 end
jbe/bsw@0 95
jbe@548 96 input_converters["table"] = function(conn, value) -- integer and text arrays
jbe@548 97 -- TODO: support more types
jbe@548 98 local parts = { "{" }
jbe@548 99 for i, v in ipairs(value) do
jbe@548 100 if i > 1 then parts[#parts+1] = "," end
jbe@548 101 parts[#parts+1] = '"'
jbe@548 102 parts[#parts+1] = string.gsub(tostring(v), '[\\"]', '\\%0')
jbe@548 103 parts[#parts+1] = '"'
jbe@548 104 end
jbe@548 105 parts[#parts+1] = "}"
jbe@548 106 return conn:quote_string(table.concat(parts))
jbe@548 107 end
jbe@548 108
jbe/bsw@0 109
jbe/bsw@0 110 output_converters = setmetatable({}, { __mode = "k" })
jbe/bsw@0 111
jbe/bsw@0 112 output_converters.int8 = function(str) return atom.integer:load(str) end
jbe/bsw@0 113 output_converters.int4 = function(str) return atom.integer:load(str) end
jbe/bsw@0 114 output_converters.int2 = function(str) return atom.integer:load(str) end
jbe/bsw@0 115
jbe/bsw@0 116 output_converters.numeric = function(str) return atom.number:load(str) end
jbe/bsw@0 117 output_converters.float4 = function(str) return atom.number:load(str) end
jbe/bsw@0 118 output_converters.float8 = function(str) return atom.number:load(str) end
jbe/bsw@0 119
jbe/bsw@0 120 output_converters.bool = function(str) return atom.boolean:load(str) end
jbe/bsw@0 121
jbe/bsw@0 122 output_converters.date = function(str) return atom.date:load(str) end
jbe/bsw@0 123
jbe@548 124 local function timestamp_loader_func(str)
jbe@1 125 local year, month, day, hour, minute, second = string.match(
jbe/bsw@0 126 str,
jbe@1 127 "^([0-9][0-9][0-9][0-9])%-([0-9][0-9])%-([0-9][0-9]) ([0-9]?[0-9]):([0-9][0-9]):([0-9][0-9])"
jbe/bsw@0 128 )
jbe@1 129 if year then
jbe/bsw@0 130 return atom.timestamp{
jbe@1 131 year = tonumber(year),
jbe@1 132 month = tonumber(month),
jbe@1 133 day = tonumber(day),
jbe/bsw@0 134 hour = tonumber(hour),
jbe/bsw@0 135 minute = tonumber(minute),
jbe/bsw@0 136 second = tonumber(second)
jbe/bsw@0 137 }
jbe/bsw@0 138 else
jbe/bsw@0 139 return atom.timestamp.invalid
jbe/bsw@0 140 end
jbe/bsw@0 141 end
jbe/bsw@0 142 output_converters.timestamp = timestamp_loader_func
jbe/bsw@0 143 output_converters.timestamptz = timestamp_loader_func
jbe/bsw@0 144
jbe@548 145 local function time_loader_func(str)
jbe@1 146 local hour, minute, second = string.match(
jbe/bsw@0 147 str,
jbe@1 148 "^([0-9]?[0-9]):([0-9][0-9]):([0-9][0-9])"
jbe/bsw@0 149 )
jbe@1 150 if hour then
jbe/bsw@0 151 return atom.time{
jbe/bsw@0 152 hour = tonumber(hour),
jbe/bsw@0 153 minute = tonumber(minute),
jbe/bsw@0 154 second = tonumber(second)
jbe/bsw@0 155 }
jbe/bsw@0 156 else
jbe/bsw@0 157 return atom.time.invalid
jbe/bsw@0 158 end
jbe/bsw@0 159 end
jbe/bsw@0 160 output_converters.time = time_loader_func
jbe/bsw@0 161 output_converters.timetz = time_loader_func
jbe/bsw@0 162
jbe@548 163 local function json_loader_func(str)
jbe@178 164 return assert(json.import(str))
jbe@178 165 end
jbe@178 166 output_converters.json = json_loader_func
jbe@178 167 output_converters.jsonb = json_loader_func
jbe@176 168
jbe/bsw@0 169 mondelefant.postgresql_connection_prototype.type_mappings = {
jbe/bsw@0 170 int8 = atom.integer,
jbe/bsw@0 171 int4 = atom.integer,
jbe/bsw@0 172 int2 = atom.integer,
jbe/bsw@0 173 bool = atom.boolean,
jbe/bsw@0 174 date = atom.date,
jbe/bsw@0 175 timestamp = atom.timestamp,
jbe/bsw@0 176 time = atom.time,
jbe/bsw@0 177 text = atom.string,
jbe/bsw@0 178 varchar = atom.string,
jbe@176 179 json = json,
jbe@176 180 jsonb = json,
jbe/bsw@0 181 }
jbe/bsw@0 182
jbe/bsw@0 183
jbe/bsw@0 184 function mondelefant.postgresql_connection_prototype.input_converter(conn, value, info)
jbe/bsw@0 185 if value == nil then
jbe/bsw@0 186 return "NULL"
jbe/bsw@0 187 else
jbe/bsw@0 188 local converter =
jbe/bsw@0 189 input_converters[getmetatable(value)] or
jbe/bsw@0 190 input_converters[type(value)]
jbe/bsw@0 191 if converter then
jbe/bsw@0 192 return converter(conn, value)
jbe/bsw@0 193 else
jbe/bsw@0 194 return conn:quote_string(tostring(value))
jbe/bsw@0 195 end
jbe/bsw@0 196 end
jbe/bsw@0 197 end
jbe/bsw@0 198
jbe/bsw@0 199 function mondelefant.postgresql_connection_prototype.output_converter(conn, value, info)
jbe/bsw@0 200 if value == nil then
jbe/bsw@0 201 return nil
jbe/bsw@0 202 else
jbe@548 203 local array_type = string.match(info.type, "^(.*)_array$")
jbe@548 204 if array_type then
jbe@548 205 local result = {}
jbe@548 206 local count = 0
jbe@548 207 local inner_converter = output_converters[array_type]
jbe@548 208 if not inner_converter then
jbe@548 209 inner_converter = function(x) return x end
jbe@548 210 end
jbe@548 211 value = string.match(value, "^{(.*)}$")
jbe@548 212 if not value then
jbe@548 213 error("Could not parse database array")
jbe@548 214 end
jbe@548 215 local pos = 1
jbe@548 216 while pos <= #value do
jbe@548 217 count = count + 1
jbe@548 218 if string.find(value, '^""$', pos) then
jbe@548 219 result[count] = inner_converter("")
jbe@548 220 pos = pos + 2
jbe@548 221 elseif string.find(value, '^"",', pos) then
jbe@548 222 result[count] = inner_converter("")
jbe@548 223 pos = pos + 3
jbe@548 224 elseif string.find(value, '^"', pos) then
jbe@548 225 local p1, p2, entry = string.find(value, '^"(.-[^\\])",', pos)
jbe@548 226 if not p1 then
jbe@548 227 p1, p2, entry = string.find(value, '^"(.*[^\\])"$', pos)
jbe@548 228 end
jbe@548 229 if not entry then error("Could not parse database array") end
jbe@548 230 entry = string.gsub(entry, "\\(.)", "%1")
jbe@548 231 result[count] = inner_converter(entry)
jbe@548 232 pos = p2 + 1
jbe@548 233 else
jbe@548 234 local p1, p2, entry = string.find(value, '^(.-),', pos)
jbe@548 235 if not p1 then p1, p2, entry = string.find(value, '^(.*)$', pos) end
jbe@548 236 result[count] = inner_converter(entry)
jbe@548 237 pos = p2 + 1
jbe@548 238 end
jbe@548 239 end
jbe@548 240 return result
jbe/bsw@0 241 else
jbe@548 242 local converter = output_converters[info.type]
jbe@548 243 if converter then
jbe@548 244 return converter(value)
jbe@548 245 else
jbe@548 246 return value
jbe@548 247 end
jbe/bsw@0 248 end
jbe/bsw@0 249 end
jbe/bsw@0 250 end
jbe/bsw@0 251
jbe@374 252
jbe@374 253 function mondelefant.save_mutability_state(value)
jbe@374 254 local jsontype = json.type(value)
jbe@374 255 if jsontype == "object" or jsontype == "array" then
jbe@374 256 return tostring(value)
jbe@374 257 end
jbe@374 258 end
jbe@374 259
jbe@374 260 function mondelefant.verify_mutability_state(value, state)
jbe@375 261 return tostring(value) ~= state
jbe@374 262 end
jbe@374 263
jbe@375 264
jbe@64 265 return _M
jbe@64 266
jbe/bsw@0 267
jbe/bsw@0 268 --[[
jbe/bsw@0 269
jbe/bsw@0 270 db = assert(mondelefant.connect{engine='postgresql', dbname='test'})
jbe/bsw@0 271 result = db:query{'SELECT ? + 1', atom.date{ year=1999, month=12, day=31}}
jbe/bsw@0 272 print(result[1][1].year)
jbe/bsw@0 273
jbe/bsw@0 274 --]]

Impressum / About Us