oracle.ide.extension
Class RoleManager

java.lang.Object
  oracle.ide.extension.RoleManager

public abstract class RoleManager
extends java.lang.Object

The role manager is responsible for co-ordinating the selection of the current role.

This class is not intended for subclassing by extension writers. Retrieve an instance of the RoleManager using ExtensionRegistry.getRoleManager().

Since:

11.0

Field Summary

static Role

NO_ROLE The special predefined role that indicates no role is active.

Constructor Summary

RoleManager()

Method Summary

abstract Role	getActiveRole() Gets the active role.
boolean	isDefaultRoleActive() Returns true if the default role is active.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

NO_ROLE

public static final Role NO_ROLE

The special predefined role that indicates no role is active.

Constructor Detail

RoleManager

public RoleManager()

Method Detail

getActiveRole

public abstract Role getActiveRole()

Gets the active role.

Returns:

the currently active role. This will never be null, it may be the predefined NO_ROLE instance.

isDefaultRoleActive

public final boolean isDefaultRoleActive()

Returns true if the default role is active. This is a shortcut for getActiveRole() == NO_ROLE.

Returns:

true if the default role is active.