From 4ef3f461a4c032073deebb05cc94bcb96e230609 Mon Sep 17 00:00:00 2001 From: Mark Shannon Date: Wed, 23 Jan 2019 14:07:50 +0000 Subject: [PATCH] Python: Fix typo and use infix casts. --- python/ql/src/Imports/UnusedImport.ql | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/python/ql/src/Imports/UnusedImport.ql b/python/ql/src/Imports/UnusedImport.ql index 118a5a89dba..6d927550c0c 100644 --- a/python/ql/src/Imports/UnusedImport.ql +++ b/python/ql/src/Imports/UnusedImport.ql @@ -43,7 +43,7 @@ predicate all_not_understood(Module m) { predicate imported_module_used_in_doctest(Import imp) { exists(string modname | - ((Name)imp.getAName().getAsname()).getId() = modname + imp.getAName().getAsname().(Name).getId() = modname and /* Look for doctests containing the patterns: * >>> …name… @@ -59,14 +59,14 @@ predicate imported_module_used_in_doctest(Import imp) { predicate imported_module_used_in_typehint(Import imp) { exists(string modname | - ((Name)imp.getAName().getAsname()).getId() = modname + imp.getAName().getAsname().(Name).getId() = modname and /* Look for typehints containing the patterns: * # type: …name… */ - exists(Comment tyephint | - tyephint.getLocation().getFile() = imp.getScope().(Module).getFile() and - tyephint.getText().regexpMatch("# type:.*" + modname + ".*") + exists(Comment typehint | + typehint.getLocation().getFile() = imp.getScope().(Module).getFile() and + typehint.getText().regexpMatch("# type:.*" + modname + ".*") ) ) }