diff options
Diffstat (limited to 'src/main/java/derms/frontend/FEInterface.java')
| -rw-r--r-- | src/main/java/derms/frontend/FEInterface.java | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/main/java/derms/frontend/FEInterface.java b/src/main/java/derms/frontend/FEInterface.java new file mode 100644 index 0000000..5a4e6f1 --- /dev/null +++ b/src/main/java/derms/frontend/FEInterface.java @@ -0,0 +1,11 @@ +package derms.frontend; + +public interface FEInterface { + void informRmHasBug(int RmNumber); + + void informRmIsDown(int RmNumber); + + int sendRequestToSequencer(MyRequest myRequest); + + void retryRequest(MyRequest myRequest); +}
\ No newline at end of file |