Data

Reading Data Files

The first thing to consider is this: do you actually need to write a custom file reader? And if the answer is yes, the next question is: can you write the reader in as clear a way as possible? Correctness, Robustness, and Speed; pick the first two and the third can be sorted out later, if necessary.

A common sort of data file is the configuration file format commonly used on Unix systems. This format is often called a property file in the Java world.

# Read timeout in seconds
read.timeout=10

# Write timeout in seconds
write.timeout=10

Here is a simple Lua implementation:

-- property file parsing with Lua string patterns
props = []
for line in io.lines() do
    if line:find('#',1,true) ~= 1 and not line:find('^%s*$') then
        local var,value = line:match('([^=]+)=(.*)')
        props[var] = value
    end
end

Very compact, but it suffers from a similar disease in equivalent Perl programs; it uses odd string patterns which are ‘lexically noisy’. Noisy code like this slows the casual reader down. (For an even more direct way of doing this, see the next section, ‘Reading Configuration Files’)

Another implementation, using the Penlight libraries:

-- property file parsing with extended string functions
require 'pl'
stringx.import()
props = []
for line in io.lines() do
    if not line:startswith('#') and not line:isspace() then
        local var,value = line:splitv('=')
        props[var] = value
    end
end

This is more self-documenting; it is generally better to make the code express the intention, rather than having to scatter comments everywhere - comments are necessary, of course, but mostly to give the higher view of your intention that cannot be expressed in code. It is slightly slower, true, but in practice the speed of this script is determined by I/O, so further optimization is unnecessary.

Reading Unstructured Text Data

Text data is sometimes unstructured, for example a file containing words. The pl.input module has a number of functions which makes processing such files easier. For example, a script to count the number of words in standard input using import.words:

-- countwords.lua
require 'pl'
local k = 1
for w in input.words(io.stdin) do
    k = k + 1
end
print('count',k)

Or this script to calculate the average of a set of numbers using input.numbers:

-- average.lua
require 'pl'
local k = 1
local sum = 0
for n in input.numbers(io.stdin) do
    sum = sum + n
    k = k + 1
end
print('average',sum/k)

These scripts can be improved further by eliminating loops In the last case, there is a perfectly good function seq.sum which can already take a sequence of numbers and calculate these numbers for us:

-- average2.lua
require 'pl'
local total,n = seq.sum(input.numbers())
print('average',total/n)

A further simplification here is that if numbers or words are not passed an argument, they will grab their input from standard input. The first script can be rewritten:

-- countwords2.lua
require 'pl'
print('count',seq.count(input.words()))

A useful feature of a sequence generator like numbers is that it can read from a string source. Here is a script to calculate the sums of the numbers on each line in a file:

