ctx.printf(isLast, "%s:", getClass().getSimpleName());
ctx.indent(isLast);
Iterator<PathFilter> iter = getIgnored().iterator();
while (iter.hasNext()) {
PathFilter e = iter.next();
e.dump(ctx, !iter.hasNext());
}
ctx.outdent();
}
public PathFilter translate(PathMapping mapping) {