KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*******************************************************************************
2  * Copyright (c) 2005 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.builders;
12
13 import org.eclipse.core.resources.*;
14 import org.w3c.dom.*;
15
16
17 public class PluginErrorReporter extends PluginBaseErrorReporter {
18
19     public PluginErrorReporter(IFile file) {
20         super(file);
21     }
22         
23     /* (non-Javadoc)
24      * @see org.eclipse.pde.internal.builders.PluginBaseErrorReporter#validateTopLevelAttributes(org.w3c.dom.Element)
25      */
26     protected void validateTopLevelAttributes(Element element) {
27         super.validateTopLevelAttributes(element);
28         Attr attr = element.getAttributeNode("class"); //$NON-NLS-1$
29 if (attr != null)
30             validateJavaAttribute(element, attr);
31     }
32     
33     protected String JavaDoc getRootElementName() {
34         return "plugin"; //$NON-NLS-1$
35 }
36
37 }
38
Popular Tags