----------------------------------------------------------------------------- -- LTN12 - Filters, sources, sinks and pumps. -- LuaSocket toolkit. -- Author: Diego Nehab -- RCS ID: $Id$ ----------------------------------------------------------------------------- ----------------------------------------------------------------------------- -- Declare module ----------------------------------------------------------------------------- module("ltn12") filter = {} source = {} sink = {} pump = {} -- 2048 seems to be better in windows... BLOCKSIZE = 2048 ----------------------------------------------------------------------------- -- Filter stuff ----------------------------------------------------------------------------- -- returns a high level filter that cycles a low-level filter function filter.cycle(low, ctx, extra) assert(low) return function(chunk) local ret ret, ctx = low(ctx, chunk, extra) return ret end end -- given the return of a filter, can it have pending data? local function pending(s) return s ~= "" and s end -- chains two filters together local function chain2(f1, f2) local cf1, cf2 return function(chunk) -- if f2 has pending data, service it first, always if pending(cf2) then cf2 = f2(cf1) if pending(cf2) then return cf2 end end -- here either f2 was already empty or we just found out it is -- we get filtered data from f1 cf1 = f1(chunk) -- make sure next time we call f1 to get pending data, -- we don't pass the same chunk again if chunk then chunk = "" end -- while there is data in f1 while pending(cf1) do -- pass the new data to f2 cf2 = f2(cf1) -- if f2 produced something, return it if pending(cf2) then -- make sure next time we call f2 to get pending data, -- we don't pass the same chunk again if cf1 then cf1 = "" end return cf2 end -- here f2 is still not satisfied with the amount of data -- f1 produced. we keep trying. cf1 = f1(chunk) end -- here f1 was empty or it became empty without managing -- to produce enough data for f2 to produce something cf2 = f2(cf1) return cf2 end end -- chains a bunch of filters together function filter.chain(...) local f = arg[1] for i = 2, table.getn(arg) do f = chain2(f, arg[i]) end return f end ----------------------------------------------------------------------------- -- Source stuff ----------------------------------------------------------------------------- -- create an empty source local function empty() return nil end function source.empty() return empty end -- returns a source that just outputs an error function source.error(err) return function() return nil, err end end -- creates a file source function source.file(handle, io_err) if handle then return function() local chunk = handle:read(BLOCKSIZE) if not chunk then handle:close() end return chunk end else return source.error(io_err or "unable to open file") end end -- turns a fancy source into a simple source function source.simplify(src) assert(src) return function() local chunk, err_or_new = src() src = err_or_new or src if not chunk then return nil, err_or_new else return chunk end end end -- creates string source function source.string(s) if s then local i = 1 return function() local chunk = string.sub(s, i, i+BLOCKSIZE-1) i = i + BLOCKSIZE if chunk ~= "" then return chunk else return nil end end else return source.empty() end end -- creates rewindable source function source.rewind(src) assert(src) local t = {} return function(chunk) if not chunk then chunk = table.remove(t) if not chunk then return src() else return chunk end else table.insert(t, chunk) end end end -- chains a source with a filter function source.chain(src, f) assert(src and f) local co = coroutine.create(function() while true do local chunk, err = src() if err then return nil, err end local filtered = f(chunk) local done = chunk and "" while true do coroutine.yield(filtered) if filtered == done then break end filtered = f(done) end end end) return function() local ret, a, b = coroutine.resume(co) if ret then return a, b else return nil, a end end end -- creates a source that produces contents of several sources, one after the -- other, as if they were concatenated function source.cat(...) local co = coroutine.create(function() local i = 1 while i <= table.getn(arg) do local chunk, err = arg[i]() if chunk then coroutine.yield(chunk) elseif err then return nil, err else i = i + 1 end end end) return function() local ret, a, b = coroutine.resume(co) if ret then return a, b else return nil, a end end end ----------------------------------------------------------------------------- -- Sink stuff ----------------------------------------------------------------------------- -- creates a sink that stores into a table function sink.table(t) t = t or {} local f = function(chunk, err) if chunk then table.insert(t, chunk) end return 1 end return f, t end -- turns a fancy sink into a simple sink function sink.simplify(snk) assert(snk) return function(chunk, err) local ret, err_or_new = snk(chunk, err) if not ret then return nil, err_or_new end snk = err_or_new or snk return 1 end end -- creates a file sink function sink.file(handle, io_err) if handle then return function(chunk, err) if not chunk then handle:close() return 1 else return handle:write(chunk) end end else return sink.error(io_err or "unable to open file") end end -- creates a sink that discards data local function null() return 1 end function sink.null() return null end -- creates a sink that just returns an error function sink.error(err) return function() return nil, err end end -- chains a sink with a filter function sink.chain(f, snk) assert(f and snk) return function(chunk, err) local filtered = f(chunk) local done = chunk and "" while true do local ret, snkerr = snk(filtered, err) if not ret then return nil, snkerr end if filtered == done then return 1 end filtered = f(done) end end end ----------------------------------------------------------------------------- -- Pump stuff ----------------------------------------------------------------------------- -- pumps one chunk from the source to the sink function pump.step(src, snk) local chunk, src_err = src() local ret, snk_err = snk(chunk, src_err) return chunk and ret and not src_err and not snk_err, src_err or snk_err end -- pumps all data from a source to a sink, using a step function function pump.all(src, snk, step) assert(src and snk) step = step or pump.step while true do local ret, err = step(src, snk) if not ret then return not err, err end end end