diff options
author | Bernard Normier <bernard@zeroc.com> | 2006-09-15 19:42:39 +0000 |
---|---|---|
committer | Bernard Normier <bernard@zeroc.com> | 2006-09-15 19:42:39 +0000 |
commit | 926a34c0cde3bb59a64c6906442246015290c310 (patch) | |
tree | 247d19ba42bd29fb7b60d96ac936ca91d497357b /java/src/IceGridGUI/Application/ListTextField.java | |
parent | Merged fixes from 3.1 branch (diff) | |
download | ice-926a34c0cde3bb59a64c6906442246015290c310.tar.bz2 ice-926a34c0cde3bb59a64c6906442246015290c310.tar.xz ice-926a34c0cde3bb59a64c6906442246015290c310.zip |
dos2unix
Diffstat (limited to 'java/src/IceGridGUI/Application/ListTextField.java')
-rwxr-xr-x | java/src/IceGridGUI/Application/ListTextField.java | 158 |
1 files changed, 79 insertions, 79 deletions
diff --git a/java/src/IceGridGUI/Application/ListTextField.java b/java/src/IceGridGUI/Application/ListTextField.java index dfac4d7a2cb..5c1b149ada2 100755 --- a/java/src/IceGridGUI/Application/ListTextField.java +++ b/java/src/IceGridGUI/Application/ListTextField.java @@ -1,79 +1,79 @@ -// **********************************************************************
-//
-// Copyright (c) 2003-2006 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 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 getList()
- {
- String text = getText().trim();
- java.util.LinkedList result = new java.util.LinkedList();
-
- 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;
- }
-}
+// ********************************************************************** +// +// Copyright (c) 2003-2006 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 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 getList() + { + String text = getText().trim(); + java.util.LinkedList result = new java.util.LinkedList(); + + 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; + } +} |