changes: now variable ownership is in the part of the type extension.

[IRC.git] / Robust / src / ClassLibrary / SSJava / String.java

diff --git a/Robust/src/ClassLibrary/SSJava/String.java b/Robust/src/ClassLibrary/SSJava/String.java
index 131b7691ae5f505b7ffef6ba7a385d30e63944ae..4fcfb6cbc47f37cf71176cea98170b8d3e09ddd7 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/String.java
+++ b/Robust/src/ClassLibrary/SSJava/String.java
@@ -48,8 +48,9 @@ public class String {
     this.offset=0;
   }
   
-  public String(@LOC("IN") String str) {
+  public String( @DELEGATE  @LOC("IN") String str) {
     this.value=str.value;
+    str.value=null;
     this.count=str.count;
     this.offset=str.offset;
   }
@@ -78,12 +79,6 @@ public class String {
     this.offset=0;
   }
   
-  public String(String str) {
-    this.value=str.value;
-    this.count=str.count;
-    this.offset=str.offset;
-  }
-
   @LATTICE("O<V,V<C,C<IN,THISLOC=IN,C*")
   @RETURNLOC("O")
   public String concat(@LOC("IN") String str) {