Remove an unused and potentially confusing predicate.

This commit is contained in:
Max Schaefer
2020-03-16 09:49:25 +00:00
parent 0fc7febd1d
commit 74bcfdd01c
3 changed files with 0 additions and 14 deletions

View File

@@ -584,12 +584,6 @@ class SendRecvChanType extends @sendrcvchantype, ChanType {
/** A named type. */
class NamedType extends @namedtype, CompositeType {
/** Gets a method with name `m` defined on this type or its pointer type. */
MethodDecl getMethodDecl(string m) {
result.getName() = m and
this = result.getReceiverBaseType()
}
/** Gets the type which this type is defined to be. */
Type getBaseType() { underlying_type(this, result) }

View File

@@ -1,4 +0,0 @@
| Foo | half | pkg1/tst.go:33:1:35:1 | function declaration |
| base | f | pkg1/embedding.go:10:1:12:1 | function declaration |
| base | g | pkg1/embedding.go:14:1:16:1 | function declaration |
| embedder3 | f | pkg1/embedding.go:30:1:32:1 | function declaration |

View File

@@ -1,4 +0,0 @@
import go
from NamedType t, string m
select t, m, t.getMethodDecl(m)