File tree Expand file tree Collapse file tree 1 file changed +2
-0
lines changed
Expand file tree Collapse file tree 1 file changed +2
-0
lines changed Original file line number Diff line number Diff line change @@ -101,6 +101,7 @@ class Entity extends @object {
101101 * Note that for methods `pkg` is the package path followed by `.` followed
102102 * by the name of the receiver type, for example `io.Writer`.
103103 */
104+ pragma [ nomagic]
104105 predicate hasQualifiedName ( string pkg , string name ) {
105106 pkg = this .getPackage ( ) .getPath ( ) and
106107 name = this .getName ( )
@@ -517,6 +518,7 @@ class Method extends Function {
517518 * `exists(Type t | t.hasQualifiedName(pkg, tp) and meth = t.getMethod(m))`: the latter
518519 * distinguishes between the method sets of `T` and `*T`, while the former does not.
519520 */
521+ pragma [ nomagic]
520522 predicate hasQualifiedName ( string pkg , string tp , string m ) {
521523 exists ( NamedType t |
522524 this .isIn ( t , m ) and
You can’t perform that action at this time.
0 commit comments