From 6f285fa91efeb5e65d6218d3cb5b52ec17ad9752 Mon Sep 17 00:00:00 2001
From: Sergio Giro <sgiro@google.com>
Date: Tue, 30 Aug 2016 19:26:17 +0100
Subject: [PATCH] java.security.Principal: add default method Principal#implies

Given a Subject, Principal#implies returns true iff the principal
is one of the subject's principals.

Bug: 29631070
Test: make droid docs, vogar PrincipalTest.java
Change-Id: Ic24ca4bc26e29abdb67481af8255b8b1683a6f3a
---
 api/current.txt        | 1 +
 api/system-current.txt | 1 +
 api/test-current.txt   | 1 +
 3 files changed, 3 insertions(+)

diff --git a/api/current.txt b/api/current.txt
index 195b6403530e6..49bab09680d7d 100644
--- a/api/current.txt
+++ b/api/current.txt
@@ -55133,6 +55133,7 @@ package java.security {
     method public abstract boolean equals(java.lang.Object);
     method public abstract java.lang.String getName();
     method public abstract int hashCode();
+    method public default boolean implies(javax.security.auth.Subject);
     method public abstract java.lang.String toString();
   }
 
diff --git a/api/system-current.txt b/api/system-current.txt
index 54f987aaada0e..d3b15f68ab7b3 100644
--- a/api/system-current.txt
+++ b/api/system-current.txt
@@ -58489,6 +58489,7 @@ package java.security {
     method public abstract boolean equals(java.lang.Object);
     method public abstract java.lang.String getName();
     method public abstract int hashCode();
+    method public default boolean implies(javax.security.auth.Subject);
     method public abstract java.lang.String toString();
   }
 
diff --git a/api/test-current.txt b/api/test-current.txt
index d06e5cfacaa4b..346aaa87d2117 100644
--- a/api/test-current.txt
+++ b/api/test-current.txt
@@ -55213,6 +55213,7 @@ package java.security {
     method public abstract boolean equals(java.lang.Object);
     method public abstract java.lang.String getName();
     method public abstract int hashCode();
+    method public default boolean implies(javax.security.auth.Subject);
     method public abstract java.lang.String toString();
   }