hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-18 01:33:15 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rename super_() to superType() for better consistency.

Browse Source
This commit is contained in:
Mark Shannon
2019-05-09 14:47:12 +01:00
parent d44ce4f1df
commit 92d0aef6f4
3 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/src/semmle/python/objects/Instances.qll
View File

@@ -368,7 +368,7 @@ class SuperInstance extends TSuperInstance, ObjectInternal {
override boolean isClass() { result = false } override boolean isClass() { result = false }
override ObjectInternal getClass() { override ObjectInternal getClass() {
result = ObjectInternal::super_() result = ObjectInternal::superType()
} }
override boolean isComparable() { result = false } override boolean isComparable() { result = false }

2
python/ql/src/semmle/python/objects/ObjectInternal.qll
View File

@@ -418,7 +418,7 @@ module ObjectInternal {
result = TBuiltinClassObject(Builtin::special("property")) result = TBuiltinClassObject(Builtin::special("property"))
} }
ObjectInternal super_() { ObjectInternal superType() {
result = TBuiltinClassObject(Builtin::special("super")) result = TBuiltinClassObject(Builtin::special("super"))
} }

6
python/ql/src/semmle/python/objects/TObject.qll
View File

@@ -121,7 +121,7 @@ newtype TObject =
} }
or or
TUnknownInstance(BuiltinClassObjectInternal cls) { TUnknownInstance(BuiltinClassObjectInternal cls) {
cls != ObjectInternal::super_() and cls != ObjectInternal::superType() and
cls != ObjectInternal::builtin("bool") and cls != ObjectInternal::builtin("bool") and
cls != ObjectInternal::noneType() cls != ObjectInternal::noneType()
} }
@@ -208,7 +208,7 @@ pragma [noinline]
private predicate super_call2(CallNode call, ControlFlowNode arg0, ControlFlowNode arg1, PointsToContext context) { private predicate super_call2(CallNode call, ControlFlowNode arg0, ControlFlowNode arg1, PointsToContext context) {
exists(ControlFlowNode func | exists(ControlFlowNode func |
call2(call, func, arg0, arg1) and call2(call, func, arg0, arg1) and
PointsToInternal::pointsTo(func, context, ObjectInternal::super_(), _) PointsToInternal::pointsTo(func, context, ObjectInternal::superType(), _)
) )
} }
@@ -238,7 +238,7 @@ predicate method_binding(AttrNode instantiation, ObjectInternal self, CallableOb
receiver(instantiation, context, obj, name) | receiver(instantiation, context, obj, name) |
exists(ObjectInternal cls | exists(ObjectInternal cls |
cls = obj.getClass() and cls = obj.getClass() and
cls != ObjectInternal::super_() and cls != ObjectInternal::superType() and
cls.attribute(name, function, _) and cls.attribute(name, function, _) and
self = obj self = obj
) )