|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Header
An interface for a header of an object. The header has a position.
Method Summary | |
---|---|
void |
addPropertyChangeListener(java.beans.PropertyChangeListener listener)
Adds a java.beans.PropertyChangeListener. |
int |
getPosition()
Gets the position of this header. |
void |
removePropertyChangeListener(java.beans.PropertyChangeListener listener)
Removes a java.beans.PropertyChangeListener. |
void |
setPosition(int position)
Gets the position of this header. |
Method Detail |
---|
int getPosition()
Position
, i.e.:
void setPosition(int position)
Position
, i.e.:
position
- The position of this header.void addPropertyChangeListener(java.beans.PropertyChangeListener listener)
listener
- The property change listener to be added.void removePropertyChangeListener(java.beans.PropertyChangeListener listener)
listener
- The property change listener to be removed
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |