KickJava   Java API By Example, From Geeks To Geeks.

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


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 package org.eclipse.ui.views.markers.internal;
12
13 import org.eclipse.core.resources.IMarker;
14
15 /**
16  *
17  */
18 public class ProblemMarker extends ConcreteMarker {
19
20     private int severity;
21
22     public ProblemMarker(IMarker toCopy) {
23         super(toCopy);
24
25     }
26
27     /* (non-Javadoc)
28      * @see org.eclipse.ui.views.markers.internal.ConcreteMarker#refresh()
29      */
30     public void refresh() {
31         super.refresh();
32         severity = getMarker().getAttribute(IMarker.SEVERITY, -1);
33     }
34
35     public int getSeverity() {
36         return severity;
37     }
38 }
39
Popular Tags