From 638af6436ef50eecf2f3593aa9c31cedddfa2a05 Mon Sep 17 00:00:00 2001 From: Jonathan Peppers Date: Sat, 15 Aug 2026 11:42:59 -0500 Subject: [PATCH 1/2] Document Java logging binding members Refs #251 Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com> --- docs/xml/Java.Util.Logging/ConsoleHandler.xml | 4 ++-- docs/xml/Java.Util.Logging/ErrorManager.xml | 4 ++-- docs/xml/Java.Util.Logging/FileHandler.xml | 4 ++-- docs/xml/Java.Util.Logging/Formatter.xml | 4 ++-- docs/xml/Java.Util.Logging/Handler.xml | 4 ++-- docs/xml/Java.Util.Logging/Level.xml | 4 ++-- docs/xml/Java.Util.Logging/LogManager.xml | 4 ++-- docs/xml/Java.Util.Logging/LogRecord.xml | 4 ++-- docs/xml/Java.Util.Logging/Logger.xml | 4 ++-- docs/xml/Java.Util.Logging/LoggingPermission.xml | 11 +++++------ docs/xml/Java.Util.Logging/MemoryHandler.xml | 4 ++-- docs/xml/Java.Util.Logging/SimpleFormatter.xml | 4 ++-- docs/xml/Java.Util.Logging/SocketHandler.xml | 4 ++-- docs/xml/Java.Util.Logging/StreamHandler.xml | 4 ++-- docs/xml/Java.Util.Logging/XMLFormatter.xml | 4 ++-- 15 files changed, 33 insertions(+), 34 deletions(-) diff --git a/docs/xml/Java.Util.Logging/ConsoleHandler.xml b/docs/xml/Java.Util.Logging/ConsoleHandler.xml index a16921830..edb287eea 100644 --- a/docs/xml/Java.Util.Logging/ConsoleHandler.xml +++ b/docs/xml/Java.Util.Logging/ConsoleHandler.xml @@ -155,8 +155,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/ErrorManager.xml b/docs/xml/Java.Util.Logging/ErrorManager.xml index 1b2629626..3bcc43447 100644 --- a/docs/xml/Java.Util.Logging/ErrorManager.xml +++ b/docs/xml/Java.Util.Logging/ErrorManager.xml @@ -318,8 +318,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/FileHandler.xml b/docs/xml/Java.Util.Logging/FileHandler.xml index 4dda3c425..5beb330b0 100644 --- a/docs/xml/Java.Util.Logging/FileHandler.xml +++ b/docs/xml/Java.Util.Logging/FileHandler.xml @@ -423,8 +423,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/Formatter.xml b/docs/xml/Java.Util.Logging/Formatter.xml index 8e7598a05..19259ee2e 100644 --- a/docs/xml/Java.Util.Logging/Formatter.xml +++ b/docs/xml/Java.Util.Logging/Formatter.xml @@ -317,8 +317,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/Handler.xml b/docs/xml/Java.Util.Logging/Handler.xml index c364a27e2..21cd8de44 100644 --- a/docs/xml/Java.Util.Logging/Handler.xml +++ b/docs/xml/Java.Util.Logging/Handler.xml @@ -490,8 +490,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/Level.xml b/docs/xml/Java.Util.Logging/Level.xml index a8fdfb1a9..a39426f71 100644 --- a/docs/xml/Java.Util.Logging/Level.xml +++ b/docs/xml/Java.Util.Logging/Level.xml @@ -532,8 +532,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/LogManager.xml b/docs/xml/Java.Util.Logging/LogManager.xml index 0b123967f..961c534bc 100644 --- a/docs/xml/Java.Util.Logging/LogManager.xml +++ b/docs/xml/Java.Util.Logging/LogManager.xml @@ -494,8 +494,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/LogRecord.xml b/docs/xml/Java.Util.Logging/LogRecord.xml index 813dd63d3..fc0998a30 100644 --- a/docs/xml/Java.Util.Logging/LogRecord.xml +++ b/docs/xml/Java.Util.Logging/LogRecord.xml @@ -229,8 +229,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/Logger.xml b/docs/xml/Java.Util.Logging/Logger.xml index 7739e7c99..f65d5fa36 100644 --- a/docs/xml/Java.Util.Logging/Logger.xml +++ b/docs/xml/Java.Util.Logging/Logger.xml @@ -1567,8 +1567,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/LoggingPermission.xml b/docs/xml/Java.Util.Logging/LoggingPermission.xml index 1fc1546ec..fa5f8dd9e 100644 --- a/docs/xml/Java.Util.Logging/LoggingPermission.xml +++ b/docs/xml/Java.Util.Logging/LoggingPermission.xml @@ -72,10 +72,9 @@ - To be added. - To be added. - - + Permission name. Must be control. + Must be either null or the empty string. + Creates a new LoggingPermission object. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. @@ -113,8 +112,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/MemoryHandler.xml b/docs/xml/Java.Util.Logging/MemoryHandler.xml index 4a18a6dad..6eee50055 100644 --- a/docs/xml/Java.Util.Logging/MemoryHandler.xml +++ b/docs/xml/Java.Util.Logging/MemoryHandler.xml @@ -307,8 +307,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/SimpleFormatter.xml b/docs/xml/Java.Util.Logging/SimpleFormatter.xml index 985fbf809..3f65b42c9 100644 --- a/docs/xml/Java.Util.Logging/SimpleFormatter.xml +++ b/docs/xml/Java.Util.Logging/SimpleFormatter.xml @@ -236,8 +236,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/SocketHandler.xml b/docs/xml/Java.Util.Logging/SocketHandler.xml index 45d159f28..d85b543df 100644 --- a/docs/xml/Java.Util.Logging/SocketHandler.xml +++ b/docs/xml/Java.Util.Logging/SocketHandler.xml @@ -213,8 +213,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/StreamHandler.xml b/docs/xml/Java.Util.Logging/StreamHandler.xml index 84468ab2b..28332486c 100644 --- a/docs/xml/Java.Util.Logging/StreamHandler.xml +++ b/docs/xml/Java.Util.Logging/StreamHandler.xml @@ -281,8 +281,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/XMLFormatter.xml b/docs/xml/Java.Util.Logging/XMLFormatter.xml index f7e1f89d3..1a13eb4e0 100644 --- a/docs/xml/Java.Util.Logging/XMLFormatter.xml +++ b/docs/xml/Java.Util.Logging/XMLFormatter.xml @@ -161,8 +161,8 @@ Java.Interop.JniPeerMembers - To be added. - To be added. + Gets the JNI peer members for this type. + The JNI peer members for this type. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. From 4ece9fc2a96d7a93da4ab12566eb5efada3068af Mon Sep 17 00:00:00 2001 From: Jonathan Peppers Date: Sat, 15 Aug 2026 11:53:37 -0500 Subject: [PATCH 2/2] Align Java logging JNI documentation Refs #251 Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com> --- docs/xml/Java.Util.Logging/ConsoleHandler.xml | 4 ++-- docs/xml/Java.Util.Logging/ErrorManager.xml | 4 ++-- docs/xml/Java.Util.Logging/FileHandler.xml | 4 ++-- docs/xml/Java.Util.Logging/Formatter.xml | 4 ++-- docs/xml/Java.Util.Logging/Handler.xml | 4 ++-- docs/xml/Java.Util.Logging/Level.xml | 4 ++-- docs/xml/Java.Util.Logging/LogManager.xml | 4 ++-- docs/xml/Java.Util.Logging/LogRecord.xml | 4 ++-- docs/xml/Java.Util.Logging/Logger.xml | 4 ++-- docs/xml/Java.Util.Logging/LoggingPermission.xml | 4 ++-- docs/xml/Java.Util.Logging/MemoryHandler.xml | 4 ++-- docs/xml/Java.Util.Logging/SimpleFormatter.xml | 4 ++-- docs/xml/Java.Util.Logging/SocketHandler.xml | 4 ++-- docs/xml/Java.Util.Logging/StreamHandler.xml | 4 ++-- docs/xml/Java.Util.Logging/XMLFormatter.xml | 4 ++-- 15 files changed, 30 insertions(+), 30 deletions(-) diff --git a/docs/xml/Java.Util.Logging/ConsoleHandler.xml b/docs/xml/Java.Util.Logging/ConsoleHandler.xml index edb287eea..1d6a430f6 100644 --- a/docs/xml/Java.Util.Logging/ConsoleHandler.xml +++ b/docs/xml/Java.Util.Logging/ConsoleHandler.xml @@ -155,8 +155,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for ConsoleHandler. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/ErrorManager.xml b/docs/xml/Java.Util.Logging/ErrorManager.xml index 3bcc43447..6233f1dde 100644 --- a/docs/xml/Java.Util.Logging/ErrorManager.xml +++ b/docs/xml/Java.Util.Logging/ErrorManager.xml @@ -318,8 +318,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for ErrorManager. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/FileHandler.xml b/docs/xml/Java.Util.Logging/FileHandler.xml index 5beb330b0..67fcb7cdb 100644 --- a/docs/xml/Java.Util.Logging/FileHandler.xml +++ b/docs/xml/Java.Util.Logging/FileHandler.xml @@ -423,8 +423,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for FileHandler. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/Formatter.xml b/docs/xml/Java.Util.Logging/Formatter.xml index 19259ee2e..c3e75420d 100644 --- a/docs/xml/Java.Util.Logging/Formatter.xml +++ b/docs/xml/Java.Util.Logging/Formatter.xml @@ -317,8 +317,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for Formatter. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/Handler.xml b/docs/xml/Java.Util.Logging/Handler.xml index 21cd8de44..70a75943e 100644 --- a/docs/xml/Java.Util.Logging/Handler.xml +++ b/docs/xml/Java.Util.Logging/Handler.xml @@ -490,8 +490,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for Handler. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/Level.xml b/docs/xml/Java.Util.Logging/Level.xml index a39426f71..2e2ae7a93 100644 --- a/docs/xml/Java.Util.Logging/Level.xml +++ b/docs/xml/Java.Util.Logging/Level.xml @@ -532,8 +532,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for Level. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/LogManager.xml b/docs/xml/Java.Util.Logging/LogManager.xml index 961c534bc..a62b3806e 100644 --- a/docs/xml/Java.Util.Logging/LogManager.xml +++ b/docs/xml/Java.Util.Logging/LogManager.xml @@ -494,8 +494,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for LogManager. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/LogRecord.xml b/docs/xml/Java.Util.Logging/LogRecord.xml index fc0998a30..069da5a23 100644 --- a/docs/xml/Java.Util.Logging/LogRecord.xml +++ b/docs/xml/Java.Util.Logging/LogRecord.xml @@ -229,8 +229,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for LogRecord. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/Logger.xml b/docs/xml/Java.Util.Logging/Logger.xml index f65d5fa36..4115b58ee 100644 --- a/docs/xml/Java.Util.Logging/Logger.xml +++ b/docs/xml/Java.Util.Logging/Logger.xml @@ -1567,8 +1567,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for Logger. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/LoggingPermission.xml b/docs/xml/Java.Util.Logging/LoggingPermission.xml index fa5f8dd9e..ed4402608 100644 --- a/docs/xml/Java.Util.Logging/LoggingPermission.xml +++ b/docs/xml/Java.Util.Logging/LoggingPermission.xml @@ -112,8 +112,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for LoggingPermission. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/MemoryHandler.xml b/docs/xml/Java.Util.Logging/MemoryHandler.xml index 6eee50055..3de51b26b 100644 --- a/docs/xml/Java.Util.Logging/MemoryHandler.xml +++ b/docs/xml/Java.Util.Logging/MemoryHandler.xml @@ -307,8 +307,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for MemoryHandler. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/SimpleFormatter.xml b/docs/xml/Java.Util.Logging/SimpleFormatter.xml index 3f65b42c9..e05b5a971 100644 --- a/docs/xml/Java.Util.Logging/SimpleFormatter.xml +++ b/docs/xml/Java.Util.Logging/SimpleFormatter.xml @@ -236,8 +236,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for SimpleFormatter. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/SocketHandler.xml b/docs/xml/Java.Util.Logging/SocketHandler.xml index d85b543df..1dca5af30 100644 --- a/docs/xml/Java.Util.Logging/SocketHandler.xml +++ b/docs/xml/Java.Util.Logging/SocketHandler.xml @@ -213,8 +213,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for SocketHandler. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/StreamHandler.xml b/docs/xml/Java.Util.Logging/StreamHandler.xml index 28332486c..293881509 100644 --- a/docs/xml/Java.Util.Logging/StreamHandler.xml +++ b/docs/xml/Java.Util.Logging/StreamHandler.xml @@ -281,8 +281,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for StreamHandler. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License. diff --git a/docs/xml/Java.Util.Logging/XMLFormatter.xml b/docs/xml/Java.Util.Logging/XMLFormatter.xml index 1a13eb4e0..c9b7f9fc9 100644 --- a/docs/xml/Java.Util.Logging/XMLFormatter.xml +++ b/docs/xml/Java.Util.Logging/XMLFormatter.xml @@ -161,8 +161,8 @@ Java.Interop.JniPeerMembers - Gets the JNI peer members for this type. - The JNI peer members for this type. + Gets the JNI metadata used to invoke members of this Java peer. + The JNI peer members for XMLFormatter. Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License.