JS: Autoformat

This commit is contained in:
Asger Feldthaus
2020-04-08 12:40:00 +01:00
parent 4ca3ac5ee9
commit 5ab595da2e

View File

@@ -4,16 +4,13 @@
* This tests adds a negative dependency `flowsTo --!--> SourceNode`
* so that the undesired edge `SourceNode --> flowsTo` completes a negative cycle.
*/
import javascript
class BadSourceNode extends DataFlow::SourceNode {
BadSourceNode() {
this.(DataFlow::PropRead).getPropertyName() = "foo"
}
BadSourceNode() { this.(DataFlow::PropRead).getPropertyName() = "foo" }
override predicate flowsTo(DataFlow::Node node) {
not node instanceof DataFlow::SourceNode
}
override predicate flowsTo(DataFlow::Node node) { not node instanceof DataFlow::SourceNode }
}
select "Success"