KickJava   Java API By Example, From Geeks To Geeks.

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


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
12 package org.eclipse.ui.views.markers.internal;
13
14 import java.util.ArrayList JavaDoc;
15 import java.util.Collection JavaDoc;
16
17 class MarkerNodeRefreshRecord{
18     Collection JavaDoc removedMarkers;
19     Collection JavaDoc addedMarkers;
20     Collection JavaDoc changedMarkers;
21     
22     /**
23      * Create a new instance of the receiver with the supplied markers.
24      * @param removed
25      * @param added
26      * @param changed
27      */

28     MarkerNodeRefreshRecord(Collection JavaDoc removed, Collection JavaDoc added, Collection JavaDoc changed){
29         removedMarkers = new ArrayList JavaDoc(removed);
30         addedMarkers = new ArrayList JavaDoc(added);
31         changedMarkers = new ArrayList JavaDoc(changed);
32     }
33
34     /**
35      * Add the node to the list of removals.
36      * @param node
37      */

38     public void remove(MarkerNode node) {
39         removedMarkers.add(node);
40         
41     }
42     
43     /**
44      * Add the node to the list of adds.
45      * @param node
46      */

47     public void add(MarkerNode node) {
48         addedMarkers.add(node);
49         
50     }
51 }
Popular Tags