Selective Intellect

View Original

Perl's Pegex Module: a great way to parse files by creating grammars

We recently came across Pegex and found it to be an interesting module for parsing text data. Instead of using regular expressions directly, the user can write a grammar for the data to be parsed. The data can be automatically converted to a native Perl object or, if the user desires, it's possible to use actions to handle the grammar while parsing using a Pegex::Receiver class.

Pegex uses the type of grammars called Parsing Expression Grammars (PEG), which is an unambiguous form of writing a grammar. Each parsed string will in effect have a single valid parse tree. Since Pegex converts the rules of the grammar to regular expressions, it is a greedy parser.

In this blog post we demonstrate how to easily use Pegex to parse an /etc/hosts file on Linux and convert the result into Perl objects automatically without having to manually create any object.

The /etc/hosts file

Let's take a look at a typical /etc/hosts file on a Linux system. The below file has some manually entered entries for myrouter and myserver in addition to the default entries for the localhost which is named mydesktop.

We want to parse this file using Pegex and convert each line into a native Perl hash with the appropriate keys defining whether the address is IPv4 or IPv6 and what the host aliases are and their respective IP addresses. We can do this without using any split functions or manually writing any regular expressions !

127.0.0.1   localhost
127.0.1.1   mydesktop.example.local    mydesktop
192.168.1.1 myrouter
192.168.1.3 myserver
# this is a comment and below is a blank line

# The following lines are desirable for IPv6 capable hosts
::1     ip6-localhost ip6-loopback
fe00::0 ip6-localnet
ff00::0 ip6-mcastprefix
ff02::1 ip6-allnodes
ff02::2 ip6-allrouters

Writing the Grammar

The Pegex grammar has its own syntax as described in Pegex::Syntax.

The grammar is a collection of rules and looks like below:

%grammar etchosts
%version 0.01

hosts: host | blanks | comments
comments: /- HASH ANY* EOL/
blanks: /- EOL/
host: ip - aliases /- EOL?/
ip: ipv4 | ipv6
aliases: alias+
alias: - /(ALNUM (: WORD | DOT | DASH )*)/ -

ipv4: /((: DIGIT{1,3} DOT ){3} DIGIT{1,3} )/
ipv6: /((: HEX* COLON{1,2} HEX* )+ )/

The lines beginning with the % tag are meta rules and represent information on the grammar such as the name of the grammar and the version. This allows the developer to manage multiple versioned grammars in their program.

The rest of the lines are rules and they begin with a rule name and a : followed by the description of the rule as per the Pegex::Syntax document.

The first rule hosts is the global or top-level rule for the grammar. The hosts rule can have three variations, viz., host, blanks and comments which represent the host definitions, blank lines and comments beginning with #, respectively. We need to be able to handle blank lines and comments since various /etc/hosts files have them either by default or added by the user.

The - is a shorthand for whitespace and EOL is a shorthand for the end of line characters \r\n or \n. HASH is a named rule describing the # symbol and COLON is a named rule describing the : symbo. DIGIT represents the regular expression [0-9], HEX represents the regular expression [0-9A-Fa-f] that describes numbers in the hexadecimal format, and ANY represents any character except newline. The WORD represents the regular expression \w, DOT and
DASH represent the . and - characters, respectively.

Rules enclosed in // define a specific regular expression that will be generated, and are useful for creating the low-level rules using the atoms.

Detailed descriptions of all the available atoms are available at Pegex::Grammar::Atoms

High-level rules are a collection of other rules separated using the | (OR) operation or the default AND operation.

Let's try to understand the ipv4 rule. Like a standard regular expression capture we are trying to capture the IPv4 address on each line of the input. We do that by enclosing the items to be captured in parentheses. An IPv4 address is in the format xxx.xxx.xxx.xxx where xxx is a number between 0 and 255. So we need to capture a three digit number, hence we use DIGIT{1,3}, followed by a ., and this pattern repeats three times followed by another three digit number. Hence we have the DIGIT{1,3} DOT followed by a {3} and another DIGIT{1,3}.

Similarly, the rule for parsing IPv6 addresses can be implemented since it is one or more hexadecimal numbers separated by a ::. The alias of the IPv4 or IPv6 address is given by the alias rule. The alias can have any alphanumeric characters and the characters _, - and .. The alphanumeric characters and _ can be represented by the atom WORD which translates to \w. We then use the | operator to say that the name can have any of these characters and has to start with an alphanumeric character, hence we start it with ALNUM.

Executing the Grammar

The grammar can be then placed in a string using the heredoc format in Perl or by reading it from a file or loading it from a database or any other method as required by the developer. The beauty of using Pegex to parse arbitrary files is that the grammars can be loaded on the fly and used for parsing, without having to edit the overall script.

Pegex parses text files one line at a time. The parsing is stateless, so to maintain state the user will need to develop a Pegex::Receiver class. If the file is a collection of stateless lines such as /etc/hosts is we can use the in-built receiver class and retrieve an object for each line using the pegex() function directly as shown in the below script.

We collect the parsed objects and dump them as a YAML string using the YYY function from the XXX module which is a great debugging tool. The user can also use Data::Dumper to dump the objects in the Perl format.

The final Perl script looks like the following code block and can be downloaded here.

See this content in the original post

The sample /etc/hosts file shown above can be downloaded as etchosts_sample.

We now run the following command and view the output in YAML:

See this content in the original post