1 11 package org.eclipse.pde.internal.builders; 12 13 import org.eclipse.core.resources.*; 14 import org.w3c.dom.*; 15 16 17 public class FragmentErrorReporter extends PluginBaseErrorReporter { 18 19 public FragmentErrorReporter(IFile file) { 20 super(file); 21 } 22 23 26 protected void validateTopLevelAttributes(Element element) { 27 super.validateTopLevelAttributes(element); 28 29 if (assertAttributeDefined(element, "plugin-id", CompilerFlags.ERROR)) validatePluginIDRef(element, element.getAttributeNode("plugin-id")); 32 if (assertAttributeDefined(element, "plugin-version", CompilerFlags.ERROR)) validateVersionAttribute(element, element.getAttributeNode("plugin-version")); 35 Attr attr = element.getAttributeNode("match"); if (attr != null) 37 validateMatch(element, attr); 38 } 39 40 protected String getRootElementName() { 41 return "fragment"; } 43 44 } 45 | Popular Tags |