Junos: parseset protocols (#8883)

batfish · Dec 15, 2023 · d9b6865 · d9b6865
1 parent 936bb73
commit d9b6865
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 1 deletion.
diff --git a/projects/batfish/src/main/antlr4/org/batfish/grammar/flatjuniper/FlatJuniper_protocols.g4 b/projects/batfish/src/main/antlr4/org/batfish/grammar/flatjuniper/FlatJuniper_protocols.g4
@@ -11,7 +11,8 @@ s_protocols
 :
    PROTOCOLS
    (
-      p_bgp
+      // empty protocol is valid
+      | p_bgp
       | p_connections
       | p_evpn
       | p_isis

diff --git a/projects/batfish/src/test/java/org/batfish/grammar/flatjuniper/FlatJuniperGrammarTest.java b/projects/batfish/src/test/java/org/batfish/grammar/flatjuniper/FlatJuniperGrammarTest.java
@@ -8059,5 +8059,11 @@ public void testFirewallInet6NextHeader() {
     parseConfig("firewall-next-header-ipv6");
   }
 
+  @Test
+  public void testSetPartial() {
+    // Should not crash.
+    parseConfig("set-partial");
+  }
+
   private final BddTestbed _b = new BddTestbed(ImmutableMap.of(), ImmutableMap.of());
 }
diff --git a/projects/batfish/src/test/resources/org/batfish/grammar/juniper/testconfigs/set-partial b/projects/batfish/src/test/resources/org/batfish/grammar/juniper/testconfigs/set-partial
@@ -0,0 +1,4 @@
+#
+set system host-name set-partial
+#
+set protocols