private String getShortMode(Context context) { String modeName=""; Mode mode = context.getMode(); if (mode!=null && mode.getNameCode()!=-1) { modeName=context.getController().getNamePool().getDisplayName(mode.getNameCode()); if(format==Format.COMPRESSED) { Integer value=namePool.get(modeName); if(value==null) { value=namePool.size(); namePool.put(modeName, value); } modeName=value.toString(); } } return modeName; }
NamePool namePool = controller.getNamePool();
NamePool namePool = context.getController().getNamePool();
NamePool namePool = controller.getNamePool();
NamePool namePool = controller.getNamePool(); NumberLinesEmitter nlEmitter = new NumberLinesEmitter(controller, namePool,
NamePool namePool = controller.getNamePool(); CalloutEmitter cEmitter = new CalloutEmitter(controller, namePool,
public static NodeEnumeration tokenize(Context context, String str, String pattern) throws XPathException { try { Builder builder = context.getController().makeBuilder(); NamePool pool = context.getController().getNamePool(); builder.setNamePool(pool); builder.startDocument(); int name = pool.allocate("", "", "token"); AttributeCollection emptyAtts = new AttributeCollection(pool); String[] tokens = str.split(pattern); for(String token: tokens) { builder.startElement(name, emptyAtts, new int[0], 0); builder.characters(token.toCharArray(), 0, token.length()); builder.endElement(name); } builder.endDocument(); DocumentInfo doc = builder.getCurrentDocument(); return doc.getEnumeration(Axis.CHILD, AnyNodeTest.getInstance()); } catch (Exception err) { ExtensionFunctionUtils.setExtensionFunctionError(err); throw new XPathException(err); } }
MainHighlighter hl = c.getMainHighlighter(hlCode); NamePool pool = context.getController().getNamePool();