equal
deleted
inserted
replaced
109 } |
109 } |
110 |
110 |
111 |
111 |
112 /* protocol handlers */ |
112 /* protocol handlers */ |
113 |
113 |
|
114 type Protocol_Function = Prover.Protocol_Output => Boolean |
|
115 |
114 abstract class Protocol_Handler |
116 abstract class Protocol_Handler |
115 { |
117 { |
116 def init(session: Session): Unit = {} |
118 def init(session: Session): Unit = {} |
117 def exit(): Unit = {} |
119 def exit(): Unit = {} |
118 val functions: List[(String, Prover.Protocol_Output => Boolean)] |
120 val functions: List[(String, Protocol_Function)] |
119 } |
121 } |
120 } |
122 } |
121 |
123 |
122 |
124 |
123 class Session(_session_options: => Options, val resources: Resources) extends Document.Session |
125 class Session(_session_options: => Options, val resources: Resources) extends Document.Session |