From 7fa3645e5d6f25f90498f2bbdfb99cf697ff5b1b Mon Sep 17 00:00:00 2001 From: Erik Krogh Kristensen Date: Fri, 28 May 2021 23:47:41 +0200 Subject: [PATCH] get jump to field to work --- ql/src/ide-contextual-queries/Definitions.qll | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/ql/src/ide-contextual-queries/Definitions.qll b/ql/src/ide-contextual-queries/Definitions.qll index deb977fe672..2588594f14a 100644 --- a/ql/src/ide-contextual-queries/Definitions.qll +++ b/ql/src/ide-contextual-queries/Definitions.qll @@ -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)