| java.lang.Object org.eclipse.ui.internal.texteditor.EditPosition
EditPosition | final public class EditPosition (Code) | | Data structure representing an edit position.
since: 2.1 |
EditPosition | public EditPosition(IEditorInput editorInput, String editorId, Position pos)(Code) | | Creates a new edit position.
Parameters: editorInput - the editor input Parameters: editorId - the editor ID Parameters: pos - the position |
getEditorId | String getEditorId()(Code) | | Returns the editor id for this edit position.
the editor input of this edit position |
getEditorInput | IEditorInput getEditorInput()(Code) | | Returns the editor input for this edit position.
the editor input of this edit position |
getPosition | Position getPosition()(Code) | | Returns the position.
the position |
|
|