blob: 76c6be6f34a8b0953781785376a12ef8ca8749eb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
// **********************************************************************
//
// Copyright (c) 2003-2013 ZeroC, Inc. All rights reserved.
//
// This copy of Ice is licensed to you under the terms described in the
// ICE_LICENSE file included in this distribution.
//
// **********************************************************************
package IceGridGUI.Application;
import IceGrid.*;
import IceGridGUI.*;
import javax.swing.JTextField;
//
// A special field used to show/edit a list of strings separated
// by whitespace
//
public class ListTextField extends JTextField
{
public ListTextField(int columns)
{
super(columns);
}
public void setList(java.util.List<String> list, final Utils.Resolver resolver)
{
Utils.Stringifier stringifier = new Utils.Stringifier()
{
public String toString(Object obj)
{
return Utils.substitute((String)obj, resolver);
}
};
setText(Utils.stringify(list, stringifier, " ", null));
}
public java.util.LinkedList<String> getList()
{
String text = getText().trim();
java.util.LinkedList<String> result = new java.util.LinkedList<String>();
while(text.length() > 0)
{
if(text.startsWith("\""))
{
int last = text.indexOf("\"", 1);
if(last == -1)
{
result.add(text.substring(1));
text = "";
}
else
{
result.add(text.substring(1, last));
text = text.substring(last + 1).trim();
}
}
else
{
String[] strings = text.split("\\s", 2);
if(strings.length == 1)
{
result.add(strings[0]);
text = "";
}
else
{
result.add(strings[0]);
text = strings[1].trim();
}
}
}
return result;
}
}
|
