oracle.jdeveloper.java.util

Class SourceElementHandle

java.lang.Object

oracle.jdeveloper.java.util.SourceElementHandle

All Implemented Interfaces:

java.awt.event.ActionListener, java.util.EventListener, TextBufferListener

public class SourceElementHandle
extends java.lang.Object
implements TextBufferListener, java.awt.event.ActionListener

A SourceElementHandle safely handles the 'coordinates' of a SourceElement.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	PROPERTY_VALID

Fields inherited from interface oracle.javatools.buffer.TextBufferListener

EDIT_BEGIN_ATTRIBUTE, EDIT_END_ATTRIBUTE, EOL_TYPE_ATTRIBUTE, MODIFIED_ATTRIBUTE, READ_ONLY_ATTRIBUTE, RELOAD_END_ATTRIBUTE, RELOAD_START_ATTRIBUTE

Constructor Summary

Constructors

Constructor and Description
SourceElementHandle(SourceElement sourceElement)

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

PROPERTY_VALID

public static final java.lang.String PROPERTY_VALID

See Also:

Constant Field Values

Constructor Detail

SourceElementHandle

public SourceElementHandle(SourceElement sourceElement)

Method Detail

pinSourceElement

public void pinSourceElement()

Pin the SourceElement in memory. It will remain pinned until release() is called.

insertUpdate

public void insertUpdate(TextBuffer buffer,
                         int offset,
                         int count,
                         char[] insertedData)

Description copied from interface: TextBufferListener

Provides notification about an insertion into the TextBuffer.

Specified by:

insertUpdate in interface TextBufferListener

Parameters:

buffer - the TextBuffer that changed.

offset - the offset where the insert took place

count - the number of characters inserted (insertedData.length)

insertedData - an array of the removed characters.

removeUpdate

public void removeUpdate(TextBuffer buffer,
                         int offset,
                         int count,
                         char[] removedData)

Description copied from interface: TextBufferListener

Provides notification about a removal from the TextBuffer.

Specified by:

removeUpdate in interface TextBufferListener

Parameters:

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 characters

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

The timer has been triggered

Specified by:

actionPerformed in interface java.awt.event.ActionListener

attributeUpdate

public void attributeUpdate(TextBuffer buffer,
                            int attribute)

Description copied from interface: TextBufferListener

Provides notification regarding a change to one of the buffer attributes. The possible attributes are defined in this interface.

Specified by:

attributeUpdate in interface TextBufferListener

Parameters:

buffer - the TextBuffer that changed.

attribute - the attribute that changed

getURL

public java.net.URL getURL()

getElement

public SourceElement getElement()

release

public void release()

getOffset

public int getOffset()

addPropertyChangeListener

public void addPropertyChangeListener(java.beans.PropertyChangeListener propertyChangeListener)

removePropertyChangeListener

public void removePropertyChangeListener(java.beans.PropertyChangeListener propertyChangeListener)