# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1353262766 -3600
# Node ID 123ba97c3718d4364e8b5bebbc562be42b5d17bf
# Parent  d441042e6c11124095dfe8ad33abc2cc18a6259f
Integer.toString test

diff -r d441042e6c11 -r 123ba97c3718 vm/src/test/java/org/apidesign/vm4brwsr/NumberTest.java
--- a/vm/src/test/java/org/apidesign/vm4brwsr/NumberTest.java	Sun Nov 18 19:01:38 2012 +0100
+++ b/vm/src/test/java/org/apidesign/vm4brwsr/NumberTest.java	Sun Nov 18 19:19:26 2012 +0100
@@ -133,6 +133,14 @@
         fail("" + sb);
     }
 */    
+    @Test public void fiveInStringJS() throws Exception {
+        String s = Numbers.intToString();
+        assertExec("Should be the same: " + s, 
+            "org_apidesign_vm4brwsr_Numbers_intToStringLjava_lang_String", 
+            s
+        );
+    }
+    
     private static CharSequence codeSeq;
     private static Invocable code;
 
diff -r d441042e6c11 -r 123ba97c3718 vm/src/test/java/org/apidesign/vm4brwsr/Numbers.java
--- a/vm/src/test/java/org/apidesign/vm4brwsr/Numbers.java	Sun Nov 18 19:01:38 2012 +0100
+++ b/vm/src/test/java/org/apidesign/vm4brwsr/Numbers.java	Sun Nov 18 19:19:26 2012 +0100
@@ -60,5 +60,8 @@
         DataInputStream dis = new DataInputStream(is);
         return dis.readInt();
     }
-    
+
+    static String intToString() {
+        return new Integer(5).toString().toString();
+    }
 }