Pattern-matching on byte buffers.
js
var bitsyntax = require('bitsyntax');
var pattern = bitsyntax.matcher('len:8/integer, str:len/binary');
var bound = pattern(new Buffer([4, 0x41, 0x42, 0x43, 0x44]));
bound.str
// =>
`
A typical use of this is parsing byte streams from sockets. For
example, size-prefixed frames:
`js
var framePattern = bitsyntax.matcher('len:32/integer, frame:len/binary, rest/binary');
socket.on('data', function process(data) {
var m;
if (m = framePattern(data)) {
emit('frame', m.frame);
process(m.rest);
}
else {
stashForNextData(data);
}
});
`
Patterns can also be used to construct byte buffers from supplied
values:
`js
var spdyDataFrame = require('bitsyntax')
.builder('streamId:32, flags:8, length:24, data/binary');
spdyDataFrame({streamId:5, flags:0, length:bin.length, data:bin});
`
One or more segments of a pattern may also be supplied in multiple
arguments, if that is more convenient; this makes it easier to split a
long pattern over lines:
`js
var p = bitsyntax.matcher('size:8, payload:size/binary',
'rest/binary');
`
API
$3
Compiles a pattern as a string (or strings), to a function that will
return either a map of bindings, or false, given a buffer and
optionally an environment. The environment contains values for bound
variables in the pattern (if there are any).
`js
var p = bitsyntax.matcher('header:headerSize/binary, rest/binary');
var b = p(new Buffer([1, 2, 3, 4, 5]), {headerSize: 3});
b.header
// =>
`
A matcher will return false if the supplied buffer does not match
the pattern; for example, if it has too few bytes, or a literal is not
present.
`js
var p = bitsyntax.matcher('"foo=", str/binary');
p(new Buffer("bar=humbug"));
// => false
`
$3
When composed, equivalent to matcher; may be useful if you want to
examine the internal structure of patterns.
parse takes strings as for matcher, and returns the internal
representation of the pattern. match takes this representation, a
buffer, and optionally an environment, and returns the bindings or
false (as with matcher).
`js
var p = bitsyntax.parse('header:headerSize/binary',
'rest/binary');
var b = bitsyntax.match(p, new Buffer([1, 2, 3, 4, 5]),
{headerSize: 3});
b.header
// =>
`
$3
Takes a pattern and returns a function that will construct a byte
buffer, given values for the variables mentioned in the pattern.
`js
var cons = bitsyntax.builder('size:8, bin/binary');
cons({size:6, bin:new Buffer('foobar')});
// =>
`
Patterns supplied to builders are slightly different to patterns
supplied for matching, as noted below.
$3
Takes a parsed pattern and a map of variable values, and returns a
buffer. As with match, may be useful to debug patterns.
`js
var pattern = bitsyntax.parse('size:8, bin:size/binary');
bitsyntax.build(pattern, {size:6, bin: new Buffer('foobar')});
// =>
`
$3
Writes variable values into a buffer, at an offset, according to the
parsed pattern given. Returns the finishing offset, i.e., the supplied
offset plus the number of bytes written.
`js
var pattern = bitsyntax.parse('size:8, bin/binary');
var buf = new Buffer(7);
bitsyntax.write(buf, 0, pattern,
{size:6, bin: new Buffer('foobar')});
// => 7
buf
// =>
`
Patterns
Patterns are sequences of segments, each matching a value. Segments
have the general form
`text
value:size/type_specifier_list
`
The size and type specifier list may be omitted, giving three extra
variations:
`text
value
value:size
value/type_specifier_list
`
The type specifier list is a list of keywords separated by
hyphens. Type specifiers are described below.
Patterns are generally supplied as strings, with a comma-separated
series of segments.
$3
The first part of a segment gives a variable name or a literal
value. If a variable name is given, the value matched by the segment
will be bound to that variable name for the rest of the pattern. If a
literal value is given, the matched value must equal that value. If a
variable's value is given in the environment, the matched value must
equal the provided value.
When used in a builder, the literal value will be copied into the
buffer according to the type it is given. A variable name indicates a
slot into which a value supplied to the builder will be copied.
The special variable name _ discards the value matched; i.e., it
simply skips over the appropriate number of bits in the input. '_' is
not allowed in builder patterns.
$3
The size of a segment is given following the value or variable,
separated with a colon:
`text
foo:32
`
The unit is given in the list of specifiers as 'unit' and
text
foo:4/integer-unit:8
`
The size is the number of units in the value; the unit is given as a
number of bits. Unit can be of use, for example, when you want to
match integers of a number of bytes rather than a number of bits.
For integers and floats, the default unit is 1 bit; to keep things
aligned on byte boundaries, unit * size must currently be a multiple
of 8. For binaries the default unit is 8, and the unit must be a
multiple of 8.
If the size is omitted and the type is integer, the size defaults to
8. If the size is omitted and the type is binary, the segment will
match all remaining bytes in the input; such a segment may only be
used at the end of a pattern, when matching.
The size may also be given as an integer variable matched earlier in
the pattern, as in the example given at the top. When constructing, a
size may be a variable referring to the supplied environment.
In builders, numbers will be rounded, masked or padded to fit the size
and units given; for example, '256:8' gives the binary Buffer<00>
because the lowest eight bits are 0; '255:16 gives the binary
Buffer<00 ff>.
$3
One of integer, binary, string, float,
string-hex, string-binary, bcd, string-z,
binary-z.
If not given, the default is integer.
An integer is a big- or little-endian, signed or unsigned
integer. Integers up to 32 bits are supported. Signed integers are
two's complement format. In JavaScript, only integers between -(2^53)
and 2^53 can be represented, and bitwise operators are only defined on
32-bit signed integers.
A binary is simply a byte buffer; usually this will result in a slice
of the input buffer being returned, so beware mutation.
A string is a UTF8 string consisting of the given number of bytes.
A float is a 32- or 64-bit IEEE754 floating-point value (this is the
standard JavaScript uses, as do Java and Erlang).
String with padding specifiers:
string-left-zero, string-left-space,
string-right-zero, string-right-space
$3
Integers may be big- or little-endian; this refers to which 'end' of
the bytes making up the integer are most significant. In network
protocols integers are usually big-endian, meaning the first
(left-most) byte is the most significant, but this is not always the
case.
A specifier of big means the integer will be parsed (or written into
the result) as big-endian, and little means the integer will be
parsed or written as little-endian. The default is big-endian.
$3
Integer segments may include a specifier of signed or unsigned. A
signed integer is parsed as two's complement format. The default is
unsigned.
Signedness is ignored in builders.
$3
A quoted string appearing in a pattern is a shorthand for the bytes in
its UTF8 encoding. For example,
`text
"foobar", _/binary
`
matches any buffer that starts with the bytes 0x66, 0x6f, 0x6f, 0x62,
.
When used in a builder, a quoted string is copied into the result as
the bytes of its UTF8 encoding.
Examples
In the following the matched bytes are given in array notation for
convenience. Bear in mind that match() actually takes a buffer for
the bytes to match against. The phrase "returns X as Y" or "binds X as
Y" means the return value is an object with value X mapped to the key
Y.
`text
54
`
Matches the single byte 54.
`text
54:32
`
Matches the bytes [0,0,0,54].
`text
54:32/little
`
Matches the bytes [54,0,0,0].
`text
54:4/unit:8
`
Matches the bytes [0,0,0,54].
`text
int:32/signed
`
Matches a binary of four bytes, and returns a signed 32-bit integer as
int.
`text
len:16, str:len/binary
`
Matches a binary of 2 + len bytes, and returns an unsigned 16-bit
integer as len and a buffer of length len as str.
`text
len:16, _:len/binary, rest/binary
`
Matches a binary of at least 2 + len bytes, binds an unsigned 16-bit
integer as len, ignores the next len bytes, and binds the
remaining (possibly zero-length) binary as rest.
`text
s:8, key:s/binary, value/binary
`
When given the environment {s:6, key: "foobar"}, will match a binary
starting with [6, 0x66, 0x6f, 0x6f, 0x62, 0x61, 0x72, ...].
`text
a:4/string, b:4/string-hex, c:3/bcd
`
Matches the buffer
[97, 98, 99, 100, 51, 48, 51, 49, 0x00, 0x12, 0x34],
result is {a:"abcd", b: "01", c: 1234}
`text
d:24/string-binary
`
Matches the buffer [48, 48, 49, 49, 48, 48, 48, 49,
48, 48, 49, 49, 48, 48, 49, 48,
48, 48, 49, 49, 48, 48, 49, 49],
result is {d:"123"}
`text
a:10/string-hex
`
Matches the buffer
Buffer([0x36, 0x64, 0x36, 0x65, 0x36, 0x66, 0x33, 0x31, 0x33, 0x32])
or Buffer([54, 100, 54, 101, 54, 102, 51, 49, 51, 50])
or Buffer('6d6e6f3132'), result is {a: "mno12"}
`text
a:6/string-left-zero
`
bitsyntax.build(bitsyntax.parse("a:6/string-left-zero"), {a: "12"})
result is buffer [48, 48, 48, 48, 49, 50],
equivalent of new Buffer("000012")
`text
a:4/string-z
`
Matches zero terminated string
Buffer([97, 98, 99, 100, 101, 102, 0x00]),
result is {a: "abcdef"}
`text
a:8/binary-z, b:6/binary-z, r/binary
`
Matches zero terminated binary
Buffer([97, 98, 99, 100, 101, 102, 0x00, 97, 98, 0x00, 97, 98, 99]),
result is
{a: Buffer([97, 98, 99, 100, 101, 102]),
b: Buffer([97, 98]), r: Buffer([97, 98, 99])}`