Support parsing null characters

Author: arithy

src/packcc.c

@@ -0,0 +1 @@
+/input.bin

tests/null.d/.gitignore

@@ -0,0 +1,22 @@
+CHAR_A
+CHAR_CLASS_0_A
+CHAR_CLASS_1_A
+CHAR_CLASS_2_A
+CHAR_CLASS_3_A
+STRING_0_A
+STRING_1_A
+STRING_2_A
+STRING_3_A
+CHAR_CLASS_0_A
+CAPTURED_A
+CHAR_B
+CHAR_CLASS_0_B
+CHAR_CLASS_1_B
+CHAR_CLASS_2_B
+CHAR_CLASS_3_B
+STRING_0_B
+STRING_1_B
+STRING_2_B
+STRING_3_B
+CHAR_CLASS_0_B
+CAPTURED_B

tests/null.d/expected.txt

@@ -0,0 +1,13 @@
+FILE <- (LINE ';\n')+
+LINE <- CHAR / CHAR_CLASS_0 / CHAR_CLASS_1 / CHAR_CLASS_2 / CHAR_CLASS_3 / STRING_0 / STRING_1 / STRING_2 / STRING_3 / CAPTURED
+
+CHAR <- "char_a:" '\0' { printf("CHAR_A\n"); } / "char_b:" '\x00' { printf("CHAR_B\n"); }
+CHAR_CLASS_0 <- "char_class_0_a:" [abc\0-!123]+ { printf("CHAR_CLASS_0_A\n"); } / "char_class_0_b:" [abc\x00-!123]+ { printf("CHAR_CLASS_0_B\n"); }
+CHAR_CLASS_1 <- "char_class_1_a:" [abc\0]+ { printf("CHAR_CLASS_1_A\n"); } / "char_class_1_b:" [abc\x00]+ { printf("CHAR_CLASS_1_B\n"); }
+CHAR_CLASS_2 <- "char_class_2_a:" [\0-!]+ { printf("CHAR_CLASS_2_A\n"); } / "char_class_2_b:" [\x00-!]+ { printf("CHAR_CLASS_2_B\n"); }
+CHAR_CLASS_3 <- "char_class_3_a:" [\0]+ { printf("CHAR_CLASS_3_A\n"); } / "char_class_3_b:" [\x00]+ { printf("CHAR_CLASS_3_B\n"); }
+STRING_0 <- "string_0_a:" "abc\0123" { printf("STRING_0_A\n"); } / "string_0_b:" "abc\x00123" { printf("STRING_0_B\n"); }
+STRING_1 <- "string_1_a:" "abc\0" { printf("STRING_1_A\n"); } / "string_1_b:" "abc\x00" { printf("STRING_1_B\n"); }
+STRING_2 <- "string_2_a:" "\0123" { printf("STRING_2_A\n"); } / "string_2_b:" "\x00123" { printf("STRING_2_B\n"); }
+STRING_3 <- "string_3_a:" "\0" { printf("STRING_3_A\n"); } / "string_3_b:" "\x00" { printf("STRING_3_B\n"); }
+CAPTURED <- "captured_a:" < CHAR_CLASS_0 "xyz\0123" > "|" $1 { printf("CAPTURED_A\n"); } / "captured_b:" < CHAR_CLASS_0 "xyz\x00123" > "|" $2 { printf("CAPTURED_B\n"); }

tests/null.d/input.peg

@@ -0,0 +1,20 @@
+char_a:X;
+char_class_0_a:c3X!;
+char_class_1_a:aXc;
+char_class_2_a:!X!X;
+char_class_3_a:XX;
+string_0_a:abcX123;
+string_1_a:abcX;
+string_2_a:X123;
+string_3_a:X;
+captured_a:char_class_0_a:X!c3xyzX123|char_class_0_a:X!c3xyzX123;
+char_b:X;
+char_class_0_b:c3X!;
+char_class_1_b:aXc;
+char_class_2_b:!X!X;
+char_class_3_b:XX;
+string_0_b:abcX123;
+string_1_b:abcX;
+string_2_b:X123;
+string_3_b:X;
+captured_b:char_class_0_b:X!c3xyzX123|char_class_0_b:X!c3xyzX123;

tests/null.d/input.txt

@@ -0,0 +1,16 @@
+#!/usr/bin/env bats
+
+load "$TESTDIR/utils.sh"
+
+@test "Testing null.d - generation" {
+    test_generate
+}
+
+@test "Testing null.d - compilation" {
+    test_compile
+}
+
+@test "Testing null.d - run" {
+    tr "X" "\0" < "$BATS_TEST_DIRNAME/input.txt" > "$BATS_TEST_DIRNAME/input.bin"
+    run_for_input "$BATS_TEST_DIRNAME/input.bin" "$BATS_TEST_DIRNAME/expected.txt"
+}

tests/null.d/null.bats

@@ -12,7 +12,7 @@ check_output() {
 
 run_for_input() {
     run timeout 5s "$BATS_TEST_DIRNAME/parser" < "$1"
-    check_output "$1"
+    check_output "${2:-$1}"
 }
 
 in_header() {