Python: Autoformat

This commit is contained in:
Taus
2021-12-07 09:29:24 +00:00
committed by GitHub
parent 33a9f86f54
commit 7cd9369d91

View File

@@ -21,7 +21,9 @@ module ImportStar {
/** Holds if `n` refers to a variable that is defined in the module in which it occurs. */
private predicate isDefinedLocally(NameNode n) {
// Defined in an enclosing scope
exists(LocalVariable v | v.getId() = n.getId() and v.getScope() = n.getScope().getEnclosingScope*())
exists(LocalVariable v |
v.getId() = n.getId() and v.getScope() = n.getScope().getEnclosingScope*()
)
or
// Defined as a built-in
n.getId() = Builtins::getBuiltinName()