From 882474ad12bffcc981ff04915c44d485b60d41a9 Mon Sep 17 00:00:00 2001
From: Marcel Kronfeld <makron@gmx.net>
Date: Wed, 4 May 2011 13:16:25 +0000
Subject: [PATCH] updating tool classes

---
 src/eva2/tools/StringSelection.java | 11 ++++++
 src/eva2/tools/StringTools.java     | 55 +++++++++++++++++++++++++++++
 2 files changed, 66 insertions(+)

diff --git a/src/eva2/tools/StringSelection.java b/src/eva2/tools/StringSelection.java
index 0b37549b..be2959b3 100644
--- a/src/eva2/tools/StringSelection.java
+++ b/src/eva2/tools/StringSelection.java
@@ -322,4 +322,15 @@ public class StringSelection implements Serializable {
 		}
 		return ret;
 	}
+
+	/**
+	 * Select all or deselect all items.
+	 * 
+	 * @param selState
+	 */
+	public void setAllSelectionStates(boolean selState) {
+		for (int i=0; i<selStates.length; i++) {
+			selStates[i]=selState;
+		}
+	}
 }
\ No newline at end of file
diff --git a/src/eva2/tools/StringTools.java b/src/eva2/tools/StringTools.java
index 5c331112..81bd3306 100644
--- a/src/eva2/tools/StringTools.java
+++ b/src/eva2/tools/StringTools.java
@@ -298,5 +298,60 @@ public class StringTools {
 		}
 		return sb.toString();
 	}
+
+	/**
+	 * Remove or replace blanks, braces, etc. from a string for use as a file name.
+	 * 
+	 * @param predefName
+	 * @return
+	 */
+	public static String simplifySymbols(String str) {
+		char[] toUnderscore = new char[] {' ', '\t', '\n'};
+		for (char c : toUnderscore) {
+			str = str.replace(c, '_');
+		}
+		char[] toDash = new char[] {',', ';', '/', '\\'};
+		for (char c : toDash) {
+			str = str.replace(c, '-');
+		}
+		char[] toRemove = new char[] {')', '(', '[', ']', '{', '}', '*'};
+		for (char c : toRemove)	{
+			str = deleteChar(c, str);
+		}
+		str = str.replaceAll("--", "-");
+		str = str.replaceAll("__", "_");
+		str = str.replaceAll("-_", "_");
+		str = str.replaceAll("_-", "_");
+
+		return str;
+	}
+
+	/**
+	 * Delete a certain character from a string.
+	 * 
+	 * @param c
+	 * @param str
+	 * @return
+	 */
+	public static String deleteChar(char c, String str) {
+		StringBuffer sb = new StringBuffer();
+		for (int i=0; i<str.length(); i++) {
+			if (c!=str.charAt(i)) sb.append(str.charAt(i));
+		}
+		return sb.toString();
+	}
+
+	/**
+	 * Return the substring after the last occurrence of a character. If the
+	 * character does not occur, the full string is returned.
+	 * 
+	 * @param str
+	 * @param c
+	 * @return
+	 */
+	public static String getSubstringAfterLast(String str, char c) {
+		int p = str.lastIndexOf(c);
+		return str.substring(p+1); // for -1 this just works as well
+	}
 }