@@ -74,11 +74,11 @@ predicate methodStats(
7474 ...
7575}
7676```
77-
77+
7878``` ql
7979from Method main
8080where 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
8989select 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 */
264264class 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