1 |
/* DocumentEvent.java -- |
/* DocumentEvent.java -- |
2 |
Copyright (C) 2002, 2004 Free Software Foundation, Inc. |
Copyright (C) 2002, 2004, 2005 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
5 |
|
|
45 |
* @author Andrew Selkirk |
* @author Andrew Selkirk |
46 |
* @author Ronald Veldema |
* @author Ronald Veldema |
47 |
*/ |
*/ |
48 |
public interface DocumentEvent { |
public interface DocumentEvent |
49 |
|
{ |
50 |
|
/** |
51 |
|
* ElementChange public interface |
52 |
|
*/ |
53 |
|
public interface ElementChange |
54 |
|
{ |
55 |
|
/** |
56 |
|
* getIndex |
57 |
|
* @returns int |
58 |
|
*/ |
59 |
|
int getIndex(); |
60 |
|
|
61 |
//------------------------------------------------------------- |
/** |
62 |
// Classes ---------------------------------------------------- |
* getElement |
63 |
//------------------------------------------------------------- |
* @returns Element |
64 |
|
*/ |
65 |
/** |
Element getElement(); |
|
* ElementChange public interface |
|
|
*/ |
|
|
public interface ElementChange { |
|
|
|
|
|
//------------------------------------------------------------- |
|
|
// Methods ---------------------------------------------------- |
|
|
//------------------------------------------------------------- |
|
|
|
|
|
/** |
|
|
* getIndex |
|
|
* @returns int |
|
|
*/ |
|
|
int getIndex(); |
|
|
|
|
|
/** |
|
|
* getElement |
|
|
* @returns Element |
|
|
*/ |
|
|
Element getElement(); |
|
|
|
|
|
/** |
|
|
* getChildrenRemoved |
|
|
* @returns Element[] |
|
|
*/ |
|
|
Element[] getChildrenRemoved(); |
|
|
|
|
|
/** |
|
|
* getChildrenAdded |
|
|
* @returns Element[] |
|
|
*/ |
|
|
Element[] getChildrenAdded(); |
|
66 |
|
|
67 |
|
/** |
68 |
|
* getChildrenRemoved |
69 |
|
* @returns Element[] |
70 |
|
*/ |
71 |
|
Element[] getChildrenRemoved(); |
72 |
|
|
73 |
} // ElementChange |
/** |
74 |
|
* getChildrenAdded |
75 |
|
* @returns Element[] |
76 |
|
*/ |
77 |
|
Element[] getChildrenAdded(); |
78 |
|
|
79 |
|
} |
80 |
|
|
81 |
/** |
/** |
82 |
* EventType |
* EventType |
122 |
} |
} |
123 |
} |
} |
124 |
|
|
125 |
/** |
/** |
126 |
* getType |
* getType |
127 |
* @returns EventType |
* @returns EventType |
128 |
*/ |
*/ |
129 |
EventType getType(); |
EventType getType(); |
130 |
|
|
131 |
/** |
/** |
132 |
* getOffset |
* getOffset |
133 |
* @returns int |
* @returns int |
134 |
*/ |
*/ |
135 |
int getOffset(); |
int getOffset(); |
136 |
|
|
137 |
/** |
/** |
138 |
* getLength |
* getLength |
139 |
* @returns int |
* @returns int |
140 |
*/ |
*/ |
141 |
int getLength(); |
int getLength(); |
142 |
|
|
143 |
/** |
/** |
144 |
* getDocument |
* getDocument |
145 |
* @returns Document |
* @returns Document |
146 |
*/ |
*/ |
147 |
Document getDocument(); |
Document getDocument(); |
|
|
|
|
/** |
|
|
* getChange |
|
|
* @param element TODO |
|
|
* @returns ElementChange |
|
|
*/ |
|
|
ElementChange getChange(Element element); |
|
148 |
|
|
149 |
|
/** |
150 |
|
* getChange |
151 |
|
* @param element TODO |
152 |
|
* @returns ElementChange |
153 |
|
*/ |
154 |
|
ElementChange getChange(Element element); |
155 |
|
|
156 |
} // DocumentEvent |
} |