41 |
import javax.swing.text.*; |
import javax.swing.text.*; |
42 |
|
|
43 |
/** |
/** |
44 |
* DocumentEvent interface |
* DocumentEvent public interface |
45 |
* @author Andrew Selkirk |
* @author Andrew Selkirk |
46 |
* @author Ronald Veldema |
* @author Ronald Veldema |
47 |
*/ |
*/ |
52 |
//------------------------------------------------------------- |
//------------------------------------------------------------- |
53 |
|
|
54 |
/** |
/** |
55 |
* ElementChange interface |
* ElementChange public interface |
56 |
*/ |
*/ |
57 |
public static interface ElementChange { |
public interface ElementChange { |
58 |
|
|
59 |
//------------------------------------------------------------- |
//------------------------------------------------------------- |
60 |
// Methods ---------------------------------------------------- |
// Methods ---------------------------------------------------- |
64 |
* getIndex |
* getIndex |
65 |
* @returns int |
* @returns int |
66 |
*/ |
*/ |
67 |
public int getIndex(); |
int getIndex(); |
68 |
|
|
69 |
/** |
/** |
70 |
* getElement |
* getElement |
71 |
* @returns Element |
* @returns Element |
72 |
*/ |
*/ |
73 |
public Element getElement(); |
Element getElement(); |
74 |
|
|
75 |
/** |
/** |
76 |
* getChildrenRemoved |
* getChildrenRemoved |
77 |
* @returns Element[] |
* @returns Element[] |
78 |
*/ |
*/ |
79 |
public Element[] getChildrenRemoved(); |
Element[] getChildrenRemoved(); |
80 |
|
|
81 |
/** |
/** |
82 |
* getChildrenAdded |
* getChildrenAdded |
83 |
* @returns Element[] |
* @returns Element[] |
84 |
*/ |
*/ |
85 |
public Element[] getChildrenAdded(); |
Element[] getChildrenAdded(); |
86 |
|
|
87 |
|
|
88 |
} // ElementChange |
} // ElementChange |
90 |
/** |
/** |
91 |
* EventType |
* EventType |
92 |
*/ |
*/ |
93 |
public static final class EventType { |
class EventType { |
94 |
|
|
95 |
//------------------------------------------------------------- |
//------------------------------------------------------------- |
96 |
// Variables -------------------------------------------------- |
// Variables -------------------------------------------------- |
99 |
/** |
/** |
100 |
* INSERT |
* INSERT |
101 |
*/ |
*/ |
102 |
public static final EventType INSERT = new EventType("INSERT"); // TODO |
EventType INSERT = new EventType("INSERT"); // TODO |
103 |
|
|
104 |
/** |
/** |
105 |
* REMOVE |
* REMOVE |
106 |
*/ |
*/ |
107 |
public static final EventType REMOVE = new EventType("REMOVE"); // TODO |
EventType REMOVE = new EventType("REMOVE"); // TODO |
108 |
|
|
109 |
/** |
/** |
110 |
* CHANGE |
* CHANGE |
111 |
*/ |
*/ |
112 |
public static final EventType CHANGE = new EventType("CHANGE"); // TODO |
EventType CHANGE = new EventType("CHANGE"); // TODO |
113 |
|
|
114 |
/** |
/** |
115 |
* typeString |
* typeString |
154 |
* getType |
* getType |
155 |
* @returns EventType |
* @returns EventType |
156 |
*/ |
*/ |
157 |
public EventType getType(); |
EventType getType(); |
158 |
|
|
159 |
/** |
/** |
160 |
* getOffset |
* getOffset |
161 |
* @returns int |
* @returns int |
162 |
*/ |
*/ |
163 |
public int getOffset(); |
int getOffset(); |
164 |
|
|
165 |
/** |
/** |
166 |
* getLength |
* getLength |
167 |
* @returns int |
* @returns int |
168 |
*/ |
*/ |
169 |
public int getLength(); |
int getLength(); |
170 |
|
|
171 |
/** |
/** |
172 |
* getDocument |
* getDocument |
173 |
* @returns Document |
* @returns Document |
174 |
*/ |
*/ |
175 |
public Document getDocument(); |
Document getDocument(); |
176 |
|
|
177 |
/** |
/** |
178 |
* getChange |
* getChange |
179 |
* @param element TODO |
* @param element TODO |
180 |
* @returns ElementChange |
* @returns ElementChange |
181 |
*/ |
*/ |
182 |
public ElementChange getChange(Element element); |
ElementChange getChange(Element element); |
183 |
|
|
184 |
|
|
185 |
} // DocumentEvent |
} // DocumentEvent |