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

JavaScript: Rename MkPathNode to MkMidNode.

Browse Source
This commit is contained in:
Max Schaefer
2019-10-18 16:54:17 +01:00
parent d71faaa5f9
commit b6f4785645
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
javascript/ql/src/semmle/javascript/dataflow/Configuration.qll
View File

@@ -943,7 +943,7 @@ private predicate isLive() { exists(DataFlow::Configuration cfg | isSource(_, cf
* A data flow node on an inter-procedural path from a source.
*/
private newtype TPathNode =
MkPathNode(DataFlow::Node nd, DataFlow::Configuration cfg, PathSummary summary) {
MkMidNode(DataFlow::Node nd, DataFlow::Configuration cfg, PathSummary summary) {
isLive() and
onPath(nd, cfg, summary)
}
@@ -969,7 +969,7 @@ class PathNode extends TPathNode {
DataFlow::Configuration cfg;
PathSummary summary;
PathNode() { this = MkPathNode(nd, cfg, summary) }
PathNode() { this = MkMidNode(nd, cfg, summary) }
/** Gets the underlying data flow node of this path node. */
DataFlow::Node getNode() { result = nd }
@@ -991,7 +991,7 @@ class PathNode extends TPathNode {
private PathNode getASuccessorInternal() {
exists(DataFlow::Node succ, PathSummary newSummary |
flowStep(nd, id(cfg), succ, newSummary) and
result = MkPathNode(succ, id(cfg), summary.append(newSummary))
result = MkMidNode(succ, id(cfg), summary.append(newSummary))
)
}