3839404142434445464748
@Override public void exportPattern(String pattern) { ExtendedRE re = new ExtendedRE(pattern); for(Symbol symbol : namespace.getNamespaceEnvironment().getSymbolNames()) { if(re.match(symbol.getPrintName())) { namespace.addExport(symbol); } } }