Uses of Class
org.graalvm.python.embedding.VirtualFileSystem.Builder

Uses of VirtualFileSystem.Builder in org.graalvm.python.embedding

Methods in org.graalvm.python.embedding that return VirtualFileSystem.Builder

Modifier and Type	Method	Description
VirtualFileSystem.Builder	VirtualFileSystem.Builder.allowHostIO(VirtualFileSystem.HostIO hostIO)	Determines if and how much host IO is allowed outside the VirtualFileSystem.
VirtualFileSystem.Builder	VirtualFileSystem.Builder.caseInsensitive(boolean value)	Sets the file system to be case-insensitive.
VirtualFileSystem.Builder	VirtualFileSystem.Builder.extractFilter(Predicate<Path> filter)	This filter applied to files in the virtual filesystem treats them as symlinks to real files in the host filesystem.
static VirtualFileSystem.Builder	VirtualFileSystem.newBuilder()	Creates a builder for constructing a VirtualFileSystem with a custom configuration.
VirtualFileSystem.Builder	VirtualFileSystem.Builder.resourceDirectory(String directory)	Sets the root directory of the virtual filesystem within Java resources.
VirtualFileSystem.Builder	VirtualFileSystem.Builder.resourceLoadingClass(Class<?> c)	By default, virtual filesystem resources are loaded by delegating to VirtualFileSystem.class.getResource(name).
VirtualFileSystem.Builder	VirtualFileSystem.Builder.unixMountPoint(String unixMountPoint)	The mount point for the virtual filesystem on Unices.
VirtualFileSystem.Builder	VirtualFileSystem.Builder.windowsMountPoint(String windowsMountPoint)	The mount point for the virtual filesystem on Windows.