public class SourceElementHandle extends java.lang.Object implements TextBufferListener, java.awt.event.ActionListener
SourceElement
.Modifier and Type | Field and Description |
---|---|
static java.lang.String |
PROPERTY_VALID |
EDIT_BEGIN_ATTRIBUTE, EDIT_END_ATTRIBUTE, EOL_TYPE_ATTRIBUTE, MODIFIED_ATTRIBUTE, READ_ONLY_ATTRIBUTE, RELOAD_END_ATTRIBUTE, RELOAD_START_ATTRIBUTE
Constructor and Description |
---|
SourceElementHandle(SourceElement sourceElement) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e)
The timer has been triggered
|
void |
addPropertyChangeListener(java.beans.PropertyChangeListener propertyChangeListener) |
void |
attributeUpdate(TextBuffer buffer,
int attribute)
Provides notification regarding a change to one of the buffer
attributes.
|
SourceElement |
getElement() |
int |
getOffset() |
java.net.URL |
getURL() |
void |
insertUpdate(TextBuffer buffer,
int offset,
int count,
char[] insertedData)
Provides notification about an insertion into the
TextBuffer . |
void |
pinSourceElement()
Pin the
SourceElement in memory. |
void |
release() |
void |
removePropertyChangeListener(java.beans.PropertyChangeListener propertyChangeListener) |
void |
removeUpdate(TextBuffer buffer,
int offset,
int count,
char[] removedData)
Provides notification about a removal from the
TextBuffer . |
public static final java.lang.String PROPERTY_VALID
public SourceElementHandle(SourceElement sourceElement)
public void pinSourceElement()
SourceElement
in memory. It will remain pinned until
release()
is called.public void insertUpdate(TextBuffer buffer, int offset, int count, char[] insertedData)
TextBufferListener
TextBuffer
.insertUpdate
in interface TextBufferListener
buffer
- the TextBuffer
that changed.offset
- the offset where the insert took placecount
- the number of characters inserted (insertedData.length)insertedData
- an array of the removed characters.public void removeUpdate(TextBuffer buffer, int offset, int count, char[] removedData)
TextBufferListener
TextBuffer
.removeUpdate
in interface TextBufferListener
buffer
- the TextBuffer
that changed.offset
- the offset of the first removed character.count
- the number of characters removed (removedData.length)removedData
- an array of the removed characterspublic void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed
in interface java.awt.event.ActionListener
public void attributeUpdate(TextBuffer buffer, int attribute)
TextBufferListener
attributeUpdate
in interface TextBufferListener
buffer
- the TextBuffer
that changed.attribute
- the attribute that changedpublic java.net.URL getURL()
public SourceElement getElement()
public void release()
public int getOffset()
public void addPropertyChangeListener(java.beans.PropertyChangeListener propertyChangeListener)
public void removePropertyChangeListener(java.beans.PropertyChangeListener propertyChangeListener)