/** Abbreviate, crudely, URI in strings, leaving only their last component. */ public static <T> String printAbbrevList(List<T> objs) { String x = Iter.asString(objs, "\n") ; return printAbbrev(x) ; } }
/** Turn a BasicPattern into an abbreviated string for debugging */ public static String strPattern(BasicPattern pattern) { List<Triple> triples = pattern.getList() ; String x = Iter.asString(triples, "\n ") ; return printAbbrev(x) ; }