1 11 12 package org.eclipse.ui.views.markers.internal; 13 14 import java.util.ArrayList ; 15 import java.util.Collection ; 16 17 class MarkerNodeRefreshRecord{ 18 Collection removedMarkers; 19 Collection addedMarkers; 20 Collection changedMarkers; 21 22 28 MarkerNodeRefreshRecord(Collection removed, Collection added, Collection changed){ 29 removedMarkers = new ArrayList (removed); 30 addedMarkers = new ArrayList (added); 31 changedMarkers = new ArrayList (changed); 32 } 33 34 38 public void remove(MarkerNode node) { 39 removedMarkers.add(node); 40 41 } 42 43 47 public void add(MarkerNode node) { 48 addedMarkers.add(node); 49 50 } 51 } | Popular Tags |