X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=source%2Fmir%2Futil%2FStringRoutines.java;h=ddb6ccbc7ce8b4e3f2f1e1cd705d8d4528cd6a59;hb=a0a6ee63f4280c048b960e5d03752607d721097b;hp=b670ae3a64b96db78018da40b49a97452d0b9ca7;hpb=ed48afa4cb10e822343e79d7c933e97447f92941;p=mir.git
diff --git a/source/mir/util/StringRoutines.java b/source/mir/util/StringRoutines.java
index b670ae3a..ddb6ccbc 100755
--- a/source/mir/util/StringRoutines.java
+++ b/source/mir/util/StringRoutines.java
@@ -55,10 +55,7 @@ public class StringRoutines {
return result;
}
- public static String encodeHTML(String aText) {
- final char[] CHARACTERS_TO_ESCAPE = { '&', '<', '>', '"', '\'' };
- final String[] ESCAPE_CODES = { "&", "<", ">", """, "'" };
-
+ static String replaceStringCharacters(String aText, char[] aCharactersToReplace, String[] aStringsToSubstitute) {
int position, nextPosition;
int i;
StringBuffer result = new StringBuffer();
@@ -66,7 +63,7 @@ public class StringRoutines {
position=0;
do {
- nextPosition = indexOfCharacters(aText, CHARACTERS_TO_ESCAPE, position);
+ nextPosition = StringRoutines.indexOfCharacters(aText, aCharactersToReplace, position);
if (nextPosition<0)
nextPosition = aText.length();
@@ -74,9 +71,9 @@ public class StringRoutines {
result.append(aText.substring(position, nextPosition));
if (nextPosition
"); - } - - public static String createMailLinks(String haystack, String imageRoot, String mailImage) { - return re_mail.substituteAll(haystack," $0"); - } - - public static String createURLLinks(String haystack, String title, String imageRoot,String extImage) { - if (title == null) { - return re_url.substituteAll(haystack," $0"); - } else { - title = removeHTMLTags(title); - return re_url.substituteAll(haystack," "+title+""); - } - } - - } -*/ + public static List splitString(String aString, String aSeparator) { + List result= new Vector(); + int previousPosition = 0; + int position; + int endOfNamePosition; + + while ((position = aString.indexOf(aSeparator, previousPosition))>=0) { + result.add(aString.substring(previousPosition, position)); + previousPosition = position + aSeparator.length(); + } + + result.add(aString.substring(previousPosition, aString.length())); + + return result; + } } \ No newline at end of file