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.Objectpublic RangeMarker getCaretPosition()
public long getTimeStamp()