Skip to content

Commit fcd0284

Browse files
Format all
1 parent cb74170 commit fcd0284

File tree

80 files changed

+315
-354
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

80 files changed

+315
-354
lines changed

cpp/src/qtil/Cpp.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ module Qtil {
22
private import qtil.Qtil as Common
33
// Importing qtil.Cpp should import all of Qtil.
44
import Common::Qtil
5-
import qtil.cpp.ast.TwoOperands
5+
import qtil.cpp.ast.TwoOperands
66
import qtil.cpp.format.QlFormat
77
import qtil.cpp.graph.CustomPathProblem
8-
}
8+
}

cpp/src/qtil/cpp/ast/TwoOperands.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,4 +52,4 @@ import qtil.parameterization.SignatureTypes
5252
module TwoOperands<Signature<cpp::BinaryOperation>::Type BinOp> {
5353
private import qtil.ast.TwoOperands as Make
5454
import Make::TwoOperands<cpp::Expr, BinOp>
55-
}
55+
}
Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
private import qtil.format.QLFormat
22
private import cpp
33
private import qtil.cpp.locations.Locatable
4-
5-
import QlFormat<Location, CppLocatableConfig>
4+
import QlFormat<Location, CppLocatableConfig>
Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
private import qtil.locations.CustomPathProblem
22
private import qtil.cpp.locations.Locatable
33
private import cpp
4-
54
// Import the C++ specific configuration for making custom path problems.
6-
import PathProblem<Location, CppLocatableConfig>
5+
import PathProblem<Location, CppLocatableConfig>

cpp/test/qtil/cpp/format/QlFormatTest.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,4 +12,4 @@ predicate problem(Locatable elem, Template msg) {
1212
)
1313
}
1414

15-
import Problem<problem/2>::Query
15+
import Problem<problem/2>::Query

cpp/test/qtil/cpp/graph/CustomPathProblemTest.ql

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -7,13 +7,9 @@ module CallGraphPathProblemConfig implements CustomPathProblemConfigSig {
77

88
predicate start(Node n) { n.getName() = "start" }
99

10-
predicate end(Node n) {
11-
n.getName() = "end"
12-
}
10+
predicate end(Node n) { n.getName() = "end" }
1311

14-
predicate edge(Variable a, Variable b) {
15-
a.getAnAssignedValue().(VariableAccess).getTarget() = b
16-
}
12+
predicate edge(Variable a, Variable b) { a.getAnAssignedValue().(VariableAccess).getTarget() = b }
1713
}
1814

1915
import CustomPathProblem<CallGraphPathProblemConfig>

csharp/src/qtil/csharp/ast/TwoOperands.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,4 +52,4 @@ import qtil.parameterization.SignatureTypes
5252
module TwoOperands<Signature<csharp::BinaryOperation>::Type BinOp> {
5353
private import qtil.ast.TwoOperands as Make
5454
import Make::TwoOperands<csharp::Expr, BinOp>
55-
}
55+
}
Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
private import qtil.format.QLFormat
22
private import csharp
33
private import qtil.csharp.locations.Locatable
4-
5-
import QlFormat<Location, CsharpLocatableConfig>
4+
import QlFormat<Location, CsharpLocatableConfig>
Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
private import qtil.locations.CustomPathProblem
22
private import qtil.csharp.locations.Locatable
33
private import csharp
4-
54
// Import the C# specific configuration for making custom path problems.
6-
import PathProblem<Location, CsharpLocatableConfig>
5+
import PathProblem<Location, CsharpLocatableConfig>

csharp/test/qtil/csharp/format/QlFormatTest.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,4 +12,4 @@ predicate problem(Element elem, Template msg) {
1212
)
1313
}
1414

15-
import Problem<problem/2>::Query
15+
import Problem<problem/2>::Query

0 commit comments

Comments
 (0)