com.intellij.openapi.fileEditor
Class FileDocumentManager

java.lang.Object
  com.intellij.openapi.fileEditor.FileDocumentManager

public abstract class FileDocumentManager
extends java.lang.Object

Constructor Summary

FileDocumentManager()

Method Summary

abstract void	addFileDocumentManagerListener(FileDocumentManagerListener listener)
abstract void	dispatchPendingEvents(FileDocumentManagerListener listener)
static boolean	fileForDocumentCheckedOutSuccessfully(Document document, Project project)
abstract Document	getCachedDocument(VirtualFile file)
abstract Document	getDocument(VirtualFile file)
abstract VirtualFile	getFile(Document document)
static FileDocumentManager	getInstance()
abstract java.lang.String	getLineSeparator(VirtualFile file, Project project)
abstract Document[]	getUnsavedDocuments()
abstract boolean	isDocumentUnsaved(Document document)
abstract void	reloadFromDisk(Document document)
abstract void	removeFileDocumentManagerListener(FileDocumentManagerListener listener)
abstract void	saveAllDocuments()
abstract void	saveDocument(Document document)

Methods inherited from class java.lang.Object

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

Constructor Detail

FileDocumentManager

public FileDocumentManager()

Method Detail

getInstance

public static FileDocumentManager getInstance()

getDocument

public abstract Document getDocument(VirtualFile file)

getCachedDocument

public abstract Document getCachedDocument(VirtualFile file)

getFile

public abstract VirtualFile getFile(Document document)

saveAllDocuments

public abstract void saveAllDocuments()

saveDocument

public abstract void saveDocument(Document document)

getUnsavedDocuments

public abstract Document[] getUnsavedDocuments()

isDocumentUnsaved

public abstract boolean isDocumentUnsaved(Document document)

addFileDocumentManagerListener

public abstract void addFileDocumentManagerListener(FileDocumentManagerListener listener)

removeFileDocumentManagerListener

public abstract void removeFileDocumentManagerListener(FileDocumentManagerListener listener)

dispatchPendingEvents

public abstract void dispatchPendingEvents(FileDocumentManagerListener listener)

reloadFromDisk

public abstract void reloadFromDisk(Document document)

getLineSeparator

public abstract java.lang.String getLineSeparator(VirtualFile file,
                                                  Project project)

fileForDocumentCheckedOutSuccessfully

public static boolean fileForDocumentCheckedOutSuccessfully(Document document,
                                                            Project project)