diff --git a/python/.vscode/ql.code-snippets b/python/.vscode/ql.code-snippets index 17b8e37dad3..76a07df1452 100644 --- a/python/.vscode/ql.code-snippets +++ b/python/.vscode/ql.code-snippets @@ -1,24 +1,24 @@ { - // Place your python workspace snippets here. Each snippet is defined under a snippet name and has a scope, prefix, body and - // description. Add comma separated ids of the languages where the snippet is applicable in the scope field. If scope - // is left empty or omitted, the snippet gets applied to all languages. The prefix is what is - // used to trigger the snippet and the body will be expanded and inserted. Possible variables are: - // $1, $2 for tab stops, $0 for the final cursor position, and ${1:label}, ${2:another} for placeholders. - // Placeholders with the same ids are connected. - // Example: - // "Print to console": { - // "scope": "javascript,typescript", - // "prefix": "log", - // "body": [ - // "console.log('$1');", - // "$2" - // ], - // "description": "Log output to console" - // } + // Place your python workspace snippets here. Each snippet is defined under a snippet name and has a scope, prefix, body and + // description. Add comma separated ids of the languages where the snippet is applicable in the scope field. If scope + // is left empty or omitted, the snippet gets applied to all languages. The prefix is what is + // used to trigger the snippet and the body will be expanded and inserted. Possible variables are: + // $1, $2 for tab stops, $0 for the final cursor position, and ${1:label}, ${2:another} for placeholders. + // Placeholders with the same ids are connected. + // Example: + // "Print to console": { + // "scope": "javascript,typescript", + // "prefix": "log", + // "body": [ + // "console.log('$1');", + // "$2" + // ], + // "description": "Log output to console" + // } "Has relative path": { - "scope": "ql", - "prefix": "has relative path", + "scope": "ql", + "prefix": "has relative path", "body": [ "exists($1.getLocation().getFile().getRelativePath())" ], @@ -26,8 +26,8 @@ }, "Exists": { - "scope": "ql", - "prefix": "exists", + "scope": "ql", + "prefix": "exists", "body": [ "exists(${1:DataFlow::Node node} |", " $2", @@ -37,8 +37,8 @@ }, "Predicate": { - "scope": "ql", - "prefix": "predicate", + "scope": "ql", + "prefix": "predicate", "body": [ "predicate ${1:isFoo}(${2:DataFlow::Node node}) {", " ${3:any()}", @@ -48,8 +48,8 @@ }, "Class": { - "scope": "ql", - "prefix": "class", + "scope": "ql", + "prefix": "class", "body": [ "class ${1:MyClass} extends ${2:DataFlow::MethodCallNode} {", " $1() { ${3:getMethodName() = \"foo\"} }", @@ -61,8 +61,8 @@ }, "Abstract class": { - "scope": "ql", - "prefix": "abstract class", + "scope": "ql", + "prefix": "abstract class", "body": [ "abstract class ${1:AdditionalThing} extends ${2:DataFlow::Node} {", " abstract ${3:DataFlow::Node} ${4:getThing}($5);", @@ -72,8 +72,8 @@ }, "Class::Range": { - "scope": "ql", - "prefix": "range class", + "scope": "ql", + "prefix": "range class", "body": [ "class ${1:MyClass} extends ${2:DataFlow::Node} {", " $1::Range range;", @@ -93,8 +93,8 @@ }, "Class::Range delegate": { - "scope": "ql", - "prefix": "range delegate", + "scope": "ql", + "prefix": "range delegate", "body": [ "${1:DataFlow::Node} ${2:getThing}() { result = range.$2() }" ], @@ -102,8 +102,8 @@ }, "Type tracking predicate": { - "scope": "ql", - "prefix": "type tracking", + "scope": "ql", + "prefix": "type tracking", "body": [ "/** Gets a reference to a ${3:thing}. */", "private DataFlow::Node ${1:myType}(DataFlow::TypeTracker t) {", @@ -124,8 +124,8 @@ }, "Type tracking module": { - "scope": "ql", - "prefix": "type tracking module", + "scope": "ql", + "prefix": "type tracking module", "body": [ "// ---------------------------------------------------------------------------", "// ${1:modulename}", @@ -189,8 +189,8 @@ }, "Type tracking module member": { - "scope": "ql", - "prefix": "type tracking module member", + "scope": "ql", + "prefix": "type tracking module member", "body": [ "/** Gets a reference to the `${1:module}.${2:member}` ${3:object/class}. */", "private DataFlow::Node ${4:$2}(DataFlow::TypeTracker t) {", @@ -210,8 +210,8 @@ }, "Taint tracking configuration": { - "scope": "ql", - "prefix": "taint tracking", + "scope": "ql", + "prefix": "taint tracking", "body": [ "/** @kind path-problem */", "import python", @@ -239,8 +239,8 @@ }, "Type tracking submodule": { - "scope": "ql", - "prefix": "type tracking submodule", + "scope": "ql", + "prefix": "type tracking submodule", "body": [ " // -------------------------------------------------------------------------", " // ${1:parent}.${2:submodule}", @@ -295,8 +295,8 @@ }, "Type tracking class": { - "scope": "ql", - "prefix": "type tracking class", + "scope": "ql", + "prefix": "type tracking class", "body": [ " /**", " * Provides models for the `${1:module}.${2:classname}` class",