blob: dedf721cd4f4ccf32115a67879bc9e7f055f0215 (
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2003-2010, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
package scala.util.control
/** A class that can be instantiated for the break control abstraction.
* Example usage:<pre>
*
* val mybreaks = new Breaks
* import</b> mybreaks.{break, breakable}
*
* breakable {
* <b>for</b> (...) {
* <b>if</b> (...) break
* }
* }</pre>
*
* Calls to break from one instantiation of Breaks will never
* target breakable objects of some other instantion.
*/
class Breaks {
private val breakException = new BreakControl
/** A block from which one can exit with a `break''. */
def breakable(op: => Unit) {
try {
op
} catch {
case ex: BreakControl =>
if (ex ne breakException) throw ex
}
}
/* Break from dynamically closest enclosing breakable block
* @note this might be different than the statically closest enclosing
* block!
*/
def break { throw breakException }
}
/** An object that can be used for the break control abstraction.
* Example usage:<pre>
*
* <b>import</b> Breaks.{break, breakable}
*
* breakable {
* <b>for</b> (...) {
* <b>if</b> (...) break
* }
* }</pre>
*
*/
object Breaks extends Breaks
private class BreakControl extends ControlThrowable
|