Lines Matching defs:file

8  * particular file as subject to the "Classpath" exception as provided
9 * by Oracle in the LICENSE file that accompanied this code.
14 * version 2 for more details (a copy is included in the LICENSE file that
26 package java.nio.file;
28 import java.nio.file.spi.FileSystemProvider;
37 * Factory methods for file systems. This class defines the {@link #getDefault
38 * getDefault} method to get the default file system and factory methods to
39 * construct other types of file systems.
43 * provider, identified by the URI scheme "file", creates the {@link FileSystem}
44 * that provides access to the file systems accessible to the Java virtual
51 * installed file system providers. Installed providers are loaded using the
56 * Providers are typically installed by placing them in a JAR file on the
57 * application class path or in the extension directory, the JAR file contains a
58 * provider-configuration file named {@code java.nio.file.spi.FileSystemProvider}
59 * in the resource directory {@code META-INF/services}, and the file lists one or
74 * provider classes are identified by placing the provider configuration file
77 * <p> If a thread initiates the loading of the installed file system providers
88 // lazy initialization of default file system
92 // returns default file system
102 // return file system
103 return provider.getFileSystem(URI.create("file:///"));
110 // if the property java.nio.file.spi.DefaultFileSystemProvider is
113 .getProperty("java.nio.file.spi.DefaultFileSystemProvider");
123 // must be "file"
124 if (!provider.getScheme().equals("file"))
125 throw new Error("Default provider must use scheme 'file'");
137 * Returns the default {@code FileSystem}. The default file system creates
138 * objects that provide access to the file systems accessible to the Java
139 * virtual machine. The <em>working directory</em> of the file system is
146 * system property {@code java.nio.file.spi.DefaultFileSystemProvider} is
148 * is invoked to create the default file system.
150 * <p> If the system property {@code java.nio.file.spi.DefaultFileSystemProvider}
153 * {@code "file"}. Where the property is a list of more than one name then
158 * If this process fails or a provider's scheme is not equal to {@code "file"}
161 * required to be {@code "file"}. The first provider class is instantiated
167 * getFileSystem} method is invoked with the URI {@code "file:///"} to
168 * get a reference to the default file system.
170 * <p> Subsequent invocations of this method return the file system that was
173 * @return the default file system
190 * <p> Once a file system created by this provider is {@link FileSystem#close
192 * the closed file system or throws {@link FileSystemNotFoundException}.
193 * If the provider allows a new file system to be created with the same URI
194 * as a file system it previously created then this method throws the
195 * exception if invoked after the file system is closed (and before a new
200 * existing file system. In the case of the {@link FileSystems#getDefault
201 * default} file system, no permission check is required.
206 * if the file system, identified by the URI, does not exist
224 * Constructs a new file system that is identified by a {@link URI}
231 * newFileSystem(URI,Map)} method is invoked to construct the new file system.
233 * <p> Once a file system is {@link FileSystem#close closed} it is
234 * provider-dependent if the provider allows a new file system to be created
235 * with the same URI as a file system it previously created.
248 * the URI identifying the file system
250 * a map of provider specific properties to configure the file system;
253 * @return a new file system
260 * if the file system has already been created
264 * if an I/O error occurs creating the file system
267 * permission required by the file system provider implementation
276 * Constructs a new file system that is identified by a {@link URI}
284 * invoked to construct the new file system.
287 * the URI identifying the file system
289 * a map of provider specific properties to configure the file system;
295 * @return a new file system
302 * if the URI scheme identifies an installed provider and the file
309 * an I/O error occurs creating the file system
312 * permission required by the file system provider implementation
341 * Constructs a new {@code FileSystem} to access the contents of a file as a
342 * file system.
344 * <p> This method makes use of specialized providers that create pseudo file
345 * systems where the contents of one or more files is treated as a file
351 * with an empty map. If a provider returns a file system then the iteration
352 * terminates and the file system is returned. If none of the installed
354 * the provider using the given class loader. If a provider returns a file
355 * system then the lookup terminates and the file system is returned.
358 * the path to the file
363 * @return a new file system
366 * if a provider supporting this file type cannot be located