SpecImportFromCustomers for #70

route_verification/bgp/src/cmp.rs

@@ -2,7 +2,6 @@ use std::net::{Ipv4Addr, Ipv6Addr};
 
 use as_path_regex::interpreter::{InterpretErr::*, Interpreter};
 use ipnet::*;
-use parse::*;
 
 use super::*;
 

route_verification/bgp/src/cmp/filter.rs

@@ -60,8 +60,10 @@ impl<'a> CheckFilter<'a> {
         if match_ips(&self.cmp.prefix, routes, op) {
             return None;
         }
-        if self.maybe_filter_customers(num, op) {
+        if self.is_filter_export_customer(num, op) {
             self.special_any_report(|| SpecExportCustomers)
+        } else if self.is_filter_import_from_customer(num, op) {
+            self.special_any_report(|| SpecImportFromCustomers)
         } else if self.maybe_filter_as_is_origin(num, op) {
             self.special_any_report(|| SpecAsIsOriginButNoRoute(num))
         } else {
@@ -80,7 +82,8 @@ impl<'a> CheckFilter<'a> {
     /// Check for this case:
     /// - The AS number itself is the `<filter>`.
     /// - Exporting customers routes.
-    pub fn maybe_filter_customers(&self, num: u32, op: RangeOperator) -> bool {
+    #[inline]
+    pub fn is_filter_export_customer(&self, num: u32, op: RangeOperator) -> bool {
         if self.export && self.cmp.verbosity.check_customer && num == self.self_num {
             self.filter_as_set(
                 &customer_set(num),
@@ -94,6 +97,45 @@ impl<'a> CheckFilter<'a> {
         }
     }
 
+    /// Check for this case:
+    /// - Importing.
+    /// - The customer AS is the `<filter>`.
+    /// - The `<peering>` is just the customer AS.
+    /// - The prefix length matches the range operator, if any.
+    #[inline]
+    pub fn is_filter_import_from_customer(&self, num: u32, op: RangeOperator) -> bool {
+        if let (
+            false,
+            true,
+            1,
+            Some(PeeringAction {
+                mp_peering:
+                    Peering {
+                        remote_as: AsExpr::Single(AsName::Num(peering_num)),
+                        remote_router: _,
+                        local_router: _,
+                    },
+                actions: _,
+            }),
+        ) = (
+            self.export,
+            self.cmp.verbosity.check_customer,
+            self.mp_peerings.len(),
+            self.mp_peerings.first(),
+        ) {
+            num == *peering_num && {
+                let prefix_len = self.cmp.prefix.prefix_len();
+                match op {
+                    RangeOperator::NoOp | RangeOperator::Minus | RangeOperator::Plus => true,
+                    RangeOperator::Num(n) => n == prefix_len,
+                    RangeOperator::Range(n, m) => (n..=m).contains(&prefix_len),
+                }
+            }
+        } else {
+            false
+        }
+    }
+
     /// The last AS number on the AS path.
     /// `None` if it is a set.
     pub fn last_on_path(&self) -> Option<u32> {

route_verification/bgp/src/report.rs

@@ -1,7 +1,6 @@
 use std::ops::{BitAnd, BitOr, BitOrAssign};
 
 use ::lex::Call;
-use parse::*;
 
 use super::*;
 
@@ -152,6 +151,8 @@ pub enum ReportItem {
     // Can be repetitive for each import/export.
     /// Export customer routes while specifying the AS itself as `<filter>`.
     SpecExportCustomers,
+    /// Import from neighbor customer while specifying them as `<filter>`.
+    SpecImportFromCustomers,
     /// AS in `<filter>` is the origin on the path, but the route mismatches.
     SpecAsIsOriginButNoRoute(u32),