more changes to pass the flow-down rule

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

diff --git a/Robust/src/ClassLibrary/SSJava/System.java b/Robust/src/ClassLibrary/SSJava/System.java
index 3d18547e651158e90cd90c3153dce77edc7c9845..e5765604ddf65ec997d4108972faed986336e4c3 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/System.java
+++ b/Robust/src/ClassLibrary/SSJava/System.java
@@ -20,15 +20,15 @@ public class System {
     System.printString(s + "\n");
   }
 
-  public static void println(int o) {
+  public static void println(@LOC("IN") int o) {
     System.printString("" + o + "\n");
   }
 
-  public static void println(double o) {
+  public static void println(@LOC("IN") double o) {
     System.printString("" + o + "\n");
   }
 
-  public static void println(long o) {
+  public static void println(@LOC("IN") long o) {
     System.printString("" + o + "\n");
   }
 
@@ -36,7 +36,7 @@ public class System {
     System.printString("\n");
   }
 
-  public static void print(String s) {
+  public static void print(@LOC("IN") String s) {
     System.printString(s);
   }