@@ -9,21 +9,21 @@ signature module InputSig {
9
9
/**
10
10
* Represents a node in the data flow graph.
11
11
*/
12
- class Node {
13
- /** Gets a textual representation of this element. */
14
- string toString ( ) ;
12
+ class Node {
13
+ /** Gets a textual representation of this element. */
14
+ string toString ( ) ;
15
15
16
- /**
17
- * Holds if this element is at the specified location.
18
- * The location spans column `startcolumn` of line `startline` to
19
- * column `endcolumn` of line `endline` in file `filepath`.
20
- * For more information, see
21
- * [Locations](https://codeql.github.com/docs/writing-codeql-queries/providing-locations-in-codeql-queries/).
22
- */
23
- predicate hasLocationInfo (
24
- string filepath , int startline , int startcolumn , int endline , int endcolumn
25
- ) ;
26
- }
16
+ /**
17
+ * Holds if this element is at the specified location.
18
+ * The location spans column `startcolumn` of line `startline` to
19
+ * column `endcolumn` of line `endline` in file `filepath`.
20
+ * For more information, see
21
+ * [Locations](https://codeql.github.com/docs/writing-codeql-queries/providing-locations-in-codeql-queries/).
22
+ */
23
+ predicate hasLocationInfo (
24
+ string filepath , int startline , int startcolumn , int endline , int endcolumn
25
+ ) ;
26
+ }
27
27
28
28
class ParameterNode extends Node ;
29
29
@@ -172,13 +172,10 @@ signature module InputSig {
172
172
/**
173
173
* Represents a content approximation.
174
174
*/
175
- class ContentApprox {
176
- /**
177
- * Gets a textual representation of this element.
178
- * @return The textual representation of this element.
179
- */
180
- string toString ( ) ;
181
- }
175
+ class ContentApprox {
176
+ /** Gets a textual representation of this element. */
177
+ string toString ( ) ;
178
+ }
182
179
183
180
ContentApprox getContentApprox ( Content c ) ;
184
181
0 commit comments