DefaultFileManager

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7. def attachPrefix(filename: String): String

   Definition Classes

   DefaultFileManager → FileManager

8. def clone(): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws()

9. def closeAllFiles(): Unit

   Definition Classes

   DefaultFileManager → FileManager

10. def closeCurrentFile(): Unit

    Definition Classes

    DefaultFileManager → FileManager

11. def currentFile(): File

    Definition Classes

    DefaultFileManager → FileManager

12. def deleteFile(filePath: String): Unit

    Definition Classes

    DefaultFileManager → FileManager

13. def ensureMode(openMode: FileMode): Unit

    Definition Classes

    DefaultFileManager → FileManager

14. def eof(): Boolean

    Definition Classes

    DefaultFileManager → FileManager

15. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

16. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

17. def fileExists(filePath: String): Boolean

    Definition Classes

    DefaultFileManager → FileManager

18. def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

19. def findOpenFile(fileName: String): File

    Definition Classes

    DefaultFileManager → FileManager

20. def flushCurrentFile(): Unit

    Definition Classes

    DefaultFileManager → FileManager

21. def flushFile(flushFileName: String): Unit

22. final def getClass(): java.lang.Class[_]

    Definition Classes

    AnyRef → Any

23. def getErrorInfo(): String

    Definition Classes

    DefaultFileManager → FileManager

24. def getFile(fileName: String): File

    Definition Classes

    DefaultFileManager → FileManager

25. def getPrefix(): String

    Definition Classes

    DefaultFileManager → FileManager

26. def handleModelChange(): Unit

27. def hasCurrentFile(): Boolean

    Definition Classes

    DefaultFileManager → FileManager

28. def hashCode(): Int

    Definition Classes

    AnyRef → Any

29. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

30. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

31. final def notify(): Unit

    Definition Classes

    AnyRef

32. final def notifyAll(): Unit

    Definition Classes

    AnyRef

33. def openFile(newFileName: String): Unit

    Definition Classes

    DefaultFileManager → FileManager

34. def read(world: World): AnyRef

    Definition Classes

    DefaultFileManager → FileManager

35. def readChars(num: Int): String

    Definition Classes

    DefaultFileManager → FileManager

36. def readLine(): String

    Definition Classes

    DefaultFileManager → FileManager

37. def readRemainder(): String

38. def setCurrentFile(newFile: File): Unit

39. def setPrefix(newPrefix: URL): Unit

    Definition Classes

    DefaultFileManager → FileManager

40. def setPrefix(newPrefix: String): Unit

    Definition Classes

    DefaultFileManager → FileManager

41. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

42. def toString(): String

    Definition Classes

    AnyRef → Any

43. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

44. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

45. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

46. def writeOutputObject(oo: OutputObject): Unit