blob: ee77dc9bb6e4ebdb7a7244e950067d9853f0fe4d (
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
39
40
41
42
43
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2007, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $Id$
package scala
/** <p>
* An annotation that gets applied to a selector in a match expression.
* If it is present, exhaustiveness warnings for that expression will be
* suppressed.
* </p>
* <p>
* For example, compiling the code:
* </p><pre>
* <b>object</b> test <b>extends</b> Application {
* <b>def</b> f(x: Option[int]) = x <b>match</b> {
* <b>case</b> Some(y) => y
* }
* f(None)
* }</pre>
* <p>
* will display the following warning:
* </p><pre>
* test.scala:2: warning: does not cover case {object None}
* def f(x: Option[int]) = x match {
* ^
* one warning found</pre>
* <p>
* The above message may be suppressed by substituting the expression
* <code>x</code> with <code>(x: @unchecked)</code>. Then the
* modified code will compile silently, but, in any case, a
* <a href="MatchError.html"><code>MatchError</code></a>
* will be raised at runtime.
* </p>
*/
class unchecked extends Annotation {}
|