From: jjenista <jjenista>
Date: Mon, 23 Feb 2009 23:13:04 +0000 (+0000)
Subject: allow common non-string arguments to print methods
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d355790f8117de54609025fb252bcc45620b75b3;p=IRC.git

allow common non-string arguments to print methods
---

diff --git a/Robust/src/ClassLibrary/System.java b/Robust/src/ClassLibrary/System.java
index 2fdbc2dd..9e43bd40 100644
--- a/Robust/src/ClassLibrary/System.java
+++ b/Robust/src/ClassLibrary/System.java
@@ -15,6 +15,14 @@ public class System {
   public static void println(Object o) {
     System.printString(""+o+"\n");
   }
+
+  public static void println(int o) {
+    System.printString(""+o+"\n");
+  }
+
+  public static void println(double o) {
+    System.printString(""+o+"\n");
+  }
  
   public static void print(String s) {
     System.printString(s);
@@ -23,6 +31,14 @@ public class System {
   public static void print(Object o) {
     System.printString(""+o);
   }
+
+  public static void print(int o) {
+    System.printString(""+o);
+  }
+
+  public static void print(double o) {
+    System.printString(""+o);
+  }
   
   public static void error() {
     System.printString("Error (Use Breakpoint on ___System______error method for more information!)\n");