/* * Created on 9 juin 2004 * Copyright 2004 J�r�me N�gre */ package net.sourceforge.phpeclipse.news.pref; import java.net.URL; import java.util.ArrayList; import java.util.Enumeration; import java.util.HashSet; import java.util.Iterator; import java.util.Properties; import net.sourceforge.phpeclipse.news.Channel; import net.sourceforge.phpeclipse.news.Item; import net.sourceforge.phpeclipse.news.Plugin; import org.eclipse.jface.dialogs.IDialogSettings; /** * @author J�r�me N�gre */ public class ChannelStore { private final static String DEFAULT_CHANNELS_FILE = "default_feeds.properties"; private final static String BACKENDS_SECTION = "backends"; private final static String CHANNELS_ORDER_KEY = "order"; private final static String TITLE_KEY = "title"; private final static String URL_KEY = "url"; private final static String TYPE_KEY = "type"; private final static String READ_KEY = "read"; private final static int TYPE_CHANNEL = 1; private static Plugin plugin = null; public static void init(Plugin plugin) { ChannelStore.plugin = plugin; } public static synchronized ArrayList getChannels() { IDialogSettings section = getChannelsSection(); String[] uids = section.getArray(CHANNELS_ORDER_KEY); ArrayList result = new ArrayList(); for(int i=0; i