org.jpc.util.engine

Class PrologResourceLoader

java.lang.Object

org.jpc.util.engine.PrologResourceLoader

public class PrologResourceLoader
extends Object

A utility class for loading resources in the classpath

Author:

sergioc

Constructor Summary

Constructors

Constructor and Description
PrologResourceLoader(PrologEngine prologEngine, ClassLoader... classLoaders)
PrologResourceLoader(PrologEngine prologEngine, ResourceManager resourceManager, ClassLoader... classLoaders)

Method Summary

Modifier and Type	Method and Description
boolean	ensureLoaded(List<String> resources)
boolean	ensureLoaded(String... resources)
boolean	logtalkLoad(List<String> resources)
boolean	logtalkLoad(String... resources)
Term	resolveResource(String resource) Given a resource id (possibly inside a jar) answers a Term that represents the resource in the file system.
Term	resolveResource(String resourceName, URL url)

Methods inherited from class java.lang.Object

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

Constructor Detail

PrologResourceLoader

public PrologResourceLoader(PrologEngine prologEngine,
                            ClassLoader... classLoaders)

PrologResourceLoader

public PrologResourceLoader(PrologEngine prologEngine,
                            ResourceManager resourceManager,
                            ClassLoader... classLoaders)

Parameters:

prologEngine - the logic engine where the resources will be loaded

jpcPreferences - the preferences defining (among other things) where logic tmp files will be copied before being loaded in the logic engine

Method Detail

ensureLoaded

public boolean ensureLoaded(List<String> resources)

ensureLoaded

public boolean ensureLoaded(String... resources)

logtalkLoad

public boolean logtalkLoad(List<String> resources)

logtalkLoad

public boolean logtalkLoad(String... resources)

resolveResource

public Term resolveResource(String resource)

Given a resource id (possibly inside a jar) answers a Term that represents the resource in the file system. The resource will be copied to a tmp location

Parameters:

resource -

Returns:

resolveResource

public Term resolveResource(String resourceName,
                            URL url)