diff options
author | Janek Bogucki <janekdb@gmail.com> | 2016-03-06 22:34:30 +0000 |
---|---|---|
committer | Janek Bogucki <janekdb@gmail.com> | 2016-03-09 21:55:10 +0000 |
commit | 927f2f73b9746666e05ef026f491056c352fd755 (patch) | |
tree | b4c22df06b10af97e0d1e336f3ab1b35c874bd76 | |
parent | 7a21ee22c34969912132e83fe3bd674f6c804840 (diff) | |
download | scala-927f2f73b9746666e05ef026f491056c352fd755.tar.gz scala-927f2f73b9746666e05ef026f491056c352fd755.tar.bz2 scala-927f2f73b9746666e05ef026f491056c352fd755.zip |
Scaladoc: Fix elidable threshold off-by-one comment and link elidable
When -Xelide-below is 2000 (i.e. at least ASSERTION) the assert methods
are not elided.
- Fixed the above off-by-one error.
- Made elidable a link
-rw-r--r-- | src/library/scala/Predef.scala | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/library/scala/Predef.scala b/src/library/scala/Predef.scala index 50a53732f1..6f3fd1ba23 100644 --- a/src/library/scala/Predef.scala +++ b/src/library/scala/Predef.scala @@ -146,9 +146,9 @@ object Predef extends LowPriorityImplicits with DeprecatedPredef { /** Tests an expression, throwing an `AssertionError` if false. * Calls to this method will not be generated if `-Xelide-below` - * is at least `ASSERTION`. + * is greater than `ASSERTION`. * - * @see elidable + * @see [[scala.annotation.elidable elidable]] * @param assertion the expression to test */ @elidable(ASSERTION) @@ -159,9 +159,9 @@ object Predef extends LowPriorityImplicits with DeprecatedPredef { /** Tests an expression, throwing an `AssertionError` if false. * Calls to this method will not be generated if `-Xelide-below` - * is at least `ASSERTION`. + * is greater than `ASSERTION`. * - * @see elidable + * @see [[scala.annotation.elidable elidable]] * @param assertion the expression to test * @param message a String to include in the failure message */ @@ -175,9 +175,9 @@ object Predef extends LowPriorityImplicits with DeprecatedPredef { * This method differs from assert only in the intent expressed: * assert contains a predicate which needs to be proven, while * assume contains an axiom for a static checker. Calls to this method - * will not be generated if `-Xelide-below` is at least `ASSERTION`. + * will not be generated if `-Xelide-below` is greater than `ASSERTION`. * - * @see elidable + * @see [[scala.annotation.elidable elidable]] * @param assumption the expression to test */ @elidable(ASSERTION) @@ -190,9 +190,9 @@ object Predef extends LowPriorityImplicits with DeprecatedPredef { * This method differs from assert only in the intent expressed: * assert contains a predicate which needs to be proven, while * assume contains an axiom for a static checker. Calls to this method - * will not be generated if `-Xelide-below` is at least `ASSERTION`. + * will not be generated if `-Xelide-below` is greater than `ASSERTION`. * - * @see elidable + * @see [[scala.annotation.elidable elidable]] * @param assumption the expression to test * @param message a String to include in the failure message */ |