blob: 10d34312cfddfbf734256531716b80b23a5deddb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2011, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
package scala
/** An annotation that gets applied to a selector in a match expression.
* If it is present, exhaustiveness warnings for that expression will be
* suppressed.
* For example, compiling the code:
* {{{
* object test extends App {
* def f(x: Option[Int]) = x match {
* case Some(y) => y
* }
* f(None)
* }
* }}}
* will display the following warning:
* {{{
* test.scala:2: warning: does not cover case {object None}
* def f(x: Option[int]) = x match {
* ^
* one warning found
* }}}
* The above message may be suppressed by substituting the expression `x`
* with `(x: @unchecked)`. Then the modified code will compile silently,
* but, in any case, a [[scala.MatchError]] will be raised at runtime.
*
* @since 2.4
*/
class unchecked extends annotation.Annotation {}
|