KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > pde > internal > core > builders > PluginErrorReporter


1 /*******************************************************************************
2  * Copyright (c) 2005, 2006 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Eclipse Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/epl-v10.html
7  *
8  * Contributors:
9  * IBM Corporation - initial API and implementation
10  *******************************************************************************/

11 package org.eclipse.pde.internal.core.builders;
12
13 import org.eclipse.core.resources.IFile;
14 import org.w3c.dom.Attr JavaDoc;
15 import org.w3c.dom.Element JavaDoc;
16
17
18 public class PluginErrorReporter extends PluginBaseErrorReporter {
19
20     public PluginErrorReporter(IFile file) {
21         super(file);
22     }
23         
24     /* (non-Javadoc)
25      * @see org.eclipse.pde.internal.builders.PluginBaseErrorReporter#validateTopLevelAttributes(org.w3c.dom.Element)
26      */

27     protected void validateTopLevelAttributes(Element JavaDoc element) {
28         super.validateTopLevelAttributes(element);
29         Attr JavaDoc attr = element.getAttributeNode("class"); //$NON-NLS-1$
30
if (attr != null)
31             validateJavaAttribute(element, attr);
32     }
33     
34     protected String JavaDoc getRootElementName() {
35         return "plugin"; //$NON-NLS-1$
36
}
37
38 }
39
Popular Tags