equal
deleted
inserted
replaced
49 } |
49 } |
50 |
50 |
51 def init(name: String): State = |
51 def init(name: String): State = |
52 { |
52 { |
53 val new_handler = |
53 val new_handler = |
54 try { Some(Class.forName(name).newInstance.asInstanceOf[Session.Protocol_Handler]) } |
54 try { |
|
55 Some(Class.forName(name).getDeclaredConstructor().newInstance() |
|
56 .asInstanceOf[Session.Protocol_Handler]) |
|
57 } |
55 catch { case exn: Throwable => bad_handler(exn, name); None } |
58 catch { case exn: Throwable => bad_handler(exn, name); None } |
56 new_handler match { case Some(handler) => init(handler) case None => this } |
59 new_handler match { case Some(handler) => init(handler) case None => this } |
57 } |
60 } |
58 |
61 |
59 def invoke(msg: Prover.Protocol_Output): Boolean = |
62 def invoke(msg: Prover.Protocol_Output): Boolean = |