01: /*******************************************************************************
02: * Copyright (c) 2000, 2006 IBM Corporation and others.
03: * All rights reserved. This program and the accompanying materials
04: * are made available under the terms of the Eclipse Public License v1.0
05: * which accompanies this distribution, and is available at
06: * http://www.eclipse.org/legal/epl-v10.html
07: *
08: * Contributors:
09: * IBM Corporation - initial API and implementation
10: *******************************************************************************/package org.eclipse.ui.views.markers.internal;
11:
12: import org.eclipse.core.resources.IMarker;
13:
14: /**
15: *
16: */
17: public class ProblemMarker extends ConcreteMarker {
18:
19: private int severity;
20:
21: public ProblemMarker(IMarker toCopy) {
22: super (toCopy);
23:
24: }
25:
26: /* (non-Javadoc)
27: * @see org.eclipse.ui.views.markers.internal.ConcreteMarker#refresh()
28: */
29: public void refresh() {
30: super .refresh();
31: severity = getMarker().getAttribute(IMarker.SEVERITY, -1);
32: }
33:
34: public int getSeverity() {
35: return severity;
36: }
37: }
|