package org.jactr.eclipse.runtime.marker; /* * default logging */ import java.util.ArrayList; import java.util.Collection; import java.util.Set; import java.util.TreeSet; import org.apache.commons.logging.Log; import org.apache.commons.logging.LogFactory; public class OpenMarkers { /** * Logger definition */ static private final transient Log LOGGER = LogFactory .getLog(OpenMarkers.class); private final double _time; private final Set<Long> _openMarkers; public OpenMarkers(double time, Collection<Long> currentlyOpenMarkers) { _time = time; _openMarkers = new TreeSet<Long>(currentlyOpenMarkers); } public double getTime() { return _time; } public Collection<Long> getOpenMarkers(Collection<Long> container) { if (container == null) container = new ArrayList<Long>(); container.addAll(_openMarkers); return container; } protected void add(Long openMarker) { _openMarkers.add(openMarker); } protected void remove(Long closedMarker) { _openMarkers.remove(closedMarker); } }