ubc.cs.JLog.Foundation
Interface iPrologFileServices

All Known Subinterfaces:
iJLogApplBaseServices
All Known Implementing Classes:
gJLogApplet, gJLogAppletBase, gJLogApplication, gJLogApplicationBase, gJLogBase, JLog, jPrologFileServices

public interface iPrologFileServices


Method Summary
 java.io.InputStream getInputStreamFromFilename(java.lang.String name)
           
 java.io.InputStream getResourceInputStreamFromFilename(java.lang.String name)
           
 java.net.URL getResourceURLFromFilename(java.lang.String name)
           
 java.lang.String getTextFromInputStream(java.io.InputStream in_strm)
           
 java.net.URL getURLFromFilename(java.lang.String name)
           
 

Method Detail

getURLFromFilename

java.net.URL getURLFromFilename(java.lang.String name)
                                throws java.net.MalformedURLException,
                                       java.io.IOException
Throws:
java.net.MalformedURLException
java.io.IOException

getInputStreamFromFilename

java.io.InputStream getInputStreamFromFilename(java.lang.String name)
                                               throws java.net.MalformedURLException,
                                                      java.io.IOException
Throws:
java.net.MalformedURLException
java.io.IOException

getResourceURLFromFilename

java.net.URL getResourceURLFromFilename(java.lang.String name)
                                        throws java.net.MalformedURLException,
                                               java.io.IOException
Throws:
java.net.MalformedURLException
java.io.IOException

getResourceInputStreamFromFilename

java.io.InputStream getResourceInputStreamFromFilename(java.lang.String name)
                                                       throws java.net.MalformedURLException,
                                                              java.io.IOException
Throws:
java.net.MalformedURLException
java.io.IOException

getTextFromInputStream

java.lang.String getTextFromInputStream(java.io.InputStream in_strm)
                                        throws java.io.IOException
Throws:
java.io.IOException