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)