1 files changed, 17 insertions, 0 deletions
diff --git a/typecheck/tests/IsPositive.java b/typecheck/tests/IsPositive.java
new file mode 100644
index 0000000..6adc30f
--- /dev/null
+++ b/typecheck/tests/IsPositive.java
@@ -0,0 +1,17 @@
+class IsPositive{
+    public static void main(String[] a){
+        System.out.println(new Positive().isPositive(10));
+    }
+}
+
+class Positive {
+    public bool IsPositive(int num){
+        bool positive ;
+	
+        if (0 < num)
+            positive = true ;
+        else
+            positive = false ;
+        return positive ;
+    }
+}