changes.

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

diff --git a/Robust/src/ClassLibrary/SSJava/Character.java b/Robust/src/ClassLibrary/SSJava/Character.java
index 3e412818cd6e449929b9438849e38b1683595bbc..edff16e4882fe45263ae5994bf858b216aa1318f 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/Character.java
+++ b/Robust/src/ClassLibrary/SSJava/Character.java
@@ -1,3 +1,4 @@
+@LATTICE("VALUE")
 public class Character {
 
   public static int digit(char ch, int radix) {
@@ -24,7 +25,7 @@ public class Character {
       return false;
   }
 
-  char value;
+  @LOC("VALUE") char value;
 
   public Character(char c) {
     value = c;
@@ -34,6 +35,7 @@ public class Character {
     value = c.value;
   }
 
+  @LATTICE("OUT<THIS,RETURNLOC=OUT,THISLOC=THIS")
   public String toString() {
     return ""+value;
   }