From 50c602fe5ce78746000cf3ff3cc6bb04c067a3ac Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 18 Nov 2009 10:59:12 +0000
Subject: [PATCH] check in more reasonable implementation of split

---
 Robust/src/ClassLibrary/String.java | 39 +++++++++++++++++------------
 1 file changed, 23 insertions(+), 16 deletions(-)

diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index 0640a786..614e98dd 100644
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -389,29 +389,36 @@ public class String {
 
     // skip fisrt spaces
     for(i = 0; i< count;i++) {
-      if(value[i] != '\n' && value[i] != '\t' && value[i] != ' ') 
-        break;
+      if(value[i+offset] != '\n' && value[i+offset] != '\t' && value[i+offset] != ' ') 
+	  break;
     }
 
-    String tmpStr = new String();
+    int oldi=i;
 
     while(i<count) {
-      if(value[i] == '\n' || value[i] == '\t' || value[i] == ' ') {
-        splitted.addElement(tmpStr);
-        tmpStr = "";
-
-        // skip extra spaces
-        while( i < count && ( value[i] == '\n' || value[i] == '\t' || value[i] == ' ')) {
-          i++;
-        }
-      }else {
-        tmpStr += value[i];
-        i++;
+      if(value[i+offset] == '\n' || value[i+offset] == '\t' || value[i+offset] == ' ') {
+	  String t=new String();
+	  t.value=value;
+	  t.offset=oldi;
+	  t.count=i-oldi;
+	  splitted.addElement(t);
+	  oldi=i;
+
+	  // skip extra spaces
+	  while( i < count && ( value[i+offset] == '\n' || value[i+offset] == '\t' || value[i+offset] == ' ')) {
+	      i++;
+	  }
+      } else {
+	  i++;
       }
     }
 
-    if(!tmpStr.equals("")) {
-      splitted.addElement(tmpStr);
+    if(i!=oldi) {
+	String t=new String();
+	t.value=value;
+	t.offset=oldi;
+	t.count=i-oldi;
+	splitted.addElement(t);
     }
     
     return splitted;
-- 
2.34.1