[util] Ensure multiple bounds in generic type parameters.

close #619

Signed-off-by: Stéphane Galland <galland@arakhne.org>

main/apiplugins/io.sarl.util/src/io/sarl/util/RestrictedAccessEventSpace.java → main/apiplugins/io.sarl.util/src/io/sarl/util/RestrictedAccessEventSpace.sarl

@@ -19,13 +19,13 @@
  * limitations under the License.
  */
 
-package io.sarl.util;
+package io.sarl.util
 
-import java.security.Principal;
+import java.security.Principal
 
-import io.sarl.lang.core.Address;
-import io.sarl.lang.core.EventListener;
-import io.sarl.lang.core.EventSpace;
+import io.sarl.lang.core.Address
+import io.sarl.lang.core.EventListener
+import io.sarl.lang.core.EventSpace
 
 
 
@@ -39,7 +39,7 @@
  * @mavengroupid $GroupId$
  * @mavenartifactid $ArtifactId$
  */
-public interface RestrictedAccessEventSpace extends EventSpace {
+interface RestrictedAccessEventSpace extends EventSpace {
 
 	/**
 	 * Registers the entity inside this space.
@@ -53,7 +53,7 @@ public interface RestrictedAccessEventSpace extends EventSpace {
 	 * @return the entity's address in this space
 	 * @fires ParticipantRegistered
 	 */
-	Address register(EventListener entity, Principal requester);
+	def register(entity : EventListener, requester : Principal) : Address
 
 	/**
 	 * Registers the entity inside this space.
@@ -67,7 +67,7 @@ public interface RestrictedAccessEventSpace extends EventSpace {
 	 * @return the entity's address in this space
 	 * @fires ParticipantRegistered
 	 */
-	<P extends EventListener & Principal> Address register(P entity);
+	def register(entity : P) : Address with P extends EventListener & Principal
 
 	/**
 	 * Unregisters the entity inside this space.
@@ -78,6 +78,7 @@ public interface RestrictedAccessEventSpace extends EventSpace {
 	 * @return the former entity's address
 	 * @fires ParticipantUnregistered
 	 */
-	Address unregister(EventListener entity);
+	def unregister(entity : EventListener) : Address
 
 }
+