📄 indexermodule.java
字号:
// IndexerModule.java// $Id: IndexerModule.java,v 1.4 2002/06/26 17:26:03 ylafon Exp $ // (c) COPYRIGHT MIT and INRIA, 1997.// Please first read the full copyright statement in file COPYRIGHT.htmlpackage org.w3c.tools.resources.indexer;import org.w3c.tools.resources.ContainerResource;import org.w3c.tools.resources.ResourceContext;import org.w3c.tools.resources.ResourceReference;public class IndexerModule { public static final String NAME = "org.w3c.jigsaw.indexer".intern(); private static final String INDEXER = "org.w3c.jigsaw.indexer.name".intern(); protected IndexersCatalog catalog = null; public void registerIndexer(ResourceContext ctxt, String name) { ctxt.registerModule(INDEXER, name); } public ResourceReference getIndexer(ResourceContext ctxt) { String idxname = (String) ctxt.getModule(INDEXER); try { return catalog.lookup(idxname); } catch (Exception ex) { // FIXME ! ex.printStackTrace(); } return null; } public ResourceReference getIndexer(String name) { try { return catalog.lookup(name); } catch (Exception ex) { return null; } } public IndexerModule(IndexersCatalog catalog) { this.catalog = catalog; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -