equal
deleted
inserted
replaced
12 import java.net.{ServerSocket, InetAddress} |
12 import java.net.{ServerSocket, InetAddress} |
13 |
13 |
14 |
14 |
15 object System_Channel |
15 object System_Channel |
16 { |
16 { |
17 def apply(): System_Channel = new Fifo_Channel |
17 def apply(use_socket: Boolean = false): System_Channel = |
|
18 if (use_socket) new Socket_Channel else new Fifo_Channel |
18 } |
19 } |
19 |
20 |
20 abstract class System_Channel |
21 abstract class System_Channel |
21 { |
22 { |
22 def isabelle_args: List[String] |
23 def isabelle_args: List[String] |