Package org.pkl.core.runtime

Class ResourceManager

java.lang.Object

org.pkl.core.runtime.ResourceManager

public final class ResourceManager
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ResourceManager(SecurityManager securityManager, java.util.Collection<ResourceReader> readers)

Method Summary

Modifier and Type	Method	Description
java.util.Optional<java.lang.Object>	read(java.net.URI resourceUri, com.oracle.truffle.api.nodes.Node readNode)
java.util.List<GlobResolver.ResolvedGlobElement>	resolveGlob(java.net.URI globUri, java.net.URI enclosingUri, ModuleKey enclosingModuleKey, com.oracle.truffle.api.nodes.Node readNode, java.lang.String globExpression)	Resolves the glob URI into a set of URIs.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ResourceManager

public ResourceManager(SecurityManager securityManager,
                       java.util.Collection<ResourceReader> readers)

Method Detail

resolveGlob

public java.util.List<GlobResolver.ResolvedGlobElement> resolveGlob(java.net.URI globUri,
                                                                    java.net.URI enclosingUri,
                                                                    ModuleKey enclosingModuleKey,
                                                                    com.oracle.truffle.api.nodes.Node readNode,
                                                                    java.lang.String globExpression)

Resolves the glob URI into a set of URIs.

The glob URI must be absolute. For example: "file:///foo/bar/*.pkl".

read

public java.util.Optional<java.lang.Object> read(java.net.URI resourceUri,
                                                 com.oracle.truffle.api.nodes.Node readNode)