finish binary example and update documentation
This commit is contained in:
parrt
parent
c8cb2fde73
commit
a6a730405f
|
|
@ -51,6 +51,8 @@ This documentation is a reference and summarizes grammar syntax and the key sema
|
|||
|
||||
* [Runtime Libraries and Code Generation Targets](targets.md)
|
||||
|
||||
* [Parsing binary streams](parsing-binary-files.md)
|
||||
|
||||
* [Parser and lexer interpreters](interpreters.md)
|
||||
|
||||
* [Resources](resources.md)
|
||||
|
|
|
|||
|
|
@ -1,24 +1,39 @@
|
|||
# Parsing Binary Files
|
||||
|
||||
Parsing binary files is no different than parsing character-based files except that the "characters" are actually bytes not 16-bit unsigned short unicode characters. From a lexer/parser point of view, there is no difference except that the characters are likely not printable. If you want to match a special 2-byte marker 0xCA then 0xFE, the following rule is sufficient.
|
||||
|
||||
```
|
||||
MARKER : '\u00CA' '\u00FE' ;
|
||||
```
|
||||
|
||||
The parser of course would refer to that token like any other token.
|
||||
|
||||
Here is a sample grammar for use with the code snippets below.
|
||||
|
||||
```
|
||||
grammar IP;
|
||||
|
||||
file : ip+ (MARKER ip)* ;
|
||||
|
||||
ip : BYTE BYTE BYTE BYTE ;
|
||||
ip : BYTE '.' BYTE '.' BYTE '.' BYTE ;
|
||||
|
||||
MARKER : '\u00CA' '\u00FE' ;
|
||||
BYTE : '\u0000'..'\u00FF' ;
|
||||
```
|
||||
|
||||
Notice that `BYTE` is using a range operator to match anything between 0 and 255. We can't use character classes like `[a-z]` naturally because we are not parsing character codes. All character specifiers must have `00` as their upper byte. E.g., `\uCAFE` is not a valid character because that 16-bit value will never be created from the input stream (bytes only remember).
|
||||
|
||||
If there are actual characters like `$` or `!` encoded as bytes in the binary file, you can refer to them via literals like `'$'` as you normally would. See `'.'` in the grammar.
|
||||
|
||||
## Binary streams
|
||||
|
||||
There are many targets now so I'm not sure exactly how they process text files but most targets will pull in text per the machine's locale. Much of the time this will mean UTF-8 encoding of text converted to 16-bit Unicode. ANTLR's lexers operate on `int` so we can handle any kind of character you want to send in that fits in `int`.
|
||||
|
||||
Once the lexer gets an input stream, it doesn't care whether the characters come from / represent bytes or actual Unicode characters.
|
||||
|
||||
Let's get a binary file called `ips` and put it in our resources directory:
|
||||
|
||||
```java
|
||||
package binary;
|
||||
|
||||
import java.io.File;
|
||||
import java.io.FileOutputStream;
|
||||
import java.io.IOException;
|
||||
import java.nio.file.Files;
|
||||
|
||||
public class WriteBinaryFile {
|
||||
public static final byte[] bytes = {
|
||||
(byte)172, 0, 0, 1, (byte)0xCA, (byte)0xFE,
|
||||
|
|
@ -32,42 +47,55 @@ public class WriteBinaryFile {
|
|||
}
|
||||
```
|
||||
|
||||
Now we need to create a stream of bytes satisfactory to ANTLR, which is as simple as:
|
||||
|
||||
```java
|
||||
package binary;
|
||||
ANTLRFileStream bytesAsChar = new ANTLRFileStream("resources/ips", "ISO-8859-1");
|
||||
```
|
||||
|
||||
import org.antlr.v4.runtime.ANTLRFileStream;
|
||||
import org.antlr.v4.runtime.CommonTokenStream;
|
||||
import org.antlr.v4.runtime.tree.ParseTree;
|
||||
import org.antlr.v4.runtime.tree.ParseTreeWalker;
|
||||
The `ISO-8859-1` encoding is just the 8-bit char encoding for LATIN-1, which effectively tells the stream to treat each byte as a character. That's what we want. Then we have the usual test rig:
|
||||
|
||||
/** Test ANTLR parser that reads binary files full of IP addresses with
|
||||
* a 0xCAFE marker in between. Output should be:
|
||||
[172, 0, 0, 1]
|
||||
[10, 10, 10, 1]
|
||||
[10, 10, 10, 99]
|
||||
*/
|
||||
public class TestBinary {
|
||||
public static void main(String[] args) throws Exception {
|
||||
ANTLRFileStream bytesAsChar = new BinaryANTLRFileStream("resources/ips");
|
||||
IPLexer lexer = new IPLexer(bytesAsChar);
|
||||
CommonTokenStream tokens = new CommonTokenStream(lexer);
|
||||
tokens.fill();
|
||||
IPParser parser = new IPParser(tokens);
|
||||
ParseTree tree = parser.file();
|
||||
IPBaseListener listener = new MyIPListener();
|
||||
ParseTreeWalker.DEFAULT.walk(listener, tree);
|
||||
|
||||
```java
|
||||
ANTLRFileStream bytesAsChar = new ANTLRFileStream("resources/ips", "ISO-8859-1");
|
||||
IPLexer lexer = new IPLexer(bytesAsChar);
|
||||
CommonTokenStream tokens = new CommonTokenStream(lexer);
|
||||
IPParser parser = new IPParser(tokens);
|
||||
ParseTree tree = parser.file();
|
||||
IPBaseListener listener = new MyIPListener();
|
||||
ParseTreeWalker.DEFAULT.walk(listener, tree);
|
||||
```
|
||||
|
||||
Here is the listener:
|
||||
|
||||
```java
|
||||
class MyIPListener extends IPBaseListener {
|
||||
@Override
|
||||
public void exitIp(IPParser.IpContext ctx) {
|
||||
List<TerminalNode> octets = ctx.BYTE();
|
||||
short[] ip = new short[4];
|
||||
for (int i = 0; i<octets.size(); i++) {
|
||||
String oneCharStringHoldingOctet = octets.get(i).getText();
|
||||
ip[i] = (short)oneCharStringHoldingOctet.charAt(0);
|
||||
}
|
||||
System.out.println(Arrays.toString(ip));
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
We can't just print out the text because we are not reading in text. We need to emit each byte as a decimal value. The output should be the following when you run the test code:
|
||||
|
||||
```
|
||||
[172, 0, 0, 1]
|
||||
[10, 10, 10, 1]
|
||||
[10, 10, 10, 99]
|
||||
```
|
||||
package binary;
|
||||
|
||||
import org.antlr.v4.runtime.ANTLRFileStream;
|
||||
import org.antlr.v4.runtime.misc.Interval;
|
||||
## Custom stream
|
||||
|
||||
import java.io.IOException;
|
||||
If you want to play around with the stream, you can. Here's an example that alters how "text" is computed from the byte stream (which changes how tokens print out their text as well):
|
||||
|
||||
```java
|
||||
/** make a stream treating file as full of single unsigned byte characters */
|
||||
class BinaryANTLRFileStream extends ANTLRFileStream {
|
||||
public BinaryANTLRFileStream(String fileName) throws IOException {
|
||||
|
|
@ -92,3 +120,63 @@ class BinaryANTLRFileStream extends ANTLRFileStream {
|
|||
}
|
||||
}
|
||||
```
|
||||
|
||||
The new test code starts out like this:
|
||||
|
||||
```java
|
||||
ANTLRFileStream bytesAsChar = new BinaryANTLRFileStream("resources/ips");
|
||||
IPLexer lexer = new IPLexer(bytesAsChar);
|
||||
...
|
||||
```
|
||||
|
||||
This simplifies our listener then:
|
||||
|
||||
```java
|
||||
class MyIPListenerCustomStream extends IPBaseListener {
|
||||
@Override
|
||||
public void exitIp(IPParser.IpContext ctx) {
|
||||
List<TerminalNode> octets = ctx.BYTE();
|
||||
System.out.println(octets);
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
You should get this enhanced output:
|
||||
|
||||
```
|
||||
[172(0xAC), 0(0x0), 0(0x0), 1(0x1)]
|
||||
[10(0xA), 10(0xA), 10(0xA), 1(0x1)]
|
||||
[10(0xA), 10(0xA), 10(0xA), 99(0x63)]
|
||||
```
|
||||
|
||||
## Error handling in binary files
|
||||
|
||||
Error handling proceeds exactly like any other parser. For example, let's alter the binary file so that it is missing one of the 0's in the first IP address:
|
||||
|
||||
```java
|
||||
public static final byte[] bytes = {
|
||||
(byte)172, '.', 0, '.', '.', 1, (byte)0xCA, (byte)0xFE, // OOOPS
|
||||
(byte)10, '.', 10, '.', 10, '.', 1, (byte)0xCA, (byte)0xFE,
|
||||
(byte)10, '.', 10, '.', 10, '.', 99
|
||||
};
|
||||
```
|
||||
|
||||
Running the original test case gives us:
|
||||
|
||||
```
|
||||
line 1:4 extraneous input '.' expecting BYTE
|
||||
line 1:6 mismatched input 'Êþ' expecting '.'
|
||||
[172, 0, 1, 0]
|
||||
[10, 10, 10, 1]
|
||||
[10, 10, 10, 99]
|
||||
```
|
||||
|
||||
That `'Êþ'` is just to the character representation of two bytes 0xCA and 0xFE. Using the enhanced binary stream, we see:
|
||||
|
||||
```
|
||||
line 1:4 extraneous input '46(0x2E)' expecting BYTE
|
||||
line 1:6 mismatched input '202(0xCA)254(0xFE)' expecting '.'
|
||||
[172(0xAC), 0(0x0), 1(0x1)]
|
||||
[10(0xA), 10(0xA), 10(0xA), 1(0x1)]
|
||||
[10(0xA), 10(0xA), 10(0xA), 99(0x63)]
|
||||
```
|
||||
Loading…
Reference in New Issue