Package org.pkl.core.runtime

Class ResourceManager

java.lang.Object

org.pkl.core.runtime.ResourceManager

public final class ResourceManager
extends Object

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Optional<Object>	doRead(ResourceReader reader, URI uri, @Nullable com.oracle.truffle.api.nodes.Node readNode)
ResourceReader	getReader(URI resourceUri, com.oracle.truffle.api.nodes.Node readNode)
@Nullable ResourceReader	getResourceReader(URI baseUri)	Returns a ResourceReader registered to read the resource at baseUri, or null if there is none.
Optional<Object>	read(URI resourceUri, @Nullable com.oracle.truffle.api.nodes.Node readNode)

Methods inherited from class java.lang.Object

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

Constructor Details

ResourceManager

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

Method Details

getReader

public ResourceReader getReader(URI resourceUri,
 com.oracle.truffle.api.nodes.Node readNode)

doRead

public Optional<Object> doRead(ResourceReader reader,
 URI uri,
 @Nullable
 @Nullable com.oracle.truffle.api.nodes.Node readNode)

read

public Optional<Object> read(URI resourceUri,
 @Nullable
 @Nullable com.oracle.truffle.api.nodes.Node readNode)

getResourceReader

@Nullable
public @Nullable ResourceReader getResourceReader(URI baseUri)

Returns a ResourceReader registered to read the resource at baseUri, or null if there is none.