|
|||||||||
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 |