|
@@ -50,7 +50,9 @@ public interface Protocol {
|
|
|
*
|
|
|
* @return number of different roles
|
|
|
*/
|
|
|
- public int getNumberOfRoles();
|
|
|
+ public default int getNumberOfRoles(){
|
|
|
+ return getRoles() == null ? 0 : getRoles().length;
|
|
|
+ }
|
|
|
|
|
|
/**
|
|
|
* Returns the textual representation of the different Roles. The Array
|