| java.lang.Object org.eclipse.jface.text.DocumentEvent org.eclipse.jface.text.SlaveDocumentEvent org.eclipse.jface.text.projection.ProjectionDocumentEvent
Constructor Summary | |
public | ProjectionDocumentEvent(IDocument doc, int offset, int length, String text, DocumentEvent masterEvent) Creates a new content change event caused by the given master document
change. | public | ProjectionDocumentEvent(IDocument doc, int offset, int length, String text, int masterOffset, int masterLength) Creates a new projection change event for the given properties. | public | ProjectionDocumentEvent(IDocument doc, int offset, int length, String text, int masterOffset, int masterLength, DocumentEvent masterEvent) Creates a new projection document event for the given properties. |
Method Summary | |
public Object | getChangeType() Returns the change type of this event. | public int | getMasterLength() Returns the length of the master document range that has been added or removed in case this event
describes a projection changed, otherwise -1 . | public int | getMasterOffset() Returns the offset of the master document range that has been added or removed in case this
event describes a projection change, otherwise it returns -1 . |
CONTENT_CHANGE | final public static Object CONTENT_CHANGE(Code) | | The change type indicating a content change
|
PROJECTION_CHANGE | final public static Object PROJECTION_CHANGE(Code) | | The change type indicating a projection change
|
ProjectionDocumentEvent | public ProjectionDocumentEvent(IDocument doc, int offset, int length, String text, DocumentEvent masterEvent)(Code) | | Creates a new content change event caused by the given master document
change. Instances created using this constructor return -1
when calling getMasterOffset or
getMasterLength . This information can be obtained by
accessing the master event.
Parameters: doc - the changed projection document Parameters: offset - the offset in the projection document Parameters: length - the length in the projection document Parameters: text - the replacement text Parameters: masterEvent - the original master event |
ProjectionDocumentEvent | public ProjectionDocumentEvent(IDocument doc, int offset, int length, String text, int masterOffset, int masterLength)(Code) | | Creates a new projection change event for the given properties. Instances
created with this constructor return the given master document offset and
length but do not have an associated master document event.
Parameters: doc - the projection document Parameters: offset - the offset in the projection document Parameters: length - the length in the projection document Parameters: text - the replacement text Parameters: masterOffset - the offset in the master document Parameters: masterLength - the length in the master document |
ProjectionDocumentEvent | public ProjectionDocumentEvent(IDocument doc, int offset, int length, String text, int masterOffset, int masterLength, DocumentEvent masterEvent)(Code) | | Creates a new projection document event for the given properties. The
projection change is caused by a manipulation of the master document. In
order to accommodate the master document change, the projection document
had to change the projection. Instances created with this constructor
return the given master document offset and length and also have an
associated master document event.
Parameters: doc - the projection document Parameters: offset - the offset in the projection document Parameters: length - the length in the projection document Parameters: text - the replacement text Parameters: masterOffset - the offset in the master document Parameters: masterLength - the length in the master document Parameters: masterEvent - the master document event |
getMasterLength | public int getMasterLength()(Code) | | Returns the length of the master document range that has been added or removed in case this event
describes a projection changed, otherwise -1 .
the master document length of the projection change or -1 |
getMasterOffset | public int getMasterOffset()(Code) | | Returns the offset of the master document range that has been added or removed in case this
event describes a projection change, otherwise it returns -1 .
the master document offset of the projection change or -1 |
|
|