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 {
101
101
* Note that for methods `pkg` is the package path followed by `.` followed
102
102
* by the name of the receiver type, for example `io.Writer`.
103
103
*/
104
+ pragma [ nomagic]
104
105
predicate hasQualifiedName ( string pkg , string name ) {
105
106
pkg = this .getPackage ( ) .getPath ( ) and
106
107
name = this .getName ( )
@@ -517,6 +518,7 @@ class Method extends Function {
517
518
* `exists(Type t | t.hasQualifiedName(pkg, tp) and meth = t.getMethod(m))`: the latter
518
519
* distinguishes between the method sets of `T` and `*T`, while the former does not.
519
520
*/
521
+ pragma [ nomagic]
520
522
predicate hasQualifiedName ( string pkg , string tp , string m ) {
521
523
exists ( NamedType t |
522
524
this .isIn ( t , m ) and
You can’t perform that action at this time.
0 commit comments