/** */ public synchronized static HTMLDocumentTypeRegistry getInstance() { if (instance == null) instance = new HTMLDocumentTypeRegistry(); return instance; } }
newEntry = HTMLDocumentTypeRegistry.getInstance().getEntry(publicId); newEntry = HTMLDocumentTypeRegistry.getInstance().getDefaultEntry(HTMLDocumentTypeRegistry.DEFAULT_WML); else newEntry = HTMLDocumentTypeRegistry.getInstance().getDefaultEntry(HTMLDocumentTypeRegistry.DEFAULT_XHTML); newEntry = HTMLDocumentTypeRegistry.getInstance().getDefaultEntry(HTMLDocumentTypeRegistry.DEFAULT_HTML);
private void getInfo(ElementInfo info) { info.decl = CMUtil.getDeclaration(info.target); info.startTag = info.target.getStartStructuredDocumentRegion(); info.endTag = info.target.getEndStructuredDocumentRegion(); info.hasStartTag = (info.startTag != null); info.hasEndTag = (info.endTag != null); Document doc = info.target.getOwnerDocument(); if (!(doc instanceof IDOMDocument)) return; String typeid = ((IDOMDocument) doc).getDocumentTypeId(); if (typeid != null) { HTMLDocumentTypeEntry entry = HTMLDocumentTypeRegistry.getInstance().getEntry(typeid); info.isXHTML = (entry != null && entry.isXMLType()); } }
/** */ void readRegistry(HTMLDocumentTypeRegistry reg) { if (reg == null) return; IExtensionRegistry registry = Platform.getExtensionRegistry(); IExtensionPoint point = registry.getExtensionPoint(PLUGIN_ID, EXTENSION_POINT_ID); if (point != null) { IConfigurationElement[] elements = point.getConfigurationElements(); for (int i = 0; i < elements.length; i++) { HTMLDocumentTypeEntry doctype = readElement(elements[i]); // null can be returned if there's an error reading the element if (doctype != null) { reg.regist(doctype.getPublicId(), doctype); } } } }
return staticHTML; HTMLDocumentTypeEntry entry = doctypeRegistry.getEntry(pid); if (entry == null) return staticHTML;
HTMLDocumentTypeEntry entry = HTMLDocumentTypeRegistry.getInstance().getEntry(publicId); String name = (entry != null ? entry.getName() : null); if (name == null || name.length() == 0)