public class TextModelEvent
extends java.util.EventObject
TextModel to
TextModelListeners.TextModel,
TextModelListener,
直列化された形式| 修飾子とタイプ | フィールドと説明 |
|---|---|
protected int |
id
The id of the event.
|
protected int |
paintBegin
The beginning index to paint, inclusive.
|
protected int |
paintEnd
The ending index to paint, exclusive.
|
static int |
TEXT_MODEL_EDITED
The text model is edited.
|
static int |
TEXT_MODEL_FIRST
Marks the first integer id for the range of text model event ids.
|
static int |
TEXT_MODEL_LAST
Marks the last integer id for the range of text model event ids.
|
static int |
TEXT_MODEL_UPDATED
The text model is updated.
|
protected TextChange |
textChange
The text change information of the event.
|
| コンストラクタと説明 |
|---|
TextModelEvent(TextModel model,
int id)
Constructs a text model event with the specified text model (event
source) and id.
|
TextModelEvent(TextModel model,
int id,
int paintBegin,
int paintEnd,
TextChange textChange)
Constructs a text model event with the specified text model (event
source), id, range to paint, and text change object.
|
TextModelEvent(TextModel model,
int id,
TextChange textChange)
Constructs a text model event with the specified text model (event
source), id, and text change object.
|
| 修飾子とタイプ | メソッドと説明 |
|---|---|
int |
getID()
Returns the id of this text model event.
|
TextModel |
getModel()
Returns the text model (event source) of this text model event.
|
int |
getPaintBegin()
Returns the beginning index to paint, inclusive.
|
int |
getPaintEnd()
Returns the beginning index to paint, exclusive.
|
TextChange |
getTextChange()
Returns the
TextChange object of this text model event. |
java.lang.String |
paramString() |
protected int id
protected int paintBegin
protected int paintEnd
protected TextChange textChange
public static final int TEXT_MODEL_FIRST
public static final int TEXT_MODEL_LAST
public static final int TEXT_MODEL_EDITED
public static final int TEXT_MODEL_UPDATED
public TextModelEvent(TextModel model, int id)
model - the text model (event source).id - the id.java.lang.IllegalArgumentException - if the id is not TEXT_MODEL_UPDATED.public TextModelEvent(TextModel model, int id, TextChange textChange)
model - the text model (event source).id - the id.textChange - the text change infromation.java.lang.IllegalArgumentException - if the id is not TEXT_MODEL_EDITED.public TextModelEvent(TextModel model, int id, int paintBegin, int paintEnd, TextChange textChange)
model - the text model (event source).id - the id.paintBegin - the beginning index to paint, inclusive.paintEnd - the ending index to paint, exclusive.textChange - the text change infromation.java.lang.IllegalArgumentException - if the id is not TEXT_MODEL_EDITED.public int getID()
public TextModel getModel()
public int getPaintBegin()
public int getPaintEnd()
public TextChange getTextChange()
TextChange object of this text model event.
This operation is valid when id is TEXT_MODEL_EDITED.public java.lang.String paramString()