bug fixes + annotations

[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 5f963399aa7367339848f523a3b73cad3d2c4c67..35c150539b66dd4bf288486622f53dd51372dab0 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/String.java
+++ b/Robust/src/ClassLibrary/SSJava/String.java
@@ -295,7 +295,7 @@ public class String {
     return this;
   }
 
-  @LATTICE("OUT<THIS,THIS<IN,THISLOC=THIS,RETURNLOC=OUT")
+  @LATTICE("OUT<THIS,THIS<IN,THISLOC=THIS,RETURNLOC=OUT,GLOBALLOC=THIS")
   public static String valueOf(@LOC("THIS") Object o) {
     if (o == null)
       return "null";
@@ -303,7 +303,7 @@ public class String {
       return o.toString();
   }
 
-  public static String valueOf(boolean b) {
+  public static String valueOf(@LOC("IN") boolean b) {
     if (b)
       return new String("true");
     else
@@ -350,9 +350,9 @@ public class String {
     return new String(chararray);
   }
 
-  public static String valueOf(double val) {
-    char[] chararray = new char[20];
-    String s = new String();
+  public static String valueOf(@LOC("IN") double val) {
+    @LOC("C") char[] chararray = new char[20];
+    @LOC("V")  String s = new String();
     s.offset = 0;
     s.count = convertdoubletochar(val, chararray);
     s.value = chararray;