diff options
Diffstat (limited to 'java/src/IceGridGUI/EditorBase.java')
-rwxr-xr-x | java/src/IceGridGUI/EditorBase.java | 72 |
1 files changed, 1 insertions, 71 deletions
diff --git a/java/src/IceGridGUI/EditorBase.java b/java/src/IceGridGUI/EditorBase.java index 201ec6e7e80..b9c8ac4d712 100755 --- a/java/src/IceGridGUI/EditorBase.java +++ b/java/src/IceGridGUI/EditorBase.java @@ -40,77 +40,7 @@ public abstract class EditorBase {
return null;
}
-
-
-
- static public java.util.SortedMap propertiesToMap(java.util.List props,
- Utils.Resolver resolver)
- {
- java.util.SortedMap result = new java.util.TreeMap();
- java.util.Iterator p = props.iterator();
- while(p.hasNext())
- {
- PropertyDescriptor pd = (PropertyDescriptor)p.next();
- String name = (String)pd.name;
- String val = (String)pd.value;
- if(resolver != null)
- {
- name = resolver.substitute(pd.name);
- val = resolver.substitute(pd.value);
- }
- result.put(name, val);
- }
- return result;
- }
-
- static public java.util.Vector mapToVector(java.util.Map map)
- {
- java.util.Vector result = new java.util.Vector(map.size());
- java.util.Iterator p = map.entrySet().iterator();
- while(p.hasNext())
- {
- java.util.Map.Entry entry = (java.util.Map.Entry)p.next();
- java.util.Vector row = new java.util.Vector(2);
- row.add(entry.getKey());
- row.add(entry.getValue());
- result.add(row);
- }
- return result;
- }
-
- static public java.util.LinkedList mapToProperties(java.util.Map map)
- {
- java.util.LinkedList result = new java.util.LinkedList();
- java.util.Iterator p = map.entrySet().iterator();
- while(p.hasNext())
- {
- java.util.Map.Entry entry = (java.util.Map.Entry)p.next();
- String name = (String)entry.getKey();
- String value = (String)entry.getValue();
- result.add(new PropertyDescriptor(name, value));
- }
- return result;
- }
-
- static public java.util.Map makeParameterValues(
- java.util.Map oldParameterValues,
- java.util.List newParameters)
- {
- java.util.Map result = new java.util.HashMap();
-
- java.util.Iterator p = newParameters.iterator();
- while(p.hasNext())
- {
- Object name = p.next();
- Object value = oldParameterValues.get(name);
- if(value != null)
- {
- result.put(name, value);
- }
- }
- return result;
- }
-
+
protected abstract void appendProperties(DefaultFormBuilder builder);
protected void buildPropertiesPanel()
|