diff options
| author | ShazaAhmed <ShazaMamdouh@aucegypt.edu> | 2024-11-28 04:35:42 -0500 |
|---|---|---|
| committer | ShazaAhmed <ShazaMamdouh@aucegypt.edu> | 2024-11-28 04:35:42 -0500 |
| commit | fe384df239711ad0990e39d585e64292816bf24f (patch) | |
| tree | a16d0137d60d813c6ff06f2029ad8a935d2a804e /src/main/java/derms/frontend/FEInterface.java | |
| parent | b7dabf61e2f4deea23c9a4cbf33da419d031c5e8 (diff) | |
| download | soen423-fe384df239711ad0990e39d585e64292816bf24f.zip | |
replicas
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 |