@@ -9,21 +9,21 @@ signature module InputSig {
99 /**
1010 * Represents a node in the data flow graph.
1111 */
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 ( ) ;
1515
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+ }
2727
2828 class ParameterNode extends Node ;
2929
@@ -172,13 +172,10 @@ signature module InputSig {
172172 /**
173173 * Represents a content approximation.
174174 */
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+ }
182179
183180 ContentApprox getContentApprox ( Content c ) ;
184181
0 commit comments