Document FileStore space properties

[jonathanpeppers]

Refs #210

Documents source-backed Java.Nio.FileNio.FileStore availability and capacity properties: IsReadOnly, TotalSpace, UnallocatedSpace, and UsableSpace.

Sources

• https://developer.android.com/reference/java/nio/file/FileStore
• https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/nio/file/FileStore.html

Validation

• Parsed docs/xml/Java.Nio.FileNio/FileStore.xml with System.Xml.XmlDocument.
• Confirmed the modified file retains CRLF-only line endings.
• Ran git diff --check.
• Confirmed FileStore.xml placeholders changed from 17 to 9.

[Copilot]

Pull request overview

This PR improves the generated XML documentation for Java.Nio.FileNio.FileStore by replacing “To be added.” placeholders with meaningful descriptions for storage capacity/availability properties, aligning the docs with the referenced Android/Java documentation.

Changes:

• Documented IsReadOnly with clearer semantics and an Android reference link.
• Documented TotalSpace, UnallocatedSpace, and UsableSpace (including long.MaxValue overflow behavior) with Android reference links.
• Added additional remarks for the “hint, not a guarantee” semantics on space-related properties.

---

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

[jonathanpeppers]

@dalexsoto review

[dalexsoto]

The three documented space properties omit part of their public failure contract:

• docs/xml/Java.Nio.FileNio/FileStore.xml: TotalSpace, UnallocatedSpace, and UsableSpace can each throw Java.IO.IOException, but none of the property docs include that exception. Please add the exception documentation to all three properties so callers are not told an incomplete contract.