Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 268de8d

Browse files
committed
Style guide: Fix whitespace.
1 parent b38effd commit 268de8d

1 file changed

Lines changed: 16 additions & 16 deletions

File tree

docs/ql-style-guide.md

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -74,11 +74,11 @@ predicate methodStats(
7474
...
7575
}
7676
```
77-
77+
7878
```ql
7979
from Method main
8080
where main.getName() = "Main"
81-
select main, "This is the program entry point."
81+
select main, "This is the program entry point."
8282
```
8383

8484
```ql
@@ -87,13 +87,13 @@ where
8787
main.getName() = "Main" and
8888
main.getNumberOfParameters() = 0
8989
select main, "Main method has no parameters."
90-
```
90+
```
9191

9292
```ql
9393
if x.isPublic()
9494
then result = "public"
9595
else result = "private"
96-
```
96+
```
9797

9898
```ql
9999
if
@@ -245,20 +245,20 @@ Documentation for specific items:
245245

246246
```ql
247247
/** Provides logic for determining constant expressions. */
248-
```
248+
```
249249

250250
```ql
251251
/**
252252
* Holds if the qualifier of this call has type `qualifierType`.
253253
* `isExactType` indicates whether the type is exact, that is, whether
254254
* the qualifier is guaranteed not to be a subtype of `qualifierType`.
255255
*/
256-
```
256+
```
257257
```ql
258258
/**
259259
* A delegate declaration, for example
260260
* ```
261-
* delegate void Logger(string text);
261+
* delegate void Logger(string text);
262262
* ```
263263
*/
264264
class Delegate extends ...
@@ -329,7 +329,7 @@ deprecated Expr getInitializer()
329329
reflectionOrDynamicArg(argumentType, parameterType)
330330
```
331331

332-
```ql
332+
```ql
333333
this.getName() = "Finalize" and not exists(this.getAParameter())
334334
```
335335

@@ -360,37 +360,37 @@ deprecated Expr getInitializer()
360360

361361
```ql
362362
(x instanceof Exception implies x.isPublic()) and y instanceof Exception
363-
```
363+
```
364364

365365
```ql
366366
x instanceof Exception implies (x.isPublic() and y instanceof Exception)
367-
```
367+
```
368368

369369
```ql
370370
exists(Type arg | arg = this.getAChild() | arg instanceof TypeParameter)
371-
```
371+
```
372372

373373
```ql
374374
exists(Type qualifierType |
375375
this.hasNonExactQualifierType(qualifierType)
376376
|
377377
result = getANonExactQualifierSubType(qualifierType)
378378
)
379-
```
379+
```
380380

381381
```ql
382382
methods = count(Method m | t = m.getDeclaringType() and not ilc(m))
383-
```
383+
```
384384

385385
```ql
386386
if n = 0 then result = 1 else result = n * f(n - 1)
387-
```
387+
```
388388

389389
```ql
390390
if n = 0
391391
then result = 1
392392
else result = n * f(n - 1)
393-
```
393+
```
394394

395395
```ql
396396
if
@@ -399,7 +399,7 @@ deprecated Expr getInitializer()
399399
result = 1
400400
else
401401
result = n * f(n - 1)
402-
```
402+
```
403403

404404
```ql
405405
if exists(this.getContainingType())

0 commit comments

Comments
 (0)