Skip to content

Commit 910a15e

Browse files
Fix CI/CD errors: apply formatting and move test files to correct directories
Co-authored-by: MichaelRFairhurst <1627771+MichaelRFairhurst@users.noreply.github.com>
1 parent 7fcde25 commit 910a15e

37 files changed

Lines changed: 34 additions & 41 deletions

.gitignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
# CodeQL CLI installation directory
2+
codeql_home/

cpp/src/qtil/cpp/graph/CustomPathStateProblem.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,4 @@ private import qtil.locations.CustomPathStateProblem
22
private import qtil.cpp.locations.Locatable
33
private import cpp
44
// Import the C++ specific configuration for making custom path state problems.
5-
import PathStateProblem<Location, CppLocatableConfig>
5+
import PathStateProblem<Location, CppLocatableConfig>

cpp/test/qtil/cpp/graph/CustomPathStateProblemTest.ql

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ import qtil.cpp.graph.CustomPathStateProblem
44

55
module CallGraphPathStateProblemConfig implements CustomPathStateProblemConfigSig {
66
class Node = Variable;
7-
7+
88
class State = int; // Track search depth
99

1010
predicate start(Node n, int depth) { n.getName() = "start" and depth = 0 }
@@ -13,7 +13,7 @@ module CallGraphPathStateProblemConfig implements CustomPathStateProblemConfigSi
1313
predicate end(Node n, int depth) { n.getName() = "end" }
1414

1515
bindingset[depth1]
16-
bindingset[depth2]
16+
bindingset[depth2]
1717
predicate edge(Variable a, int depth1, Variable b, int depth2) {
1818
depth2 = depth1 + 1 and
1919
exists(Initializer initA |
@@ -27,4 +27,4 @@ import CustomPathStateProblem<CallGraphPathStateProblemConfig>
2727

2828
from Variable start, Variable end
2929
where problem(start, end)
30-
select start, end, "Path from $@ to $@.", start.getName(), start, end.getName(), end
30+
select start, end, "Path from $@ to $@.", start.getName(), start, end.getName(), end

csharp/src/qtil/csharp/graph/CustomPathStateProblem.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,4 @@ private import qtil.locations.CustomPathStateProblem
22
private import qtil.csharp.locations.Locatable
33
private import csharp
44
// Import the C# specific configuration for making custom path state problems.
5-
import PathStateProblem<csharp::Location, CsharpLocatableConfig>
5+
import PathStateProblem<csharp::Location, CsharpLocatableConfig>

csharp/test/qtil/csharp/graph/CustomPathStateProblemTest.ql

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ import qtil.csharp.graph.CustomPathStateProblem
44

55
module CallGraphPathStateProblemConfig implements CustomPathStateProblemConfigSig {
66
class Node = LocalVariable;
7-
7+
88
class State = int; // Track search depth
99

1010
predicate start(Node n, int depth) { n.getName() = "start" and depth = 0 }
@@ -13,7 +13,7 @@ module CallGraphPathStateProblemConfig implements CustomPathStateProblemConfigSi
1313
predicate end(Node n, int depth) { n.getName() = "end" }
1414

1515
bindingset[depth1]
16-
bindingset[depth2]
16+
bindingset[depth2]
1717
predicate edge(LocalVariable a, int depth1, LocalVariable b, int depth2) {
1818
depth2 = depth1 + 1 and
1919
exists(LocalVariableDeclExpr declA, LocalVariableDeclExpr declB |
@@ -28,4 +28,4 @@ import CustomPathStateProblem<CallGraphPathStateProblemConfig>
2828

2929
from LocalVariable start, LocalVariable end
3030
where problem(start, end)
31-
select start, end, "Path from $@ to $@.", start.getName(), start, end.getName(), end
31+
select start, end, "Path from $@ to $@.", start.getName(), start, end.getName(), end

go/src/qtil/go/graph/CustomPathStateProblem.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,4 @@ private import qtil.locations.CustomPathStateProblem
22
private import qtil.go.locations.Locatable
33
private import go
44
// Import the Go specific configuration for making custom path state problems.
5-
import PathStateProblem<go::DbLocation, GoLocatableConfig>
5+
import PathStateProblem<go::DbLocation, GoLocatableConfig>

go/test/qtil/go/graph/CustomPathStateProblemTest.ql

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ import qtil.go.graph.CustomPathStateProblem
44

55
module CallGraphPathStateProblemConfig implements CustomPathStateProblemConfigSig {
66
class Node = Variable;
7-
7+
88
class State = int; // Track search depth
99

1010
predicate start(Node n, int depth) { n.getName() = "start" and depth = 0 }
@@ -13,7 +13,7 @@ module CallGraphPathStateProblemConfig implements CustomPathStateProblemConfigSi
1313
predicate end(Node n, int depth) { n.getName() = "end" }
1414

1515
bindingset[depth1]
16-
bindingset[depth2]
16+
bindingset[depth2]
1717
predicate edge(Variable a, int depth1, Variable b, int depth2) {
1818
depth2 = depth1 + 1 and
1919
exists(ValueSpec specA, ValueSpec specB |
@@ -28,4 +28,4 @@ import CustomPathStateProblem<CallGraphPathStateProblemConfig>
2828

2929
from Variable start, Variable end
3030
where problem(start, end)
31-
select start, end, "Path from $@ to $@.", start.getName(), start, end.getName(), end
31+
select start, end, "Path from $@ to $@.", start.getName(), start, end.getName(), end

java/src/qtil/java/graph/CustomPathStateProblem.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,4 @@ private import qtil.locations.CustomPathStateProblem
22
private import qtil.java.locations.Locatable
33
private import java
44
// Import the Java specific configuration for making custom path state problems.
5-
import PathStateProblem<Location, JavaLocatableConfig>
5+
import PathStateProblem<Location, JavaLocatableConfig>

java/test/qtil/java/graph/CustomPathStateProblemTest.ql

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ import qtil.java.graph.CustomPathStateProblem
44

55
module CallGraphPathStateProblemConfig implements CustomPathStateProblemConfigSig {
66
class Node = LocalVariableDecl;
7-
7+
88
class State = int; // Track search depth
99

1010
predicate start(Node n, int depth) { n.getName() = "start" and depth = 0 }
@@ -13,7 +13,7 @@ module CallGraphPathStateProblemConfig implements CustomPathStateProblemConfigSi
1313
predicate end(Node n, int depth) { n.getName() = "end" }
1414

1515
bindingset[depth1]
16-
bindingset[depth2]
16+
bindingset[depth2]
1717
predicate edge(LocalVariableDecl a, int depth1, LocalVariableDecl b, int depth2) {
1818
depth2 = depth1 + 1 and
1919
exists(LocalVariableDeclExpr declA, LocalVariableDeclExpr declB |
@@ -28,4 +28,4 @@ import CustomPathStateProblem<CallGraphPathStateProblemConfig>
2828

2929
from LocalVariableDecl start, LocalVariableDecl end
3030
where problem(start, end)
31-
select start, end, "Path from $@ to $@.", start.getName(), start, end.getName(), end
31+
select start, end, "Path from $@ to $@.", start.getName(), start, end.getName(), end

javascript/src/qtil/javascript/graph/CustomPathStateProblem.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,4 @@ private import qtil.locations.CustomPathStateProblem
22
private import qtil.javascript.locations.Locatable
33
private import javascript
44
// Import the javascript specific configuration for making custom path state problems.
5-
import PathStateProblem<DbLocation, JavascriptLocatableConfig>
5+
import PathStateProblem<DbLocation, JavascriptLocatableConfig>

0 commit comments

Comments
 (0)