| /******************************************************************************* |
| * Copyright (C) 2009 Ingo Wassink of University of Twente, Netherlands and |
| * The University of Manchester |
| * |
| * Modifications to the initial code base are copyright of their |
| * respective authors, or their employers as appropriate. |
| * |
| * This program is free software; you can redistribute it and/or |
| * modify it under the terms of the GNU Lesser General Public License |
| * as published by the Free Software Foundation; either version 2.1 of |
| * the License, or (at your option) any later version. |
| * |
| * This program is distributed in the hope that it will be useful, but |
| * WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| * Lesser General Public License for more details. |
| * |
| * You should have received a copy of the GNU Lesser General Public |
| * License along with this program; if not, write to the Free Software |
| * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 |
| ******************************************************************************/ |
| |
| /** |
| * @author Ingo Wassink |
| * @author Ian Dunlop |
| * @author Alan R Williams |
| */ |
| package net.sf.taverna.t2.lang.ui; |
| |
| import java.io.BufferedReader; |
| import java.io.InputStream; |
| import java.io.InputStreamReader; |
| import java.util.HashSet; |
| import java.util.Set; |
| import java.util.TreeSet; |
| |
| import org.apache.log4j.Logger; |
| |
| /** |
| * Manager for reading key set file |
| * |
| * @author WassinkI |
| * @author alanrw |
| * |
| */ |
| public class EditorKeySetUtil { |
| |
| private static Logger logger = Logger.getLogger(EditorKeySetUtil.class); |
| |
| |
| public static Set<String> loadKeySet(InputStream stream) { |
| Set<String> result = new TreeSet<String>(); |
| try { |
| BufferedReader reader = new BufferedReader( |
| new InputStreamReader(stream)); |
| |
| String line; |
| while ((line = reader.readLine()) != null) { |
| result.add(line.trim()); |
| } |
| reader.close(); |
| } catch (Exception e) { |
| logger.error(e); |
| } |
| return result; |
| } |
| } |