get jump to field to work

This commit is contained in:
Erik Krogh Kristensen
2021-05-28 23:47:41 +02:00
parent e57f9e9a1b
commit 7fa3645e5d

View File

@@ -48,6 +48,11 @@ private predicate resolveVar(VarAccess va, VarDecl decl, string kind) {
kind = "variable"
}
private predicate resolveField(FieldAccess va, VarDecl decl, string kind) {
decl = va.getDeclaration() and
kind = "field"
}
private predicate resolveCall(Call c, Predicate p, string kind) {
p = c.getTarget().getDeclaration() and
kind = "call"
@@ -61,6 +66,8 @@ predicate resolve(Loc ref, Loc target, string kind) {
or
resolvePredicate(ref.asAst(), target.asAst(), kind)
or
resolveField(ref.asAst(), target.asAst(), kind)
or
resolveVar(ref.asAst(), target.asAst(), kind)
or
resolveCall(ref.asAst(), target.asAst(), kind)