trait FileManager extends AnyRef
- Source
- FileManager.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- FileManager
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Abstract Value Members
-
abstract
def
attachPrefix(filename: String): String
- Annotations
- @throws( ... )
-
abstract
def
closeAllFiles(): Unit
- Annotations
- @throws( classOf[java.io.IOException] )
-
abstract
def
closeCurrentFile(): Unit
- Annotations
- @throws( classOf[java.io.IOException] )
- abstract def currentFile: Option[File]
-
abstract
def
deleteFile(filename: String): Unit
- Annotations
- @throws( classOf[java.io.IOException] )
-
abstract
def
ensureMode(openMode: FileMode): Unit
- Annotations
- @throws( classOf[java.io.IOException] )
-
abstract
def
eof: Boolean
- Annotations
- @throws( classOf[java.io.IOException] )
-
abstract
def
fileExists(filePath: String): Boolean
- Annotations
- @throws( classOf[java.io.IOException] )
- abstract def findOpenFile(fileName: String): Option[File]
-
abstract
def
flushCurrentFile(): Unit
- Annotations
- @throws( classOf[java.io.IOException] )
-
abstract
def
getErrorInfo: String
- Annotations
- @throws( classOf[java.io.IOException] )
- abstract def getFile(newFileName: String): File
- abstract def handleModelChange(): Unit
- abstract def hasCurrentFile: Boolean
-
abstract
def
openFile(newFileName: String): Unit
- Annotations
- @throws( classOf[java.io.IOException] )
- abstract def prefix: String
-
abstract
def
read(world: World): AnyRef
- Annotations
- @throws( classOf[java.io.IOException] )
-
abstract
def
readChars(num: Int): String
- Annotations
- @throws( classOf[java.io.IOException] )
-
abstract
def
readLine(): String
- Annotations
- @throws( classOf[java.io.IOException] )
- abstract def setPrefix(newPrefix: URL): Unit
- abstract def setPrefix(newPrefix: String): Unit
- abstract def writeOutputObject(oo: OutputObject): Unit