Added new interface option for randoms

2026-07-03 08:39:09 +00:00 · 2014-09-11 22:19:16 +02:00
parent f83a7947bc
commit 04e97cc928
1 changed files with 7 additions and 0 deletions
@@ -20,7 +20,14 @@ public interface Random {

    /**
     * Returns the name of the random
+     * @return Name of the random
     */
    public String getName();

+    /**
+     * Returns the name of the server which the random is made for
+     * @return Name of the server
+     */
+    public String getServer();
+
 }