Skip to content

Commit e137115

Browse files
authored
Python: Autoformat Concepts.qll
1 parent 8521f9a commit e137115

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

python/ql/src/experimental/semmle/python/Concepts.qll

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@ private import semmle.python.dataflow.new.RemoteFlowSources
1414
private import semmle.python.dataflow.new.TaintTracking
1515
private import experimental.semmle.python.Frameworks
1616

17-
1817
/** Provides classes for modeling copying file related APIs. */
1918
module CopyFile {
2019
/**
@@ -27,7 +26,8 @@ module CopyFile {
2726
/**
2827
* Gets the argument containing the path.
2928
*/
30-
abstract DataFlow::Node getAPathArgument();
29+
abstract DataFlow::Node getAPathArgument();
30+
3131
/**
3232
* Gets fsrc argument.
3333
*/
@@ -47,7 +47,7 @@ class CopyFile extends DataFlow::Node {
4747
CopyFile() { this = range }
4848

4949
DataFlow::Node getAPathArgument() { result = range.getAPathArgument() }
50-
50+
5151
DataFlow::Node getfsrcArgument() { result = range.getfsrcArgument() }
5252
}
5353

@@ -79,6 +79,7 @@ class LogOutput extends DataFlow::Node {
7979
LogOutput() { this = range }
8080

8181
DataFlow::Node getAnInput() { result = range.getAnInput() }
82+
}
8283

8384
/**
8485
* Since there is both XML module in normal and experimental Concepts,

0 commit comments

Comments
 (0)