diff options
Diffstat (limited to 'src/main/java/derms/frontend/FEInterface.java')
| -rw-r--r-- | src/main/java/derms/frontend/FEInterface.java | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/main/java/derms/frontend/FEInterface.java b/src/main/java/derms/frontend/FEInterface.java index 5a4e6f1..292f960 100644 --- a/src/main/java/derms/frontend/FEInterface.java +++ b/src/main/java/derms/frontend/FEInterface.java @@ -1,11 +1,12 @@ package derms.frontend; +import derms.Request; public interface FEInterface { - void informRmHasBug(int RmNumber); + void informRmHasBug(int replicaId); - void informRmIsDown(int RmNumber); + void informRmIsDown(int replicaId); - int sendRequestToSequencer(MyRequest myRequest); + int sendRequestToSequencer(Request request); - void retryRequest(MyRequest myRequest); + void retryRequest(Request request); }
\ No newline at end of file |