org.nlogo.nvm
Interface FileManager

All Known Implementing Classes:
DefaultFileManager
public interface FileManager

Method Summary
 String attachPrefix(String filename)
           
 void closeAllFiles()
           
 void closeCurrentFile()
           
 void deleteFile(String filename)
           
 void ensureMode(File.Mode openMode)
           
 boolean eof()
           
 boolean fileExists(String filePath)
           
 void flushCurrentFile()
           
 String getErrorInfo()
           
 File getFile(String newFileName)
           
 String getPrefix()
           
 boolean hasCurrentFile()
           
 void openFile(String newFileName)
           
 Object read(World world)
           
 String readChars(int num)
           
 String readLine()
           
 void setPrefix(String newPrefix)
           
 void setPrefix(URL newPrefix)
           
 

Method Detail

getPrefix

String getPrefix()

attachPrefix

String attachPrefix(String filename)
                    throws MalformedURLException
Throws:
MalformedURLException

setPrefix

void setPrefix(String newPrefix)

setPrefix

void setPrefix(URL newPrefix)

eof

boolean eof()
            throws IOException
Throws:
IOException

hasCurrentFile

boolean hasCurrentFile()

closeCurrentFile

void closeCurrentFile()
                      throws IOException
Throws:
IOException

flushCurrentFile

void flushCurrentFile()
                      throws IOException
Throws:
IOException

deleteFile

void deleteFile(String filename)
                throws IOException
Throws:
IOException

closeAllFiles

void closeAllFiles()
                   throws IOException
Throws:
IOException

fileExists

boolean fileExists(String filePath)
                   throws IOException
Throws:
IOException

openFile

void openFile(String newFileName)
              throws IOException
Throws:
IOException

getFile

File getFile(String newFileName)

ensureMode

void ensureMode(File.Mode openMode)
                throws IOException
Throws:
IOException

getErrorInfo

String getErrorInfo()
                    throws IOException
Throws:
IOException

read

Object read(World world)
            throws IOException,
                   CompilerException
Throws:
IOException
CompilerException

readLine

String readLine()
                throws IOException
Throws:
IOException

readChars

String readChars(int num)
                 throws IOException
Throws:
IOException