Fix issue #7408647: Add getUserCount() API

Change-Id: Ib4e8e2300757e0941fae8fbc46c4323f5e2d7d6b

1 files changed, 13 insertions, 4 deletions

diff --git a/core/java/android/os/UserManager.java b/core/java/android/os/UserManager.java
index 898c766..d73f99a 100644
--- a/core/java/android/os/UserManager.java
+++ b/core/java/android/os/UserManager.java
@@ -122,7 +122,7 @@ public class UserManager {
      * @param userHandle the user handle of the user whose information is being requested.
      * @return the UserInfo object for a specific user.
      * @hide
-     * */
+     */
     public UserInfo getUserInfo(int userHandle) {
         try {
             return mService.getUserInfo(userHandle);
@@ -134,10 +134,11 @@ public class UserManager {
 
     /**
      * Return the serial number for a user.  This is a device-unique
-     * number assigned to that user; if the user is deleted and new users
-     * created, the new users will not be given the same serial number.
+     * number assigned to that user; if the user is deleted and then a new
+     * user created, the new users will not be given the same serial number.
      * @param user The user whose serial number is to be retrieved.
-     * @return The serial number of the given user.
+     * @return The serial number of the given user; returns -1 if the
+     * given UserHandle does not exist.
      * @see #getUserForSerialNumber(long)
      */
     public long getSerialNumberForUser(UserHandle user) {
@@ -179,6 +180,14 @@ public class UserManager {
     }
 
     /**
+     * Return the number of users currently created on the device.
+     */
+    public int getUserCount() {
+        List<UserInfo> users = getUsers();
+        return users != null ? users.size() : 1;
+    }
+
+    /**
      * Returns information for all users on this device.
      * Requires {@link android.Manifest.permission#MANAGE_USERS} permission.
      * @return the list of users that were created.