From b5da1cb6b97d55eeed063fe261fca7e254ad46b6 Mon Sep 17 00:00:00 2001
From: Xun Yang <x299yang@uwaterloo.ca>
Date: Fri, 6 Mar 2020 19:23:13 -0500
Subject: [PATCH] null can be assign to array
---
TheTypeNode.py | 3 +++
1 file changed, 3 insertions(+)
diff --git a/TheTypeNode.py b/TheTypeNode.py
index 68b6988..8dbf553 100644
--- a/TheTypeNode.py
+++ b/TheTypeNode.py
@@ -73,6 +73,9 @@ class TypeStruct():
if right.isArray and self.name in ['java.lang.Object', 'java.lang.Cloneable', 'java.io.Serializable']:
return True
+ if self.isArray and right.name == 'null':
+ return True
+
return False
# helper: get list of all super class/interface of a ClassInterNode
--
GitLab