hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

forward toString() etc. predicates from YamlNode to Locatable

Browse Source
This commit is contained in:
erik-krogh
2023-04-11 15:37:01 +02:00
parent b5e90483f5
commit 3c4bd5b6a7
2 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
javascript/ql/lib/semmle/javascript/PrintAst.qll
View File

@@ -51,7 +51,7 @@ private predicate isNotNeeded(Locatable el) {
private string getQlClass(Locatable el) {
result = "[" + el.getPrimaryQlClasses() + "] "
// Alternative implementation -- do not delete. It is useful for QL class discovery.
// not el.getAPrimaryQlClass() = "???" and result = "[" + getPrimaryQlClasses() + "] " or el.getAPrimaryQlClass() = "???" and result = "??[" + concat(el.getAQlClass(), ",") + "] "
// not el.getAPrimaryQlClass() = "???" and result = "[" + el.getPrimaryQlClasses() + "] " or el.getAPrimaryQlClass() = "???" and result = "??[" + concat(el.getAQlClass(), ",") + "] "
}
/**

9
javascript/ql/lib/semmle/javascript/YAML.qll
View File

@@ -48,6 +48,15 @@ private module YamlSig implements LibYaml::InputSig {
import LibYaml::Make<YamlSig>
// private class to forward the `toString` etc. predicates from `YamlNode` to `Locatable`.
private class MyYmlNode extends Locatable instanceof YamlNode {
override string getAPrimaryQlClass() { result = YamlNode.super.getAPrimaryQlClass() }
override Location getLocation() { result = YamlNode.super.getLocation() }
override string toString() { result = YamlNode.super.toString() }
}
/** DEPRECATED: Alias for YamlNode */
deprecated class YAMLNode = YamlNode;