|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface NOMEdit
A NOMEdit is a single change to the NOM structure. Edits are always taken to be related to a specific NOMElement (which is returned by the getElement() method)
| Field Summary | |
|---|---|
static int |
ADD_CHILD
|
static int |
ADD_ELEMENT
|
static int |
ADD_POINTER
|
static int |
DELETE_ELEMENT
|
static int |
DELETE_POINTER
|
static int |
EDIT_POINTER
|
static int |
REMOVE_CHILD
|
static int |
SET_ATTRIBUTE
|
static int |
SET_END_TIME
|
static int |
SET_START_TIME
|
static int |
SET_TEXT
|
| Method Summary | |
|---|---|
NOMElement |
getElement()
The element on which the edit has taken place. |
java.lang.Object |
getObject()
An Object that holds different things depending on the edit type. |
int |
getType()
Returns the type of the edit made. |
java.lang.String |
toString()
provides a textual description of the edit |
| Field Detail |
|---|
static final int SET_ATTRIBUTE
static final int ADD_ELEMENT
static final int DELETE_ELEMENT
static final int ADD_CHILD
static final int REMOVE_CHILD
static final int ADD_POINTER
static final int EDIT_POINTER
static final int DELETE_POINTER
static final int SET_START_TIME
static final int SET_END_TIME
static final int SET_TEXT
| Method Detail |
|---|
int getType()
NOMElement getElement()
java.lang.Object getObject()
java.lang.String toString()
toString in class java.lang.Object
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||