KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > ui > views > markers > internal > MarkerTypesModel


1 /*******************************************************************************
2  * Copyright (c) 2000, 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
12 package org.eclipse.ui.views.markers.internal;
13
14 import java.util.ArrayList JavaDoc;
15 import java.util.HashMap JavaDoc;
16
17 import org.eclipse.core.resources.IMarker;
18 import org.eclipse.core.resources.ResourcesPlugin;
19 import org.eclipse.core.runtime.IConfigurationElement;
20 import org.eclipse.core.runtime.IExtension;
21 import org.eclipse.core.runtime.IExtensionPoint;
22 import org.eclipse.core.runtime.Platform;
23
24 /**
25  * Maintains a model of all known marker types. Accessed statically as
26  * the list does not change frequently.
27  */
28 class MarkerTypesModel {
29     
30     /**
31      * Return the singleton implementation.
32      * @return MarkerTypesModel
33      */
34     static MarkerTypesModel getInstance(){
35         if(instance == null) {
36             instance = new MarkerTypesModel();
37         }
38         return instance;
39     }
40
41     static MarkerTypesModel instance;
42
43     /**
44      * Maps from marker type id to MarkerType.
45      */
46     private HashMap JavaDoc types;
47
48     /**
49      * Creates a new marker types model.
50      */
51     private MarkerTypesModel() {
52         types = readTypes();
53     }
54
55     /**
56      * Returns the marker type with the given id, or <code>null</code> if
57      * there is no such marker type.
58      */
59     public MarkerType getType(String JavaDoc id) {
60         return (MarkerType) types.get(id);
61     }
62
63     /**
64      * Returns all known marker types.
65      */
66     public MarkerType[] getTypes() {
67         MarkerType[] result = new MarkerType[types.size()];
68         types.values().toArray(result);
69         return result;
70     }
71
72     /**
73      * Returns the label for the given marker type. Workaround until we have
74      * labels in XML.
75      */
76     private String JavaDoc getWellKnownLabel(String JavaDoc type) {
77         if (type.equals(IMarker.PROBLEM)) {
78             return "Problem";//$NON-NLS-1$
79 }
80         if (type.equals(IMarker.TASK)) {
81             return "Task";//$NON-NLS-1$
82 }
83         if (type.equals("org.eclipse.jdt.core.problem")) { //$NON-NLS-1$
84 return "Java Problem";//$NON-NLS-1$
85 }
86         return type;
87     }
88
89     /**
90      * Reads the marker types from the registry.
91      */
92     private HashMap JavaDoc readTypes() {
93         HashMap JavaDoc types = new HashMap JavaDoc();
94
95         IExtensionPoint point = Platform.getExtensionRegistry()
96                 .getExtensionPoint(ResourcesPlugin.PI_RESOURCES,
97                         ResourcesPlugin.PT_MARKERS);
98         if (point != null) {
99             // Gather all registered marker types.
100 IExtension[] extensions = point.getExtensions();
101             for (int i = 0; i < extensions.length; ++i) {
102                 IExtension ext = extensions[i];
103                 String JavaDoc id = ext.getUniqueIdentifier();
104                 String JavaDoc label = ext.getLabel();
105                 if (label.equals("")) {//$NON-NLS-1$
106 label = getWellKnownLabel(id);
107                 }
108                 ArrayList JavaDoc supersList = new ArrayList JavaDoc();
109                 IConfigurationElement[] configElements = ext
110                         .getConfigurationElements();
111                 for (int j = 0; j < configElements.length; ++j) {
112                     IConfigurationElement elt = configElements[j];
113                     if (elt.getName().equalsIgnoreCase("super")) {//$NON-NLS-1$
114 String JavaDoc sup = elt.getAttribute("type");//$NON-NLS-1$
115 if (sup != null) {
116                             supersList.add(sup);
117                         }
118                     }
119                 }
120                 String JavaDoc[] superTypes = new String JavaDoc[supersList.size()];
121                 supersList.toArray(superTypes);
122                 MarkerType type = new MarkerType(this, id, label, superTypes);
123                 types.put(id, type);
124             }
125         }
126         return types;
127     }
128 }
129
Popular Tags