loc nodes get filename labels by default

usethesource · Feb 14, 2024 · f34dc15 · f34dc15
1 parent aacd5bd
commit f34dc15
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/org/rascalmpl/library/vis/Graphs.rsc b/src/org/rascalmpl/library/vis/Graphs.rsc
@@ -83,7 +83,8 @@ loc defaultNodeLinker(/loc l) = l;
 default loc defaultNodeLinker(&T _) = |nothing:///|;
 
 alias NodeLabeler[&T]= str (&T _id2);
-loc defaultNodeLinker(/str s) = s;
+str defaultNodeLabeler(/str s) = s;
+str defaultNodeLabeler(loc l)  = l.file != "" ? l.file : "<l>";
 default str defaultNodeLabeler(&T v) = "<v>";
 
 alias EdgeLabeler[&T]= str (&T _source, &T _target);