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

Skip to content

Commit d165ce9

Browse files
committed
Java: tidy QLDoc in Extents.qll
1 parent e3f828c commit d165ce9

1 file changed

Lines changed: 9 additions & 5 deletions

File tree

java/ql/src/Metrics/Internal/Extents.qll

Lines changed: 9 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,19 @@
1-
import java
2-
3-
/*
1+
/**
2+
* Provides classes that modify the default location information
3+
* of `RefType`s and `Callable`s to cover their full extent.
4+
*
45
* When this library is imported, the `hasLocationInfo` predicate of
56
* `Callable` and `RefTypes` is overridden to specify their entire range
67
* instead of just the range of their name. The latter can still be
78
* obtained by invoking the `getLocation()` predicate.
89
*
9-
* The full ranges are required for the purpose of associating a violation
10-
* with an individual `Callable` or `RefType` as opposed to a whole `File`.
10+
* The full ranges may be used to determine whether a given location
11+
* (for example, the location of an alert) is contained within the extent
12+
* of a `Callable` or `RefType`.
1113
*/
1214

15+
import java
16+
1317
/**
1418
* A Callable whose `hasLocationInfo` is overridden to specify its entire range
1519
* including the body (if any), as opposed to the location of its name only.

0 commit comments

Comments
 (0)