From f86e714a4fdebb994101813a5fa6664f5883a0ab Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Thu, 9 May 2024 00:36:50 -0600
Subject: Many final bug-fixes in heat visitor, symbol table

---
 output/negative/CallNonSubType-error.java | 38 +++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 output/negative/CallNonSubType-error.java

(limited to 'output/negative/CallNonSubType-error.java')

diff --git a/output/negative/CallNonSubType-error.java b/output/negative/CallNonSubType-error.java
new file mode 100644
index 0000000..f1cc63d
--- /dev/null
+++ b/output/negative/CallNonSubType-error.java
@@ -0,0 +1,38 @@
+class CallNonSubType {
+    public static void main(String[] z) {
+        A a ;
+        A b ;
+        C c ;
+        a = new A() ;
+        b = new A() ;
+        c = new C() ;
+        System.out.println(c.play_with_classes(a, b)) ;
+    }
+}
+
+class A {
+
+    public int get_tt() {
+        return 32 ;
+    }
+
+}
+
+class B extends A {
+
+    int useless ;
+
+}
+
+class C {
+
+    public int play_with_classes(A a, B b) {
+        int ret ;
+        int x ;
+        int y ;
+        x = a.get_tt() ;
+        y = b.get_tt() ;
+        ret = x + y ;
+        return ret ;
+    }
+}
-- 
cgit v1.2.3