Document JDBC driver properties

[jonathanpeppers]

Refs #189

Documents the return values for the five public DriverPropertyInfo fields from the Android reference.

Sources

• https://developer.android.com/reference/java/sql/DriverPropertyInfo
• https://developer.android.com/reference/java/sql/DriverPropertyInfo#choices
• https://developer.android.com/reference/java/sql/DriverPropertyInfo#description
• https://developer.android.com/reference/java/sql/DriverPropertyInfo#name
• https://developer.android.com/reference/java/sql/DriverPropertyInfo#required
• https://developer.android.com/reference/java/sql/DriverPropertyInfo#value

Validation

• Parsed all 55 docs/xml/Java.Sql/*.xml files with PowerShell XML parsing.
• Confirmed zero lone LF bytes in docs/xml/Java.Sql (CRLF preserved).
• Ran git diff --check.
• Confirmed 200 To be added. placeholders remain in docs/xml/Java.Sql.

[Copilot]

Pull request overview

This pull request updates the XML documentation for Java.Sql.DriverPropertyInfo to replace “To be added.” placeholders with concrete <value> descriptions derived from the Android reference, improving the usefulness of the generated API docs for JDBC driver property metadata.

Changes:

• Documented the return/value semantics for Choices, Description, Name, Required, and Value in DriverPropertyInfo.
• Clarified null cases for nullable properties (e.g., unrestricted choices, unknown value).

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

[jonathanpeppers]

@dalexsoto review

[jonathanpeppers]

@dalexsoto review