(Nonfunctional) Implemented many type-checking rules

2 files changed, 11 insertions, 0 deletions

diff --git a/tests/Empty.java b/tests/Empty.java
new file mode 100644
index 0000000..dc665df
--- /dev/null
+++ b/tests/Empty.java
@@ -0,0 +1,5 @@
+class Empty {
+	public static void main(String[] a) {
+		System.out.println(1);
+	}
+}
diff --git a/tests/SimpleArithmetic.java b/tests/SimpleArithmetic.java
new file mode 100644
index 0000000..94c780e
--- /dev/null
+++ b/tests/SimpleArithmetic.java
@@ -0,0 +1,6 @@
+class SimpleArithmetic{
+    public static void main(String[] a){
+        int x;
+        x = 1 + 2;
+    }
+}