Make (classinstance).send typecheck in HeatVisitor

1 files changed, 22 insertions, 0 deletions

diff --git a/output/ex16.java b/output/ex16.java
new file mode 100644
index 0000000..71dcede
--- /dev/null
+++ b/output/ex16.java
@@ -0,0 +1,22 @@
+class ex16 {
+    public static void main(String[] a){
+        System.out.println(new Test().start());
+    }
+}
+
+class Test {
+
+    Test test;
+    int[] i;
+
+    public int start() {
+        i = new int[10];
+        test = (test).next();
+        return 0;
+    }
+
+    public Test next() {
+        System.out.println(1);
+        return test;
+    }
+}