Decoding net: Fail on region resolution with non contiuous domain for address

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

diff --git a/usr/skb/programs/decoding_net.pl b/usr/skb/programs/decoding_net.pl
index ebab33a..b4b5fd5 100644 (file)
--- a/usr/skb/programs/decoding_net.pl
+++ b/usr/skb/programs/decoding_net.pl
@@ -54,13 +54,18 @@ to_region(Name,Region) :-
         node_id:Id,
         address:Addr
     } = Name,
-    get_min(Addr,Min),get_max(Addr,Max),
+    get_bounds(Addr,Min,Max),
     Size is Max - Min + 1,
-    Region = region{
-        node_id:Id,
-        base:Min,
-        size:Size
-    }.
+    ( get_domain_size(Addr,Size) ->
+            Region = region{
+            node_id:Id,
+            base:Min,
+            size:Size
+        }
+    ;
+        writeln(stderr,"Name conversion to region failed: Non continuous domain for address"),
+        fail
+    ).
 
 %% Address range in block
 block_range(Block,Range) :-