JS: Autformat

This commit is contained in:
Asger Feldthaus
2020-03-19 09:36:27 +00:00
parent 3ae33e3c1a
commit 4f42675b35
2 changed files with 5 additions and 5 deletions

View File

@@ -1,10 +1,10 @@
import javascript
import ExampleConfiguration
query predicate isBarrier(ExampleConfiguration cfg, DataFlow::Node n) {
cfg.isBarrier(n)
}
query predicate isBarrier(ExampleConfiguration cfg, DataFlow::Node n) { cfg.isBarrier(n) }
query predicate isLabeledBarrier(ExampleConfiguration cfg, DataFlow::Node n, DataFlow::FlowLabel label) {
query predicate isLabeledBarrier(
ExampleConfiguration cfg, DataFlow::Node n, DataFlow::FlowLabel label
) {
cfg.isLabeledBarrier(n, label)
}