KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > armedbear > j > ChooseSessionDialog


1 /*
2  * ChooseSessionDialog.java
3  *
4  * Copyright (C) 2002 Peter Graves
5  * $Id: ChooseSessionDialog.java,v 1.1.1.1 2002/09/24 16:08:19 piso Exp $
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  *
12  * This program is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20  */
21
22 package org.armedbear.j;
23
24 import java.util.ArrayList JavaDoc;
25 import java.util.List JavaDoc;
26
27 public final class ChooseSessionDialog extends InputDialog
28 {
29     public ChooseSessionDialog(String JavaDoc title)
30     {
31         super(Editor.currentEditor(), "Name:", title,
32             Editor.getSessionName());
33         setHistory(new History("chooseSession"));
34         editor.centerDialog(this);
35     }
36
37     protected List JavaDoc getCompletions(String JavaDoc prefix)
38     {
39         ArrayList JavaDoc list = null;
40         if (prefix != null) {
41             final int prefixLength = prefix.length();
42             File dir = Session.getSessionDirectory();
43             if (dir != null) {
44                 String JavaDoc[] names = dir.list();
45                 for (int i = 0; i < names.length; i++) {
46                     String JavaDoc name = names[i];
47                     if (name.regionMatches(true, 0, prefix, 0, prefixLength)) {
48                         if (list == null)
49                             list = new ArrayList JavaDoc();
50                         list.add(name);
51                     }
52                 }
53             }
54         }
55         return list;
56     }
57 }
58
Popular Tags