InterceptException
final class InterceptException(val message: String, val location: SourceLocation) extends VerifyException
class VerifyException
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any