Python: Adds preliminary modernization

BekaValentine · BekaValentine · commit 400a0f5741be · 2020-03-03T16:52:12.000-08:00
diff --git a/python/ql/src/Exceptions/IllegalExceptionHandlerType.ql b/python/ql/src/Exceptions/IllegalExceptionHandlerType.ql
@@ -13,16 +13,16 @@
 
 import python
 
-from ExceptFlowNode ex, Object t, ClassObject c, ControlFlowNode origin, string what
+from ExceptFlowNode ex, Value t, ClassValue c, ControlFlowNode origin, string what
 where ex.handledException(t, c, origin) and 
 (
-  exists(ClassObject x | x = t |
+  exists(ClassValue x | x = t |
     not x.isLegalExceptionType() and
-    not x.failedInference() and
+    not x.failedInference(_) and
     what = "class '" + x.getName() + "'"
   )
   or
-  not t instanceof ClassObject and
+  not t instanceof ClassValue and
   what = "instance of '" + c.getName() + "'"
 )
 

Original file line number	Diff line number	Diff line change
`@@ -13,16 +13,16 @@`
`13`	`13`
`14`	`14`	`import python`
`15`	`15`
`16`		`-from ExceptFlowNode ex, Object t, ClassObject c, ControlFlowNode origin, string what`
	`16`	`+from ExceptFlowNode ex, Value t, ClassValue c, ControlFlowNode origin, string what`
`17`	`17`	`where ex.handledException(t, c, origin) and`
`18`	`18`	`(`
`19`		`- exists(ClassObject x \| x = t \|`
	`19`	`+ exists(ClassValue x \| x = t \|`
`20`	`20`	`not x.isLegalExceptionType() and`
`21`		`- not x.failedInference() and`
	`21`	`+ not x.failedInference(_) and`
`22`	`22`	`what = "class '" + x.getName() + "'"`
`23`	`23`	`)`
`24`	`24`	`or`
`25`		`- not t instanceof ClassObject and`
	`25`	`+ not t instanceof ClassValue and`
`26`	`26`	`what = "instance of '" + c.getName() + "'"`
`27`	`27`	`)`
`28`	`28`