diff options
| author | Sergio Giro <sgiro@google.com> | 2016-08-30 19:13:58 +0100 |
|---|---|---|
| committer | Sergio Giro <sgiro@google.com> | 2016-08-31 08:16:22 +0000 |
| commit | e8dfeb4267597dec922f0e94790643e3dca8a195 (patch) | |
| tree | fe92b6c955ddc9c60eedf47b2ed30a3b137ff66d /annotations/generate_annotated_java_files.py | |
| parent | 5c33d34426ba45c7e97692b4f193265dcc4b77b4 (diff) | |
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
Diffstat (limited to 'annotations/generate_annotated_java_files.py')
0 files changed, 0 insertions, 0 deletions