-- sums.lua
for line in io.lines() do
    print(seq.sum(input.numbers(line))
end

Reading Columnar Data

It is very common to find data in columnar form, either space or comma-separated, perhaps with an initial set of column headers. Here is a typical example:

EventID    Magnitude    LocationX    LocationY    LocationZ
981124001    2.0    18988.4    10047.1    4149.7
981125001    0.8    19104.0    9970.4    5088.7
981127003    0.5    19012.5    9946.9    3831.2
...

input.fields is designed to extract several columns, given some delimiter (default to whitespace). Here is a script to calculate the average X location of all the events:

-- avg-x.lua
require 'pl'
io.read() -- skip the header line
local sum,count = seq.sum(input.fields {3})
print(sum/count)

input.fields is passed either a field count, or a list of column indices, starting at one as usual. So in this case we’re only interested in column 3. If you pass it a field count, then you get every field up to that count:

for id,mag,locX,locY,locZ in input.fields (5) do
....
end

input.fields by default tries to convert each field to a number. It will skip lines which clearly don’t match the pattern, but will abort the script if there are any fields which cannot be converted to numbers.

The second parameter is a delimiter, by default spaces. ‘ ’ is understood to mean ‘any number of spaces’, i.e. ‘%s+’. Any Lua string pattern can be used.

The third parameter is a data source, by default standard input (defined by input.create_getter.) It assumes that the data source has a read method which brings in the next line, i.e. it is a ‘file-like’ object. As a special case, a string will be split into its lines:

> for x,y in input.fields(2,' ','10 20\n30 40\n') do print(x,y) end
10      20
30      40

Note the default behaviour for bad fields, which is to show the offending line number:

> for x,y in input.fields(2,' ','10 20\n30 40x\n') do print(x,y) end
10      20
line 2: cannot convert '40x' to number

This behaviour of input.fields is appropriate for a script which you want to fail immediately with an appropriate user error message if conversion fails. The fourth optional parameter is an options table: {no_fail=true} means that conversion is attempted but if it fails it just returns the string, rather as AWK would operate. You are then responsible for checking the type of the returned field. {no_convert=true} switches off conversion altogether and all fields are returned as strings.

Sometimes it is useful to bring a whole dataset into memory, for operations such as extracting columns. Penlight provides a flexible reader specifically for reading this kind of data, using the data module. Given a file looking like this:

x,y
10,20
2,5
40,50

Then data.read will create a table like this, with each row represented by a sublist:

> t = data.read 'test.txt'
> pretty.dump(t)
{{10,20},{2,5},{40,50},fieldnames={'x','y'},delim=','}

You can now analyze this returned table using the supplied methods. For instance, the method column_by_name returns a table of all the values of that column.

-- testdata.lua
require 'pl'
d = data.read('fev.txt')
for _,name in ipairs(d.fieldnames) do
    local col = d:column_by_name(name)
    if type(col[1]) == 'number' then
        local total,n = seq.sum(col)
        utils.printf("Average for %s is %f\n",name,total/n)
    end
end

data.read tries to be clever when given data; by default it expects a first line of column names, unless any of them are numbers. It tries to deduce the column delimiter by looking at the first line. Sometimes it guesses wrong; these things can be specified explicitly. The second optional parameter is an options table: can override delim (a string pattern), fieldnames (a list or comma-separated string), specify no_convert (default is to convert), numfields (indices of columns known to be numbers, as a list) and thousands_dot (when the thousands separator in Excel CSV is ‘.’)

A very powerful feature is a way to execute SQL-like queries on such data:

-- queries on tabular data
require 'pl'
local d = data.read('xyz.txt')
local q = d:select('x,y,z where x > 3 and z < 2 sort by y')
for x,y,z in q do
    print(x,y,z)
end

Please note that the format of queries is restricted to the following syntax:

FIELDLIST [ 'where' CONDITION ] [ 'sort by' FIELD [asc|desc]]

Any valid Lua code can appear in CONDITION; remember it is not SQL and you have to use == (this warning comes from experience.)

For this to work, field names must be Lua identifiers. So read will massage fieldnames so that all non-alphanumeric chars are replaced with underscores. However, the original_fieldnames field always contains the original un-massaged fieldnames.

read can handle standard CSV files fine, although doesn’t try to be a full-blown CSV parser. With the csv=true option, it’s possible to have double-quoted fields, which may contain commas; then trailing commas become significant as well.

Spreadsheet programs are not always the best tool to process such data, strange as this might seem to some people. This is a toy CSV file; to appreciate the problem, imagine thousands of rows and dozens of columns like this:

Department Name,Employee ID,Project,Hours Booked
sales,1231,overhead,4
sales,1255,overhead,3
engineering,1501,development,5
engineering,1501,maintenance,3
engineering,1433,maintenance,10

The task is to reduce the dataset to a relevant set of rows and columns, perhaps do some processing on row data, and write the result out to a new CSV file. The write_row method uses the delimiter to write the row to a file; Data.select_row is like Data.select, except it iterates over rows, not fields; this is necessary if we are dealing with a lot of columns!

names = {[1501]='don',[1433]='dilbert'}
keepcols = {'Employee_ID','Hours_Booked'}
t:write_row (outf,{'Employee','Hours_Booked'})
q = t:select_row {
    fields=keepcols,
    where=function(row) return row[1]=='engineering' end
}
for row in q do
    row[1] = names[row[1]]
    t:write_row(outf,row)
end

Data.select_row and Data.select can be passed a table specifying the query; a list of field names, a function defining the condition and an optional parameter sort_by. It isn’t really necessary here, but if we had a more complicated row condition (such as belonging to a specified set) then it is not generally possible to express such a condition as a query string, without resorting to hackery such as global variables.

With 1.0.3, you can specify explicit conversion functions for selected columns. For instance, this is a log file with a Unix date stamp:

Time Message
1266840760 +# EE7C0600006F0D00C00F06010302054000000308010A00002B00407B00
1266840760 closure data 0.000000 1972 1972 0
1266840760 ++ 1266840760 EE 1
1266840760 +# EE7C0600006F0D00C00F06010302054000000408020A00002B00407B00
1266840764 closure data 0.000000 1972 1972 0

We would like the first column as an actual date object, so the convert field sets an explicit conversion for column 1. (Note that we have to explicitly convert the string to a number first.)

Date = require 'pl.Date'

function date_convert (ds)
    return Date(tonumber(ds))
end

d = data.read(f,{convert={[1]=date_convert},last_field_collect=true})

This gives us a two-column dataset, where the first column contains Date objects and the second column contains the rest of the line. Queries can then easily pick out events on a day of the week:

q = d:select "Time,Message where Time:weekday_name()=='Sun'"

Data does not have to come from files, nor does it necessarily come from the lab or the accounts department. On Linux, ps aux gives you a full listing of all processes running on your machine. It is straightforward to feed the output of this command into data.read and perform useful queries on it. Notice that non-identifier characters like ‘%’ get converted into underscores:

require 'pl'
f = io.popen 'ps aux'
s = data.read (f,{last_field_collect=true})
f:close()
print(s.fieldnames)
print(s:column_by_name 'USER')
qs = 'COMMAND,_MEM where _MEM > 5 and USER=="steve"'
for name,mem in s:select(qs) do
    print(mem,name)
end

I’ve always been an admirer of the AWK programming language; with filter you can get Lua programs which are just as compact:

-- printxy.lua
require 'pl'
data.filter 'x,y where x > 3'

It is common enough to have data files without headers of field names. data.read makes a special exception for such files if all fields are numeric. Since there are no column names to use in query expressions, you can use AWK-like column indexes, e.g. ‘$1,$2 where $1 > 3’. I have a little executable script on my system called lf which looks like this:

#!/usr/bin/env lua
require 'pl.data'.filter(arg[1])

And it can be used generally as a filter command to extract columns from data. (The column specifications may be expressions or even constants.)

$ lf '$1,$5/10' < test.dat

(As with AWK, please note the single-quotes used in this command; this prevents the shell trying to expand the column indexes. If you are on Windows, then you must quote the expression in double-quotes so it is passed as one argument to your batch file.)

As a tutorial resource, have a look at test-data.lua in the PL tests directory for other examples of use, plus comments.

The data returned by read or constructed by Data.copy_select from a query is basically just an array of rows: {{1,2},{3,4}}. So you may use read to pull in any array-like dataset, and process with any function that expects such a implementation. In particular, the functions in array2d will work fine with this data. In fact, these functions are available as methods; e.g. array2d.flatten can be called directly like so to give us a one-dimensional list:

v = data.read('dat.txt'):flatten()

The data is also in exactly the right shape to be treated as matrices by LuaMatrix:

> matrix = require 'matrix'
> m = matrix(data.read 'mat.txt')
> = m
1       0.2     0.3
0.2     1       0.1
0.1     0.2     1
> = m^2  -- same as m*m
1.07    0.46    0.62
0.41    1.06    0.26
0.24    0.42    1.05

write will write matrices back to files for you.

Finally, for the curious, the global variable _DEBUG can be used to print out the actual iterator function which a query generates and dynamically compiles. By using code generation, we can get pretty much optimal performance out of arbitrary queries.

> lua -lpl -e "_DEBUG=true" -e "data.filter 'x,y where x > 4 sort by x'" < test.txt
return function (t)
        local i = 0
        local v
        local ls = {}
        for i,v in ipairs(t) do
            if v[1] > 4  then
                    ls[#ls+1] = v
            end
        end
        table.sort(ls,function(v1,v2)
            return v1[1] < v2[1]
        end)
        local n = #ls
        return function()
            i = i + 1
            v = ls[i]
            if i > n then return end
            return v[1],v[2]
        end
end

10,20
40,50

Reading Configuration Files

The config module provides a simple way to convert several kinds of configuration files into a Lua table. Consider the simple example:

# test.config
# Read timeout in seconds
read.timeout=10

# Write timeout in seconds
write.timeout=5

#acceptable ports
ports = 1002,1003,1004

This can be easily brought in using config.read and the result shown using pretty.write:

-- readconfig.lua
local config = require 'pl.config'
local pretty= require 'pl.pretty'

local t = config.read(arg[1])
print(pretty.write(t))

and the output of lua readconfig.lua test.config is:

{
  ports = {
    1002,
    1003,
    1004
  },
  write_timeout = 5,
  read_timeout = 10
}

That is, config.read will bring in all key/value pairs, ignore # comments, and ensure that the key names are proper Lua identifiers by replacing non-identifier characters with ‘_’. If the values are numbers, then they will be converted. (So the value of t.write_timeout is the number 5). In addition, any values which are separated by commas will be converted likewise into an array.

Any line can be continued with a backslash. So this will all be considered one line:

names=one,two,three, \
four,five,six,seven, \
eight,nine,ten

Windows-style INI files are also supported. The section structure of INI files translates naturally to nested tables in Lua:

; test.ini
[timeouts]
read=10 ; Read timeout in seconds
write=5 ; Write timeout in seconds
[portinfo]
ports = 1002,1003,1004

The output is:

{
  portinfo = {
    ports = {
      1002,
      1003,
      1004
    }
  },
  timeouts = {
    write = 5,
    read = 10
  }
}

You can now refer to the write timeout as t.timeouts.write.

As a final example of the flexibility of config.read, if passed this simple comma-delimited file

one,two,three
10,20,30
40,50,60
1,2,3

it will produce the following table:

{
  { "one", "two", "three" },
  { 10, 20, 30 },
  { 40, 50, 60  },
  { 1, 2, 3 }
}

config.read isn’t designed to read all CSV files in general, but intended to support some Unix configuration files not structured as key-value pairs, such as ‘/etc/passwd’.

This function is intended to be a Swiss Army Knife of configuration readers, but it does have to make assumptions, and you may not like them. So there is an optional extra parameter which allows some control, which is table that may have the following fields:

{
   variablilize = true,
   convert_numbers = tonumber,
   trim_space = true,
   list_delim = ',',
   trim_quotes = true,
   ignore_assign = false,
   keysep = '=',
   smart = false,
}

variablilize is the option that converted write.timeout in the first example to the valid Lua identifier write_timeout. If convert_numbers is true, then an attempt is made to convert any string that starts like a number. You can specify your own function (say one that will convert a string like ‘5224 kb’ into a number.)

trim_space ensures that there is no starting or trailing whitespace with values, and list_delim is the character that will be used to decide whether to split a value up into a list (it may be a Lua string pattern such as ‘%s+’.)

For instance, the password file in Unix is colon-delimited:

t = config.read('/etc/passwd',{list_delim=':'})

This produces the following output on my system (only last two lines shown):

{
  ...
  {
    "user",
    "x",
    "1000",
    "1000",
    "user,,,",
    "/home/user",
    "/bin/bash"
  },
  {
    "sdonovan",
    "x",
    "1001",
    "1001",
    "steve donovan,28,,",
    "/home/sdonovan",
    "/bin/bash"
  }
}

You can get this into a more sensible format, where the usernames are the keys, with this (the tablex.pairmap function must return value, key!)

t = tablex.pairmap(function(k,v) return v,v[1] end,t)

and you get:

{ ...
  sdonovan = {
    "sdonovan",
    "x",
    "1001",
    "1001",
    "steve donovan,28,,",
    "/home/sdonovan",
    "/bin/bash"
  }
...
}

Many common Unix configuration files can be read by tweaking these parameters. For /etc/fstab, the options {list_delim='%s+',ignore_assign=true} will correctly separate the columns. It’s common to find ‘KEY VALUE’ assignments in files such as /etc/ssh/ssh_config; the options {keysep=' '} make config.read return a table where each KEY has a value VALUE.

Files in the Linux procfs usually use ‘:` as the field delimiter:

> t = config.read('/proc/meminfo',{keysep=':'})
> = t.MemFree
220140 kB

That result is a string, since tonumber doesn’t like it, but defining the convert_numbers option as function(s) return tonumber((s:gsub(' kB$',''))) end will get the memory figures as actual numbers in the result. (The extra parentheses are necessary so that tonumber only gets the first result from gsub). From `tests/test-config.lua':

testconfig([[
MemTotal:        1024748 kB
MemFree:          220292 kB
]],
{ MemTotal = 1024748, MemFree = 220292 },
{
 keysep = ':',
 convert_numbers = function(s)
    s = s:gsub(' kB$','')
    return tonumber(s)
  end
 }
)

The smart option lets config.read make a reasonable guess for you; there are examples in tests/test-config.lua, but basically these common file formats (and those following the same pattern) can be processed directly in smart mode: ‘etc/fstab’, ‘/proc/XXXX/status’, ‘ssh_config’ and ‘pdatedb.conf’.

Please note that config.read can be passed a file-like object; if it’s not a string and supports the read method, then that will be used. For instance, to read a configuration from a string, use stringio.open.

Lexical Scanning

Although Lua’s string pattern matching is very powerful, there are times when something more powerful is needed. pl.lexer.scan provides lexical scanners which tokenize a string, classifying tokens into numbers, strings, etc.

> lua -lpl
Lua 5.1.4  Copyright (C) 1994-2008 Lua.org, PUC-Rio
> tok = lexer.scan 'alpha = sin(1.5)'
> = tok()
iden    alpha
> = tok()
=       =
> = tok()
iden    sin
> = tok()
(       (
> = tok()
number  1.5
> = tok()
)       )
> = tok()
(nil)

The scanner is a function, which is repeatedly called and returns the type and value of the token. Recognized basic types are ‘iden’,‘string’,‘number’, and ‘space’. and everything else is represented by itself. Note that by default the scanner will skip any ‘space’ tokens.

‘comment’ and ‘keyword’ aren’t applicable to the plain scanner, which is not language-specific, but a scanner which understands Lua is available. It recognizes the Lua keywords, and understands both short and long comments and strings.

> for t,v in lexer.lua 'for i=1,n do' do print(t,v) end
keyword for
iden    i
=       =
number  1
,       ,
iden    n
keyword do

A lexical scanner is useful where you have highly-structured data which is not nicely delimited by newlines. For example, here is a snippet of a in-house file format which it was my task to maintain:

points

(818344.1,-20389.7,-0.1),(818337.9,-20389.3,-0.1),(818332.5,-20387.8,-0.1)

,(818327.4,-20388,-0.1),(818322,-20387.7,-0.1),(818316.3,-20388.6,-0.1)
,(818309.7,-20389.4,-0.1),(818303.5,-20390.6,-0.1),(818295.8,-20388.3,-0.1)
,(818290.5,-20386.9,-0.1),(818285.2,-20386.1,-0.1),(818279.3,-20383.6,-0.1)
,(818274,-20381.2,-0.1),(818274,-20380.7,-0.1);

Here is code to extract the points using pl.lexer:

-- assume 's' contains the text above...
local lexer = require 'pl.lexer'
local expecting = lexer.expecting
local append = table.insert

local tok = lexer.scan(s)

local points = {}
local t,v = tok() -- should be 'iden','points'

while t ~= ';' do
    c = {}
    expecting(tok,'(')
    c.x = expecting(tok,'number')
    expecting(tok,',')
    c.y = expecting(tok,'number')
    expecting(tok,',')
    c.z = expecting(tok,'number')
    expecting(tok,')')
    t,v = tok()  -- either ',' or ';'
    append(points,c)
end

The expecting function grabs the next token and if the type doesn’t match, it throws an error. (pl.lexer, unlike other PL libraries, raises errors if something goes wrong, so you should wrap your code in pcall to catch the error gracefully.)

The scanners all have a second optional argument, which is a table which controls whether you want to exclude spaces and/or comments. The default for lexer.lua is {space=true,comments=true}. There is a third optional argument which determines how string and number tokens are to be processsed.

The ultimate highly-structured data is of course, program source. Here is a snippet from ‘text-lexer.lua’:

require 'pl'

lines = [[
for k,v in pairs(t) do
    if type(k) == 'number' then
        print(v) -- array-like case
    else
        print(k,v)
    end
end
]]

ls = List()
for tp,val in lexer.lua(lines,{space=true,comments=true}) do
    assert(tp ~= 'space' and tp ~= 'comment')
    if tp == 'keyword' then ls:append(val) end
end
test.asserteq(ls,List{'for','in','do','if','then','else','end','end'})

Here is a useful little utility that identifies all common global variables found in a lua module (ignoring those declared locally for the moment):

-- testglobal.lua
require 'pl'

local txt,err = utils.readfile(arg[1])
if not txt then return print(err) end

local globals = List()
for t,v in lexer.lua(txt) do
    if t == 'iden' and _G[v] then
        globals:append(v)
    end
end
pretty.dump(seq.count_map(globals))

Rather then dumping the whole list, with its duplicates, we pass it through seq.count_map which turns the list into a table where the keys are the values, and the associated values are the number of times those values occur in the sequence. Typical output looks like this:

{
  type = 2,
  pairs = 2,
  table = 2,
  print = 3,
  tostring = 2,
  require = 1,
  ipairs = 4
}

You could further pass this through tablex.keys to get a unique list of symbols. This can be useful when writing ‘strict’ Lua modules, where all global symbols must be defined as locals at the top of the file.

For a more detailed use of lexer.scan, please look at testxml.lua in the examples directory.

XML

New in the 0.9.7 release is some support for XML. This is a large topic, and Penlight does not provide a full XML stack, which is properly the task of a more specialized library.

Parsing and Pretty-Printing

The semi-standard XML parser in the Lua universe is lua-expat. In particular, it has a function called lxp.lom.parse which will parse XML into the Lua Object Model (LOM) format. However, it does not provide a way to convert this data back into XML text. xml.parse will use this function, if lua-expat is available, and otherwise switches back to a pure Lua parser originally written by Roberto Ierusalimschy.

The resulting document object knows how to render itself as a string, which is useful for debugging:

> d = xml.parse "<nodes><node id='1'>alice</node></nodes>"
> = d
<nodes><node id='1'>alice</node></nodes>
> pretty.dump (d)
{
  {
    "alice",
    attr = {
      "id",
      id = "1"
    },
    tag = "node"
  },
  attr = {
  },
  tag = "nodes"
}

Looking at the actual shape of the data reveals the structure of LOM:

  • every element has a tag field with its name
  • plus a attr field which is a table containing the attributes as fields, and also as an array. It is always present.
  • the children of the element are the array part of the element, so d[1] is the first child of d, etc.

It could be argued that having attributes also as the array part of attr is not essential (you cannot depend on attribute order in XML) but that’s how it goes with this standard.

lua-expat is another soft dependency of Penlight; generally, the fallback parser is good enough for straightforward XML as is commonly found in configuration files, etc. doc.basic_parse is not intended to be a proper conforming parser (it’s only sixty lines) but it handles simple kinds of documents that do not have comments or DTD directives. It is intelligent enough to ignore the <?xml directive and that is about it.

You can get pretty-printing by explicitly calling xml.tostring and passing it the initial indent and the per-element indent:

> = xml.tostring(d,'','  ')

<nodes>
  <node id='1'>alice</node>
</nodes>

There is a fourth argument which is the attribute indent:

> a = xml.parse "<frodo name='baggins' age='50' type='hobbit'/>"
> = xml.tostring(a,'','  ','  ')

<frodo
  type='hobbit'
  name='baggins'
  age='50'
/>

Parsing and Working with Configuration Files

It’s common to find configurations expressed with XML these days. It’s straightforward to ‘walk’ the LOM data and extract the data in the form you want:

require 'pl'

local config = [[
<config>
    <alpha>1.3</alpha>
    <beta>10</beta>
    <name>bozo</name>
</config>
]]
local d,err = xml.parse(config)

local t = {}
for item in d:childtags() do
    t[item.tag] = item[1]
end

pretty.dump(t)
--->
{
  beta = "10",
  alpha = "1.3",
  name = "bozo"
}

The only gotcha is that here we must use the Doc:childtags method, which will skip over any text elements.

A more involved example is this excerpt from serviceproviders.xml, which is usually found at /usr/share/mobile-broadband-provider-info/serviceproviders.xml on Debian/Ubuntu Linux systems.

d = xml.parse [[
<serviceproviders format="2.0">
...
<country code="za">
    <provider>
        <name>Cell-c</name>
        <gsm>
            <network-id mcc="655" mnc="07"/>
            <apn value="internet">
                <username>Cellcis</username>
                <dns>196.7.0.138</dns>
                <dns>196.7.142.132</dns>
            </apn>
        </gsm>
    </provider>
    <provider>
        <name>MTN</name>
        <gsm>
            <network-id mcc="655" mnc="10"/>
            <apn value="internet">
                <dns>196.11.240.241</dns>
                <dns>209.212.97.1</dns>
            </apn>
        </gsm>
    </provider>
    <provider>
        <name>Vodacom</name>
        <gsm>
            <network-id mcc="655" mnc="01"/>
            <apn value="internet">
                <dns>196.207.40.165</dns>
                <dns>196.43.46.190</dns>
            </apn>
            <apn value="unrestricted">
                <name>Unrestricted</name>
                <dns>196.207.32.69</dns>
                <dns>196.43.45.190</dns>
            </apn>
        </gsm>
    </provider>
    <provider>
        <name>Virgin Mobile</name>
        <gsm>
            <apn value="vdata">
                <dns>196.7.0.138</dns>
                <dns>196.7.142.132</dns>
            </apn>
        </gsm>
    </provider>
</country>
....
</serviceproviders>
]]

Getting the names of the providers per-country is straightforward:

local t = {}
for country in d:childtags() do
    local providers = {}
    t[country.attr.code] = providers
    for provider in country:childtags() do
        table.insert(providers,provider:child_with_name('name'):get_text())
    end
end

pretty.dump(t)
-->
{
  za = {
    "Cell-c",
    "MTN",
    "Vodacom",
    "Virgin Mobile"
  }
  ....
}

Generating XML with ‘xmlification’

This feature is inspired by the htmlify function used by Orbit to simplify HTML generation, except that no function environment magic is used; the tags function returns a set of constructors for elements of the given tag names.

> nodes, node = xml.tags 'nodes, node'
> = node 'alice'
<node>alice</node>
> = nodes { node {id='1','alice'}}
<nodes><node id='1'>alice</node></nodes>

The flexibility of Lua tables is very useful here, since both the attributes and the children of an element can be encoded naturally. The argument to these tag constructors is either a single value (like a string) or a table where the attributes are the named keys and the children are the array values.

Generating XML using Templates

A template is a little XML document which contains dollar-variables. The subst method on a document is fed an array of tables containing values for these variables. Note how the parent tag name is specified:

> templ = xml.parse "<node id='$id'>$name</node>"
> = templ:subst {tag='nodes', {id=1,name='alice'},{id=2,name='john'}}
<nodes><node id='1'>alice</node><node id='2'>john</node></nodes>

Substitution is very related to filtering documents. One of the annoying things about XML is that it is a document markup language first, and a data language second. Standard parsers will assume you really care about all those extra text elements. Consider this fragment, which has been changed by a five-year old:

T = [[
  <weather>
    boops!
    <current_conditions>
      <condition data='$condition'/>
      <temp_c data='$temp'/>
      <bo>whoops!</bo>
    </current_conditions>
  </weather>
]]

Conformant parsers will give you text elements with the line feed after <current_conditions> although it makes handling the data more irritating.

local function parse (str)
    return xml.parse(str,false,true)
end

Second argument means ‘string, not file’ and third argument means use the built-in Lua parser (instead of LuaExpat if available) which by default is not interested in keeping such strings.

How to remove the string boops!? clone (also called filter when called as a method) copies a LOM document. It can be passed a filter function, which is applied to each string found. The powerful thing about this is that this function receives structural information - the parent node, and whether this was a tag name, a text element or a attribute name:

d = parse (T)
c = d:filter(function(s,kind,parent)
    print(stringx.strip(s),kind,parent and parent.tag or '?')
    if kind == '*TEXT' and #parent > 1 then return nil end
    return s
end)
--->
weather    *TAG    ?
boops!    *TEXT    weather
current_conditions    *TAG    weather
condition    *TAG    current_conditions
$condition    data    condition
temp_c    *TAG    current_conditions
$temp    data    temp_c
bo    *TAG    current_conditions
whoops!    *TEXT    bo

We can pull out ‘boops’ and not ‘whoops’ by discarding text elements which are not the single child of an element.

Extracting Data using Templates

Matching goes in the opposite direction. We have a document, and would like to extract values from it using a pattern.

A common use of this is parsing the XML result of API queries. The (undocumented and subsequently discontinued) Google Weather API is a good example. Grabbing the result of `http://www.google.com/ig/api?weather=Johannesburg,ZA" we get something like this, after pretty-printing:

<xml_api_reply version='1'>
  <weather module_id='0' tab_id='0' mobile_zipped='1' section='0' row='0'

mobile_row=‘0’>

<forecast_information>
  <city data='Johannesburg, Gauteng'/>
  <postal_code data='Johannesburg,ZA'/>
  <latitude_e6 data=''/>
  <longitude_e6 data=''/>
  <forecast_date data='2010-10-02'/>
  <current_date_time data='2010-10-02 18:30:00 +0000'/>
  <unit_system data='US'/>
</forecast_information>
<current_conditions>
  <condition data='Clear'/>
  <temp_f data='75'/>
  <temp_c data='24'/>
  <humidity data='Humidity: 19%'/>
  <icon data='/ig/images/weather/sunny.gif'/>
  <wind_condition data='Wind: NW at 7 mph'/>
</current_conditions>
<forecast_conditions>
  <day_of_week data='Sat'/>
  <low data='60'/>
  <high data='89'/>
  <icon data='/ig/images/weather/sunny.gif'/>
  <condition data='Clear'/>
</forecast_conditions>
....
/weather>
l_api_reply>

Assume that the above XML has been read into google. The idea is to write a pattern looking like a template, and use it to extract some values of interest:

t = [[
  <weather>
    <current_conditions>
      <condition data='$condition'/>
      <temp_c data='$temp'/>
    </current_conditions>
  </weather>
]]

local res, ret = google:match(t)
pretty.dump(res)

And the output is:

{
  condition = "Clear",
  temp = "24"
}

The match method can be passed a LOM document or some text, which will be parsed first.

But what if we need to extract values from repeated elements? Match templates may contain ‘array matches’ which are enclosed in ‘{{..}}’:

<weather>
  {{<forecast_conditions>
    <day_of_week data='$day'/>
    <low data='$low'/>
    <high data='$high'/>
    <condition data='$condition'/>
  </forecast_conditions>}}
</weather>

And the match result is:

{
  {
    low = "60",
    high = "89",
    day = "Sat",
    condition = "Clear",
  },
  {
    low = "53",
    high = "86",
    day = "Sun",
    condition = "Clear",
  },
  {
    low = "57",
    high = "87",
    day = "Mon",
    condition = "Clear",
  },
  {
    low = "60",
    high = "84",
    day = "Tue",
    condition = "Clear",
  }
}

With this array of tables, you can use tablex or List to reshape into the desired form, if you choose. Just as with reading a Unix password file with config, you can make the array into a map of days to conditions using:

tablex.pairmap('|k,v| v,v.day',conditions)

(Here using the alternative string lambda option)

However, xml matches can shape the structure of the output. By replacing the day_of_week line of the template with <day_of_week data='$_'/> we get the same effect; $_ is a special symbol that means that this captured value (or simply capture) becomes the key.

Note that $NUMBER means a numerical index, so that $1 is the first element of the resulting array, and so forth. You can mix numbered and named captures, but it’s strongly advised to make the numbered captures form a proper array sequence (everything from 1 to n inclusive). $0 has a special meaning; if it is the only capture ({[0]='foo'}) then the table is collapsed into ‘foo’.

<weather>
  {{<forecast_conditions>
    <day_of_week data='$_'/>
    <low data='$1'/>
    <high data='$2'/>
    <condition data='$3'/>
  </forecast_conditions>}}
</weather>

Now the result is:

{
  Tue = {
    "60",
    "84",
    "Clear"
  },
  Sun = {
    "53",
    "86",
    "Clear"
  },
  Sat = {
    "60",
    "89",
    "Clear"
  },
  Mon = {
    "57",
    "87",
    "Clear"
  }
}

Applying matches to this config file poses another problem, because the actual tags matched are themselves meaningful.

<config>
    <alpha>1.3</alpha>
    <beta>10</beta>
    <name>bozo</name>
</config>

So there are tag ‘wildcards’ which are element names ending with a hyphen.

<config>
    {{<key->$value</key->}}
</config>

You will then get {{alpha='1.3'},…}. The most convenient format would be returned by this (note that _- behaves just like $_):

<config>
    {{<_->$0</_->}}
</config>

which would return {alpha='1.3',beta='10',name='bozo'}.

We could play this game endlessly, and encode ways of converting captures, but the scheme is complex enough, and it’s easy to do the conversion later

local numbers = {alpha=true,beta=true}
for k,v in pairs(res) do
    if numbers[v] then res[k] = tonumber(v) end
end

HTML Parsing

HTML is an unusually degenerate form of XML, and Dennis Schridde has contributed a feature which makes parsing it easier. For instance, from the tests:

doc = xml.parsehtml [[
<BODY>
Hello dolly<br>
HTML is <b>slack</b><br>
</BODY>
]]

asserteq(xml.tostring(doc),[[
<body>
Hello dolly<br/>
HTML is <b>slack</b><br/></body>]])

That is, all tags are converted to lowercase, and empty HTML elements like br are properly closed; attributes do not need to be quoted.

Also, DOCTYPE directives and comments are skipped. For truly badly formed HTML, this is not the tool for you!

generated by LDoc 1.4.6 Last updated 2017-07-18 16:28:41