public static final class IdeDocumentHistoryImpl.PlaceInfo
extends java.lang.Object
Constructor and Description |
---|
PlaceInfo(VirtualFile file,
FileEditorState navigationState,
java.lang.String editorTypeId,
EditorWindow window,
RangeMarker caretPosition) |
PlaceInfo(VirtualFile file,
FileEditorState navigationState,
java.lang.String editorTypeId,
EditorWindow window,
RangeMarker caretPosition,
long stamp) |
Modifier and Type | Method and Description |
---|---|
RangeMarker |
getCaretPosition() |
java.lang.String |
getEditorTypeId() |
VirtualFile |
getFile() |
FileEditorState |
getNavigationState() |
long |
getTimeStamp() |
EditorWindow |
getWindow() |
java.lang.String |
toString() |
public PlaceInfo(VirtualFile file, FileEditorState navigationState, java.lang.String editorTypeId, EditorWindow window, RangeMarker caretPosition)
public PlaceInfo(VirtualFile file, FileEditorState navigationState, java.lang.String editorTypeId, EditorWindow window, RangeMarker caretPosition, long stamp)
public EditorWindow getWindow()
public FileEditorState getNavigationState()
public VirtualFile getFile()
public java.lang.String getEditorTypeId()
public java.lang.String toString()
toString
in class java.lang.Object
public RangeMarker getCaretPosition()
public long getTimeStamp()