diff options
| author | Donna Malayeri <lindydonna@gmail.com> | 2011-03-07 16:51:12 +0000 |
|---|---|---|
| committer | Donna Malayeri <lindydonna@gmail.com> | 2011-03-07 16:51:12 +0000 |
| commit | fe94d625630e36a97f9e7845b94b9619e3707382 (patch) | |
| tree | a7d4801ee8a956051e1df5a13ff4cd1119eca93a | |
| parent | b8c12031219e898d7e1b0750c37f6856b157da0e (diff) | |
| download | scala-fe94d625630e36a97f9e7845b94b9619e3707382.tar.gz scala-fe94d625630e36a97f9e7845b94b9619e3707382.tar.bz2 scala-fe94d625630e36a97f9e7845b94b9619e3707382.zip | |
Clarify documentation of Position.includes, clo...
Clarify documentation of Position.includes, closes #2874. No review.
| -rw-r--r-- | src/compiler/scala/tools/nsc/util/Position.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/util/Position.scala b/src/compiler/scala/tools/nsc/util/Position.scala index c97dc930ab..d296f45aed 100644 --- a/src/compiler/scala/tools/nsc/util/Position.scala +++ b/src/compiler/scala/tools/nsc/util/Position.scala @@ -132,8 +132,8 @@ trait Position { def focusEnd = this /** Does this position include the given position `pos`. - * This holds if this is a range position and its range [start..end] - * is the same or covers the range of the given position. + * This holds if `this` is a range position and its range [start..end] + * is the same or covers the range of the given position, which may or may not be a range position. */ def includes(pos: Position) = false |