From a5dccb0ac7cb6d6b9da1721cf075994b6b21becd Mon Sep 17 00:00:00 2001 From: Alvaro Muñoz Date: Thu, 1 Oct 2020 00:16:11 +0200 Subject: CodeQL locals.scm queries --- queries/ql/locals.scm | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 queries/ql/locals.scm diff --git a/queries/ql/locals.scm b/queries/ql/locals.scm new file mode 100644 index 000000000..a65469ccb --- /dev/null +++ b/queries/ql/locals.scm @@ -0,0 +1,29 @@ +; SCOPES +(module) @scope +(dataclass) @scope +(datatype) @scope +(classMember (body) @scope) +(memberPredicate (body) @scope) +(classlessPredicate (body) @scope) +(quantified (conjunction) @scope) +(select) @scope + +; DEFINITIONS + +; module +(module name: (moduleName) @definition.module) + +; classes +(dataclass name: (className) @definition.class) +(datatype name: (className) @definition.type) + +; predicates +(charpred (className) @definition.method) +(memberPredicate name: (predicateName) @definition.method) +(classlessPredicate name: (predicateName) @definition.function) + +; variables +(varDecl (varName (simpleId) @definition.var)) + +; REFERENCES +(simpleId) @reference -- cgit v1.2.3-70-g09d2