Paths.Get Method
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Overloads
Get(URI) |
Converts the given URI to a |
Get(String, String[]) |
Converts a path string, or a sequence of strings that when joined form
a path string, to a |
Get(URI)
Converts the given URI to a Path
object.
[Android.Runtime.Register("get", "(Ljava/net/URI;)Ljava/nio/file/Path;", "", ApiSince=26)]
public static Java.Nio.FileNio.IPath? Get (Java.Net.URI? uri);
[<Android.Runtime.Register("get", "(Ljava/net/URI;)Ljava/nio/file/Path;", "", ApiSince=26)>]
static member Get : Java.Net.URI -> Java.Nio.FileNio.IPath
Parameters
- uri
- URI
the URI to convert
Returns
the resulting Path
- Attributes
Remarks
Converts the given URI to a Path
object.
This method iterates over the FileSystemProvider#installedProviders() installed
providers to locate the provider that is identified by the URI URI#getScheme scheme
of the given URI. URI schemes are compared without regard to case. If the provider is found then its FileSystemProvider#getPath getPath
method is invoked to convert the URI.
In the case of the default provider, identified by the URI scheme "file", the given URI has a non-empty path component, and undefined query and fragment components. Whether the authority component may be present is platform specific. The returned Path
is associated with the FileSystems#getDefault default
file system.
The default provider provides a similar <em>round-trip</em> guarantee to the java.io.File
class. For a given Path
p it is guaranteed that <blockquote> Paths.get(
p.
pPath#toUri() toUri
()).equals(.
</blockquote> so long as the original Path#toAbsolutePath() toAbsolutePath
())Path
, the URI
, and the new Path
are all created in (possibly different invocations of) the same Java virtual machine. Whether other providers make any guarantees is provider specific and therefore unspecified.
Java documentation for java.nio.file.Paths.get(java.net.URI)
.
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.
Applies to
Get(String, String[])
Converts a path string, or a sequence of strings that when joined form
a path string, to a Path
.
[Android.Runtime.Register("get", "(Ljava/lang/String;[Ljava/lang/String;)Ljava/nio/file/Path;", "", ApiSince=26)]
public static Java.Nio.FileNio.IPath? Get (string? first, params string[]? more);
[<Android.Runtime.Register("get", "(Ljava/lang/String;[Ljava/lang/String;)Ljava/nio/file/Path;", "", ApiSince=26)>]
static member Get : string * string[] -> Java.Nio.FileNio.IPath
Parameters
- first
- String
the path string or initial part of the path string
- more
- String[]
additional strings to be joined to form the path string
Returns
the resulting Path
- Attributes
Remarks
Java documentation for java.nio.file.Paths.get(java.lang.String, java.lang.String)
.
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.