From 5a2abac78941cbcdc0da31f9f93fe521458facef Mon Sep 17 00:00:00 2001 From: JKetelaar Date: Wed, 10 Sep 2014 18:26:06 +0200 Subject: [PATCH] Added name of the random to the interface --- .../src/org/parabot/environment/scripts/randoms/Random.java | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/parabotv2/src/org/parabot/environment/scripts/randoms/Random.java b/parabotv2/src/org/parabot/environment/scripts/randoms/Random.java index 9fc3a37..9491889 100644 --- a/parabotv2/src/org/parabot/environment/scripts/randoms/Random.java +++ b/parabotv2/src/org/parabot/environment/scripts/randoms/Random.java @@ -18,4 +18,9 @@ public interface Random { */ public void execute(); + /** + * Returns the name of the random + */ + public String getName(); + }