Add a system class
authorbdemsky <bdemsky>
Wed, 5 Apr 2006 22:09:28 +0000 (22:09 +0000)
committerbdemsky <bdemsky>
Wed, 5 Apr 2006 22:09:28 +0000 (22:09 +0000)
Robust/src/ClassLibrary/System.java [new file with mode: 0644]

diff --git a/Robust/src/ClassLibrary/System.java b/Robust/src/ClassLibrary/System.java
new file mode 100644 (file)
index 0000000..142eca8
--- /dev/null
@@ -0,0 +1,3 @@
+public class System {
+    public static native void printInt(int x);
+}