blob: d9f38714b8c45d3b32384f87082e71d261b25bce (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
object Test extends App {
trait SpecialException {}
try {
throw new Exception
} catch {
case e : SpecialException => {
println("matched SpecialException: "+e)
assume(e.isInstanceOf[SpecialException])
}
case e : Exception => {
assume(e.isInstanceOf[Exception])
}
}
}
|