Fix remote repl state facade

2017-02-07 12:50:39 +01:00
parent b23911fd59
commit 75234701c7
5 changed files with 17 additions and 9 deletions
@@ -18,13 +18,19 @@ package org.jetbrains.kotlin.daemon.common

 import org.jetbrains.kotlin.cli.common.repl.ILineId
 import java.rmi.Remote
+import java.rmi.RemoteException

 interface ReplStateFacade : Remote {
-    val id: Int

-    val historySize: Int
+    @Throws(RemoteException::class)
+    fun getId(): Int

+    @Throws(RemoteException::class)
+    fun getHistorySize(): Int
+
+    @Throws(RemoteException::class)
    fun historyGet(index: Int): ILineId

+    @Throws(RemoteException::class)
    fun historyResetTo(id: ILineId): List<ILineId>
 }