JAL-1807 Bob
[jalviewjs.git] / site / j2s / core / corejalview.js
1 (function(Clazz
2 ,Clazz_getClassName
3 ,Clazz_newLongArray
4 ,Clazz_doubleToByte
5 ,Clazz_doubleToInt
6 ,Clazz_doubleToLong
7 ,Clazz_declarePackage
8 ,Clazz_instanceOf
9 ,Clazz_load
10 ,Clazz_instantialize
11 ,Clazz_decorateAsClass
12 ,Clazz_floatToInt
13 ,Clazz_floatToLong
14 ,Clazz_makeConstructor
15 ,Clazz_defineEnumConstant
16 ,Clazz_exceptionOf
17 ,Clazz_newIntArray
18 ,Clazz_defineStatics
19 ,Clazz_newFloatArray
20 ,Clazz_declareType
21 ,Clazz_prepareFields
22 ,Clazz_superConstructor
23 ,Clazz_newByteArray
24 ,Clazz_declareInterface
25 ,Clazz_p0p
26 ,Clazz_pu$h
27 ,Clazz_newShortArray
28 ,Clazz_innerTypeInstance
29 ,Clazz_isClassDefined
30 ,Clazz_prepareCallback
31 ,Clazz_newArray
32 ,Clazz_castNullAs
33 ,Clazz_floatToShort
34 ,Clazz_superCall
35 ,Clazz_decorateAsType
36 ,Clazz_newBooleanArray
37 ,Clazz_newCharArray
38 ,Clazz_implementOf
39 ,Clazz_newDoubleArray
40 ,Clazz_overrideConstructor
41 ,Clazz_clone
42 ,Clazz_doubleToShort
43 ,Clazz_getInheritedLevel
44 ,Clazz_getParamsType
45 ,Clazz_isAF
46 ,Clazz_isAI
47 ,Clazz_isAS
48 ,Clazz_isASS
49 ,Clazz_isAP
50 ,Clazz_isAFloat
51 ,Clazz_isAII
52 ,Clazz_isAFF
53 ,Clazz_isAFFF
54 ,Clazz_tryToSearchAndExecute
55 ,Clazz_getStackTrace
56 ,Clazz_inheritArgs
57 ,Clazz_alert
58 ,Clazz_defineMethod
59 ,Clazz_overrideMethod
60 ,Clazz_declareAnonymous
61 ,Clazz_checkPrivateMethod
62 ,Clazz_cloneFinals
63 ){
64 var $t$;
65 //var c$;
66 Clazz_load (["java.io.Reader"], "java.io.InputStreamReader", ["java.lang.NullPointerException"], function () {
67 c$ = Clazz_decorateAsClass (function () {
68 this.$in = null;
69 this.isOpen = true;
70 this.charsetName = null;
71 this.isUTF8 = false;
72 this.bytearr = null;
73 this.pos = 0;
74 Clazz_instantialize (this, arguments);
75 }, java.io, "InputStreamReader", java.io.Reader);
76 Clazz_makeConstructor (c$, 
77 function ($in) {
78 //just sets lock Clazz_superConstructor (this, java.io.InputStreamReader, [$in]);
79 this.$in = $in;
80 var charsetName = (arguments.length > 1 ? arguments[1] : "UTF-8");
81
82 this.charsetName = charsetName;
83 if (!(this.isUTF8 = "UTF-8".equals (charsetName)) && !"ISO-8859-1".equals (charsetName)) throw  new NullPointerException ("charsetName");
84 }, "java.io.InputStream");
85 Clazz_defineMethod (c$, "getEncoding", 
86 function () {
87 return this.charsetName;
88 });
89 Clazz_overrideMethod (c$, "read", 
90 function (cbuf, offset, length) {
91 if (this.bytearr == null || this.bytearr.length < length) this.bytearr =  Clazz_newByteArray (length, 0);
92 var c;
93 var char2;
94 var char3;
95 var byteCount = 0;
96 var charCount = offset;
97 var byteLen = this.$in.read (this.bytearr, this.pos, length - this.pos);
98 var nAvail = this.$in.available ();
99 if (byteLen < 0) return -1;
100 var nMax = byteLen;
101 while (byteCount < nMax) {
102 c = this.bytearr[byteCount] & 0xff;
103 if (this.isUTF8) switch (c >> 4) {
104 case 0xC:
105 case 0xD:
106 if (byteCount + 1 >= byteLen) {
107 if (nAvail >= 1) {
108 nMax = byteCount;
109 continue;
110 }} else if (((char2 = this.bytearr[byteCount + 1]) & 0xC0) == 0x80) {
111 cbuf[charCount++] = String.fromCharCode (((c & 0x1F) << 6) | (char2 & 0x3F));
112 byteCount += 2;
113 continue;
114 }this.isUTF8 = false;
115 break;
116 case 0xE:
117 if (byteCount + 2 >= byteLen) {
118 if (nAvail >= 2) {
119 nMax = byteCount;
120 continue;
121 }} else if (((char2 = this.bytearr[byteCount + 1]) & 0xC0) == 0x80 && ((char3 = this.bytearr[byteCount + 2]) & 0xC0) == 0x80) {
122 cbuf[charCount++] = String.fromCharCode (((c & 0x0F) << 12) | ((char2 & 0x3F) << 6) | (char3 & 0x3F));
123 byteCount += 3;
124 continue;
125 }this.isUTF8 = false;
126 break;
127 }
128 byteCount++;
129 cbuf[charCount++] = String.fromCharCode (c);
130 }
131 this.pos = byteLen - byteCount;
132 for (var i = 0; i < this.pos; i++) {
133 this.bytearr[i] = this.bytearr[byteCount++];
134 }
135 return charCount - offset;
136 }, "~A,~N,~N");
137 Clazz_overrideMethod (c$, "ready", 
138 function () {
139 return this.isOpen;
140 });
141 Clazz_overrideMethod (c$, "close", 
142 function () {
143 this.$in.close ();
144 this.isOpen = false;
145 });
146 });
147 Clazz_declarePackage ("javax.swing.text");
148 Clazz_load (["java.awt.event.FocusListener", "$.MouseListener", "javax.swing.ActionMap", "$.InputMap", "$.JComponent", "$.Scrollable", "javax.swing.event.CaretEvent", "$.ChangeListener", "javax.swing.text.Keymap", "javax.swing.DropMode"], "javax.swing.text.JTextComponent", ["java.io.IOException", "java.lang.Boolean", "$.Character", "$.IllegalArgumentException", "java.util.HashMap", "$.Hashtable", "$.Vector", "java.awt.Point", "javax.swing.Action", "$.JViewport", "$.UIManager", "javax.swing.event.CaretListener", "javax.swing.text.DefaultEditorKit", "$.JSMinimalAbstractDocument", "jssun.awt.AppContext", "swingjs.JSToolkit"], function () {
149 c$ = Clazz_decorateAsClass (function () {
150 this.model = null;
151 this.caret = null;
152 this.navigationFilter = null;
153 this.highlighter = null;
154 this.keymap = null;
155 this.caretEvent = null;
156 this.caretColor = null;
157 this.selectionColor = null;
158 this.selectedTextColor = null;
159 this.disabledTextColor = null;
160 this.editable = false;
161 this.margin = null;
162 this.focusAccelerator = '\0';
163 this.dragEnabled = false;
164 this.dropMode = null;
165 this.composedTextAttribute = null;
166 this.composedTextContent = null;
167 this.composedTextStart = null;
168 this.composedTextEnd = null;
169 Clazz_instantialize (this, arguments);
170 }, javax.swing.text, "JTextComponent", javax.swing.JComponent, javax.swing.Scrollable);
171 Clazz_prepareFields (c$, function () {
172 this.dropMode = javax.swing.DropMode.USE_SELECTION;
173 });
174 Clazz_makeConstructor (c$, 
175 function () {
176 Clazz_superConstructor (this, javax.swing.text.JTextComponent);
177 this.enableEvents (2056);
178 this.caretEvent =  new javax.swing.text.JTextComponent.MutableCaretEvent (this);
179 this.addMouseListener (this.caretEvent);
180 this.addFocusListener (this.caretEvent);
181 this.setEditable (true);
182 this.setDragEnabled (false);
183 this.setLayout (null);
184 this.updateUI ();
185 });
186 Clazz_overrideMethod (c$, "getUI", 
187 function () {
188 return this.ui;
189 });
190 Clazz_overrideMethod (c$, "updateUI", 
191 function () {
192 this.setUI (javax.swing.UIManager.getUI (this));
193 this.invalidate ();
194 });
195 Clazz_defineMethod (c$, "addCaretListener", 
196 function (listener) {
197 this.listenerList.add (javax.swing.event.CaretListener, listener);
198 }, "javax.swing.event.CaretListener");
199 Clazz_defineMethod (c$, "removeCaretListener", 
200 function (listener) {
201 this.listenerList.remove (javax.swing.event.CaretListener, listener);
202 }, "javax.swing.event.CaretListener");
203 Clazz_defineMethod (c$, "getCaretListeners", 
204 function () {
205 return this.listenerList.getListeners (javax.swing.event.CaretListener);
206 });
207 Clazz_defineMethod (c$, "fireCaretUpdate", 
208 function (e) {
209 var listeners = this.listenerList.getListenerList ();
210 for (var i = listeners.length - 2; i >= 0; i -= 2) {
211 if (listeners[i] === javax.swing.event.CaretListener) {
212 (listeners[i + 1]).caretUpdate (e);
213 }}
214 }, "javax.swing.event.CaretEvent");
215 Clazz_defineMethod (c$, "setDocument", 
216 function (doc) {
217 var old = this.model;
218 try {
219 this.model = doc;
220 this.firePropertyChangeObject ("document", old, doc);
221 } finally {
222 }
223 this.revalidate ();
224 this.repaint ();
225 }, "javax.swing.text.Document");
226 Clazz_defineMethod (c$, "getDocument", 
227 function () {
228 return this.model;
229 });
230 Clazz_defineMethod (c$, "getActions", 
231 function () {
232 if (this.getUI () == null) return null;
233 return this.getUI ().getEditorKit (this).getActions ();
234 });
235 Clazz_defineMethod (c$, "setMargin", 
236 function (m) {
237 var old = this.margin;
238 this.margin = m;
239 this.firePropertyChangeObject ("margin", old, m);
240 this.invalidate ();
241 }, "java.awt.Insets");
242 Clazz_defineMethod (c$, "getMargin", 
243 function () {
244 return this.margin;
245 });
246 Clazz_defineMethod (c$, "setNavigationFilter", 
247 function (filter) {
248 this.navigationFilter = filter;
249 }, "javax.swing.text.NavigationFilter");
250 Clazz_defineMethod (c$, "getNavigationFilter", 
251 function () {
252 return this.navigationFilter;
253 });
254 Clazz_defineMethod (c$, "getCaret", 
255 function () {
256 return this.caret;
257 });
258 Clazz_defineMethod (c$, "setCaret", 
259 function (c) {
260 if (this.caret != null) {
261 this.caret.removeChangeListener (this.caretEvent);
262 this.caret.deinstall (this);
263 }var old = this.caret;
264 this.caret = c;
265 if (this.caret != null) {
266 this.caret.install (this);
267 this.caret.addChangeListener (this.caretEvent);
268 }this.firePropertyChangeObject ("caret", old, this.caret);
269 }, "javax.swing.text.Caret");
270 Clazz_defineMethod (c$, "getHighlighter", 
271 function () {
272 return this.highlighter;
273 });
274 Clazz_defineMethod (c$, "setHighlighter", 
275 function (h) {
276 if (this.highlighter != null) {
277 this.highlighter.deinstall (this);
278 }var old = this.highlighter;
279 this.highlighter = h;
280 if (this.highlighter != null) {
281 this.highlighter.install (this);
282 }this.firePropertyChangeObject ("highlighter", old, h);
283 }, "javax.swing.text.Highlighter");
284 Clazz_defineMethod (c$, "setKeymap", 
285 function (map) {
286 var old = this.keymap;
287 this.keymap = map;
288 this.firePropertyChangeObject ("keymap", old, this.keymap);
289 this.updateInputMap (old, map);
290 }, "javax.swing.text.Keymap");
291 Clazz_defineMethod (c$, "setDragEnabled", 
292 function (b) {
293 this.dragEnabled = b;
294 }, "~B");
295 Clazz_defineMethod (c$, "getDragEnabled", 
296 function () {
297 return this.dragEnabled;
298 });
299 Clazz_defineMethod (c$, "setDropMode", 
300 function (dropMode) {
301 if (dropMode != null) {
302 switch (dropMode) {
303 case javax.swing.DropMode.USE_SELECTION:
304 case javax.swing.DropMode.INSERT:
305 this.dropMode = dropMode;
306 return;
307 }
308 }throw  new IllegalArgumentException (dropMode + ": Unsupported drop mode for text");
309 }, "javax.swing.DropMode");
310 Clazz_defineMethod (c$, "getDropMode", 
311 function () {
312 return this.dropMode;
313 });
314 Clazz_defineMethod (c$, "updateInputMap", 
315 function (oldKm, newKm) {
316 var km = this.getInputMap (0);
317 var last = km;
318 while (km != null && !(Clazz_instanceOf (km, javax.swing.text.JTextComponent.KeymapWrapper))) {
319 last = km;
320 km = km.getParent ();
321 }
322 if (km != null) {
323 if (newKm == null) {
324 if (last !== km) {
325 last.setParent (km.getParent ());
326 } else {
327 last.setParent (null);
328 }} else {
329 var newKM =  new javax.swing.text.JTextComponent.KeymapWrapper (newKm);
330 last.setParent (newKM);
331 if (last !== km) {
332 newKM.setParent (km.getParent ());
333 }}} else if (newKm != null) {
334 km = this.getInputMap (0);
335 if (km != null) {
336 var newKM =  new javax.swing.text.JTextComponent.KeymapWrapper (newKm);
337 newKM.setParent (km.getParent ());
338 km.setParent (newKM);
339 }}var am = this.getActionMap ();
340 var lastAM = am;
341 while (am != null && !(Clazz_instanceOf (am, javax.swing.text.JTextComponent.KeymapActionMap))) {
342 lastAM = am;
343 am = am.getParent ();
344 }
345 if (am != null) {
346 if (newKm == null) {
347 if (lastAM !== am) {
348 lastAM.setParent (am.getParent ());
349 } else {
350 lastAM.setParent (null);
351 }} else {
352 var newAM =  new javax.swing.text.JTextComponent.KeymapActionMap (newKm);
353 lastAM.setParent (newAM);
354 if (lastAM !== am) {
355 newAM.setParent (am.getParent ());
356 }}} else if (newKm != null) {
357 am = this.getActionMap ();
358 if (am != null) {
359 var newAM =  new javax.swing.text.JTextComponent.KeymapActionMap (newKm);
360 newAM.setParent (am.getParent ());
361 am.setParent (newAM);
362 }}}, "javax.swing.text.Keymap,javax.swing.text.Keymap");
363 Clazz_defineMethod (c$, "getKeymap", 
364 function () {
365 return this.keymap;
366 });
367 c$.addKeymap = Clazz_defineMethod (c$, "addKeymap", 
368 function (nm, parent) {
369 var map =  new javax.swing.text.JTextComponent.DefaultKeymap (nm, parent);
370 if (nm != null) {
371 javax.swing.text.JTextComponent.getKeymapTable ().put (nm, map);
372 }return map;
373 }, "~S,javax.swing.text.Keymap");
374 c$.removeKeymap = Clazz_defineMethod (c$, "removeKeymap", 
375 function (nm) {
376 return javax.swing.text.JTextComponent.getKeymapTable ().remove (nm);
377 }, "~S");
378 c$.getKeymap = Clazz_defineMethod (c$, "getKeymap", 
379 function (nm) {
380 return javax.swing.text.JTextComponent.getKeymapTable ().get (nm);
381 }, "~S");
382 c$.getKeymapTable = Clazz_defineMethod (c$, "getKeymapTable", 
383  function () {
384 {
385 var appContext = jssun.awt.AppContext.getAppContext ();
386 var keymapTable = appContext.get (javax.swing.text.JTextComponent.KEYMAP_TABLE);
387 if (keymapTable == null) {
388 keymapTable =  new java.util.HashMap (17);
389 appContext.put (javax.swing.text.JTextComponent.KEYMAP_TABLE, keymapTable);
390 var binding = javax.swing.text.JTextComponent.addKeymap ("default", null);
391 binding.setDefaultAction ( new javax.swing.text.DefaultEditorKit.DefaultKeyTypedAction ());
392 }return keymapTable;
393 }});
394 c$.loadKeymap = Clazz_defineMethod (c$, "loadKeymap", 
395 function (map, bindings, actions) {
396 var h =  new java.util.Hashtable ();
397 for (var i = 0; i < actions.length; i++) {
398 var a = actions[i];
399 var value = a.getValue ("Name");
400 h.put ((value != null ? value : ""), a);
401 }
402 for (var i = 0; i < bindings.length; i++) {
403 var a = h.get (bindings[i].actionName);
404 if (a != null) {
405 map.addActionForKeyStroke (bindings[i].key, a);
406 }}
407 }, "javax.swing.text.Keymap,~A,~A");
408 Clazz_defineMethod (c$, "getCaretColor", 
409 function () {
410 return this.caretColor;
411 });
412 Clazz_defineMethod (c$, "setCaretColor", 
413 function (c) {
414 var old = this.caretColor;
415 this.caretColor = c;
416 this.firePropertyChangeObject ("caretColor", old, this.caretColor);
417 }, "java.awt.Color");
418 Clazz_defineMethod (c$, "getSelectionColor", 
419 function () {
420 return this.selectionColor;
421 });
422 Clazz_defineMethod (c$, "setSelectionColor", 
423 function (c) {
424 var old = this.selectionColor;
425 this.selectionColor = c;
426 this.firePropertyChangeObject ("selectionColor", old, this.selectionColor);
427 }, "java.awt.Color");
428 Clazz_defineMethod (c$, "getSelectedTextColor", 
429 function () {
430 return this.selectedTextColor;
431 });
432 Clazz_defineMethod (c$, "setSelectedTextColor", 
433 function (c) {
434 var old = this.selectedTextColor;
435 this.selectedTextColor = c;
436 this.firePropertyChangeObject ("selectedTextColor", old, this.selectedTextColor);
437 }, "java.awt.Color");
438 Clazz_defineMethod (c$, "getDisabledTextColor", 
439 function () {
440 return this.disabledTextColor;
441 });
442 Clazz_defineMethod (c$, "setDisabledTextColor", 
443 function (c) {
444 var old = this.disabledTextColor;
445 this.disabledTextColor = c;
446 this.firePropertyChangeObject ("disabledTextColor", old, this.disabledTextColor);
447 }, "java.awt.Color");
448 Clazz_defineMethod (c$, "replaceSelection", 
449 function (content) {
450 var doc = this.getDocument ();
451 if (doc != null) {
452 try {
453 var composedTextSaved = this.saveComposedText (this.caret.getDot ());
454 var p0 = Math.min (this.caret.getDot (), this.caret.getMark ());
455 var p1 = Math.max (this.caret.getDot (), this.caret.getMark ());
456 if (Clazz_instanceOf (doc, javax.swing.text.JSMinimalAbstractDocument)) {
457 (doc).replace (p0, p1 - p0, content, null);
458 } else {
459 if (p0 != p1) {
460 doc.remove (p0, p1 - p0);
461 }if (content != null && content.length > 0) {
462 doc.insertString (p0, content, null);
463 }}if (composedTextSaved) {
464 this.restoreComposedText ();
465 }} catch (e) {
466 if (Clazz_exceptionOf (e, javax.swing.text.BadLocationException)) {
467 swingjs.JSToolkit.alert ("SWINGJS BAD LOCATION EXCEPTION (replace):" + e.getMessage () + swingjs.JSToolkit.getStackTrace (-10));
468 } else {
469 throw e;
470 }
471 }
472 }}, "~S");
473 Clazz_defineMethod (c$, "getText", 
474 function (offs, len) {
475 return this.getDocument ().getText (offs, len);
476 }, "~N,~N");
477 Clazz_defineMethod (c$, "modelToView", 
478 function (pos) {
479 return this.getUI ().modelToView (this, pos);
480 }, "~N");
481 Clazz_defineMethod (c$, "viewToModel", 
482 function (pt) {
483 return this.getUI ().viewToModel (this, pt);
484 }, "java.awt.Point");
485 Clazz_defineMethod (c$, "cut", 
486 function () {
487 });
488 Clazz_defineMethod (c$, "copy", 
489 function () {
490 });
491 Clazz_defineMethod (c$, "paste", 
492 function () {
493 });
494 Clazz_defineMethod (c$, "moveCaretPosition", 
495 function (pos) {
496 var doc = this.getDocument ();
497 if (doc != null) {
498 if (pos > doc.getLength () || pos < 0) {
499 throw  new IllegalArgumentException ("bad position: " + pos);
500 }this.caret.moveDot (pos);
501 }}, "~N");
502 Clazz_defineMethod (c$, "setFocusAccelerator", 
503 function (aKey) {
504 aKey = Character.toUpperCase (aKey);
505 var old = this.focusAccelerator;
506 this.focusAccelerator = aKey;
507 this.firePropertyChange ("focusAcceleratorKey", old, this.focusAccelerator);
508 this.firePropertyChange ("focusAccelerator", old, this.focusAccelerator);
509 }, "~S");
510 Clazz_defineMethod (c$, "getFocusAccelerator", 
511 function () {
512 return this.focusAccelerator;
513 });
514 Clazz_defineMethod (c$, "read", 
515 function ($in, desc) {
516 var kit = this.getUI ().getEditorKit (this);
517 var doc = kit.createDefaultDocument ();
518 if (desc != null) {
519 doc.putProperty ("stream", desc);
520 }try {
521 kit.read ($in, doc, 0);
522 this.setDocument (doc);
523 } catch (e) {
524 if (Clazz_exceptionOf (e, javax.swing.text.BadLocationException)) {
525 throw  new java.io.IOException (e.getMessage ());
526 } else {
527 throw e;
528 }
529 }
530 }, "java.io.Reader,~O");
531 Clazz_defineMethod (c$, "write", 
532 function (out) {
533 var doc = this.getDocument ();
534 try {
535 this.getUI ().getEditorKit (this).write (out, doc, 0, doc.getLength ());
536 } catch (e) {
537 if (Clazz_exceptionOf (e, javax.swing.text.BadLocationException)) {
538 throw  new java.io.IOException (e.getMessage ());
539 } else {
540 throw e;
541 }
542 }
543 }, "java.io.Writer");
544 Clazz_defineMethod (c$, "removeNotify", 
545 function () {
546 Clazz_superCall (this, javax.swing.text.JTextComponent, "removeNotify", []);
547 if (javax.swing.text.JTextComponent.getFocusedComponent () === this) {
548 jssun.awt.AppContext.getAppContext ().remove (javax.swing.text.JTextComponent.FOCUSED_COMPONENT);
549 }});
550 Clazz_defineMethod (c$, "setCaretPosition", 
551 function (position) {
552 var doc = this.getDocument ();
553 if (doc != null) {
554 if (position > doc.getLength () || position < 0) {
555 throw  new IllegalArgumentException ("bad position: " + position);
556 }this.caret.setDot (position);
557 }}, "~N");
558 Clazz_defineMethod (c$, "getCaretPosition", 
559 function () {
560 return this.caret.getDot ();
561 });
562 Clazz_defineMethod (c$, "setText", 
563 function (t) {
564 try {
565 var doc = this.getDocument ();
566 if (Clazz_instanceOf (doc, javax.swing.text.JSMinimalAbstractDocument)) {
567 (doc).replace (0, doc.getLength (), t, null);
568 } else {
569 doc.remove (0, doc.getLength ());
570 doc.insertString (0, t, null);
571 }} catch (e) {
572 if (Clazz_exceptionOf (e, javax.swing.text.BadLocationException)) {
573 swingjs.JSToolkit.alert ("SWINGJS BAD LOCATION EXCEPTION (setText):" + e.getMessage () + swingjs.JSToolkit.getStackTrace (-10));
574 } else {
575 throw e;
576 }
577 }
578 }, "~S");
579 Clazz_defineMethod (c$, "getText", 
580 function () {
581 var doc = this.getDocument ();
582 var txt;
583 try {
584 txt = doc.getText (0, doc.getLength ());
585 } catch (e) {
586 if (Clazz_exceptionOf (e, javax.swing.text.BadLocationException)) {
587 txt = null;
588 } else {
589 throw e;
590 }
591 }
592 return txt;
593 });
594 Clazz_defineMethod (c$, "getSelectedText", 
595 function () {
596 var txt = null;
597 var p0 = Math.min (this.caret.getDot (), this.caret.getMark ());
598 var p1 = Math.max (this.caret.getDot (), this.caret.getMark ());
599 if (p0 != p1) {
600 try {
601 var doc = this.getDocument ();
602 txt = doc.getText (p0, p1 - p0);
603 } catch (e) {
604 if (Clazz_exceptionOf (e, javax.swing.text.BadLocationException)) {
605 throw  new IllegalArgumentException (e.getMessage ());
606 } else {
607 throw e;
608 }
609 }
610 }return txt;
611 });
612 Clazz_defineMethod (c$, "isEditable", 
613 function () {
614 return this.editable;
615 });
616 Clazz_defineMethod (c$, "setEditable", 
617 function (b) {
618 if (b != this.editable) {
619 var oldVal = this.editable;
620 this.editable = b;
621 this.firePropertyChangeObject ("editable", Boolean.$valueOf (oldVal), Boolean.$valueOf (this.editable));
622 this.repaint ();
623 }}, "~B");
624 Clazz_defineMethod (c$, "getSelectionStart", 
625 function () {
626 var start = Math.min (this.caret.getDot (), this.caret.getMark ());
627 return start;
628 });
629 Clazz_defineMethod (c$, "setSelectionStart", 
630 function (selectionStart) {
631 this.select (selectionStart, this.getSelectionEnd ());
632 }, "~N");
633 Clazz_defineMethod (c$, "getSelectionEnd", 
634 function () {
635 var end = Math.max (this.caret.getDot (), this.caret.getMark ());
636 return end;
637 });
638 Clazz_defineMethod (c$, "setSelectionEnd", 
639 function (selectionEnd) {
640 this.select (this.getSelectionStart (), selectionEnd);
641 }, "~N");
642 Clazz_defineMethod (c$, "select", 
643 function (selectionStart, selectionEnd) {
644 var docLength = this.getDocument ().getLength ();
645 if (selectionStart < 0) {
646 selectionStart = 0;
647 }if (selectionStart > docLength) {
648 selectionStart = docLength;
649 }if (selectionEnd > docLength) {
650 selectionEnd = docLength;
651 }if (selectionEnd < selectionStart) {
652 selectionEnd = selectionStart;
653 }this.setCaretPosition (selectionStart);
654 this.moveCaretPosition (selectionEnd);
655 }, "~N,~N");
656 Clazz_defineMethod (c$, "selectAll", 
657 function () {
658 var doc = this.getDocument ();
659 if (doc != null) {
660 this.setCaretPosition (0);
661 this.moveCaretPosition (doc.getLength ());
662 }});
663 Clazz_defineMethod (c$, "getToolTipText", 
664 function (event) {
665 var retValue = Clazz_superCall (this, javax.swing.text.JTextComponent, "getToolTipText", [event]);
666 if (retValue == null) {
667 var ui = this.getUI ();
668 if (ui != null) {
669 retValue = ui.getToolTipText (this,  new java.awt.Point (event.getX (), event.getY ()));
670 }}return retValue;
671 }, "java.awt.event.MouseEvent");
672 Clazz_overrideMethod (c$, "getPreferredScrollableViewportSize", 
673 function () {
674 return this.getPreferredSize ();
675 });
676 Clazz_overrideMethod (c$, "getScrollableUnitIncrement", 
677 function (visibleRect, orientation, direction) {
678 switch (orientation) {
679 case 1:
680 return Clazz_doubleToInt (visibleRect.height / 10);
681 case 0:
682 return Clazz_doubleToInt (visibleRect.width / 10);
683 default:
684 throw  new IllegalArgumentException ("Invalid orientation: " + orientation);
685 }
686 }, "java.awt.Rectangle,~N,~N");
687 Clazz_overrideMethod (c$, "getScrollableBlockIncrement", 
688 function (visibleRect, orientation, direction) {
689 switch (orientation) {
690 case 1:
691 return visibleRect.height;
692 case 0:
693 return visibleRect.width;
694 default:
695 throw  new IllegalArgumentException ("Invalid orientation: " + orientation);
696 }
697 }, "java.awt.Rectangle,~N,~N");
698 Clazz_overrideMethod (c$, "getScrollableTracksViewportWidth", 
699 function () {
700 if (Clazz_instanceOf (this.getParent (), javax.swing.JViewport)) {
701 return ((this.getParent ()).getWidth () > this.getPreferredSize ().width);
702 }return false;
703 });
704 Clazz_overrideMethod (c$, "getScrollableTracksViewportHeight", 
705 function () {
706 if (Clazz_instanceOf (this.getParent (), javax.swing.JViewport)) {
707 return ((this.getParent ()).getHeight () > this.getPreferredSize ().height);
708 }return false;
709 });
710 Clazz_defineMethod (c$, "paramString", 
711 function () {
712 var editableString = (this.editable ? "true" : "false");
713 var caretColorString = (this.caretColor != null ? this.caretColor.toString () : "");
714 var selectionColorString = (this.selectionColor != null ? this.selectionColor.toString () : "");
715 var selectedTextColorString = (this.selectedTextColor != null ? this.selectedTextColor.toString () : "");
716 var disabledTextColorString = (this.disabledTextColor != null ? this.disabledTextColor.toString () : "");
717 var marginString = (this.margin != null ? this.margin.toString () : "");
718 return Clazz_superCall (this, javax.swing.text.JTextComponent, "paramString", []) + ",caretColor=" + caretColorString + ",disabledTextColor=" + disabledTextColorString + ",editable=" + editableString + ",margin=" + marginString + ",selectedTextColor=" + selectedTextColorString + ",selectionColor=" + selectionColorString;
719 });
720 c$.getFocusedComponent = Clazz_defineMethod (c$, "getFocusedComponent", 
721 function () {
722 return jssun.awt.AppContext.getAppContext ().get (javax.swing.text.JTextComponent.FOCUSED_COMPONENT);
723 });
724 Clazz_defineMethod (c$, "addInputMethodListener", 
725 function (l) {
726 Clazz_superCall (this, javax.swing.text.JTextComponent, "addInputMethodListener", [l]);
727 if (l != null) {
728 }}, "java.awt.event.InputMethodListener");
729 Clazz_defineMethod (c$, "saveComposedText", 
730  function (pos) {
731 if (this.composedTextExists ()) {
732 var start = this.composedTextStart.getOffset ();
733 var len = this.composedTextEnd.getOffset () - this.composedTextStart.getOffset ();
734 if (pos >= start && pos <= start + len) {
735 try {
736 this.getDocument ().remove (start, len);
737 return true;
738 } catch (ble) {
739 if (Clazz_exceptionOf (ble, javax.swing.text.BadLocationException)) {
740 } else {
741 throw ble;
742 }
743 }
744 }}return false;
745 }, "~N");
746 Clazz_defineMethod (c$, "restoreComposedText", 
747  function () {
748 var doc = this.getDocument ();
749 try {
750 doc.insertString (this.caret.getDot (), this.composedTextContent, this.composedTextAttribute);
751 this.composedTextStart = doc.createPosition (this.caret.getDot () - this.composedTextContent.length);
752 this.composedTextEnd = doc.createPosition (this.caret.getDot ());
753 } catch (ble) {
754 if (Clazz_exceptionOf (ble, javax.swing.text.BadLocationException)) {
755 } else {
756 throw ble;
757 }
758 }
759 });
760 Clazz_defineMethod (c$, "composedTextExists", 
761 function () {
762 return (this.composedTextStart != null);
763 });
764 Clazz_pu$h(self.c$);
765 c$ = Clazz_decorateAsClass (function () {
766 this.key = null;
767 this.actionName = null;
768 Clazz_instantialize (this, arguments);
769 }, javax.swing.text.JTextComponent, "KeyBinding");
770 Clazz_makeConstructor (c$, 
771 function (a, b) {
772 this.key = a;
773 this.actionName = b;
774 }, "javax.swing.KeyStroke,~S");
775 c$ = Clazz_p0p ();
776 Clazz_pu$h(self.c$);
777 c$ = Clazz_decorateAsClass (function () {
778 this.nm = null;
779 this.parent = null;
780 this.bindings = null;
781 this.defaultAction = null;
782 Clazz_instantialize (this, arguments);
783 }, javax.swing.text.JTextComponent, "DefaultKeymap", null, javax.swing.text.Keymap);
784 Clazz_makeConstructor (c$, 
785 function (a, b) {
786 this.nm = a;
787 this.parent = b;
788 this.bindings =  new java.util.Hashtable ();
789 }, "~S,javax.swing.text.Keymap");
790 Clazz_defineMethod (c$, "getDefaultAction", 
791 function () {
792 if (this.defaultAction != null) {
793 return this.defaultAction;
794 }return (this.parent != null) ? this.parent.getDefaultAction () : null;
795 });
796 Clazz_overrideMethod (c$, "setDefaultAction", 
797 function (a) {
798 this.defaultAction = a;
799 }, "javax.swing.Action");
800 Clazz_overrideMethod (c$, "getName", 
801 function () {
802 return this.nm;
803 });
804 Clazz_defineMethod (c$, "getAction", 
805 function (a) {
806 var b = this.bindings.get (a);
807 if ((b == null) && (this.parent != null)) {
808 b = this.parent.getAction (a);
809 }return b;
810 }, "javax.swing.KeyStroke");
811 Clazz_overrideMethod (c$, "getBoundKeyStrokes", 
812 function () {
813 var a =  new Array (this.bindings.size ());
814 var b = 0;
815 for (var c = this.bindings.keys (); c.hasMoreElements (); ) {
816 a[b++] = c.nextElement ();
817 }
818 return a;
819 });
820 Clazz_overrideMethod (c$, "getBoundActions", 
821 function () {
822 var a =  new Array (this.bindings.size ());
823 var b = 0;
824 for (var c = this.bindings.elements (); c.hasMoreElements (); ) {
825 a[b++] = c.nextElement ();
826 }
827 return a;
828 });
829 Clazz_defineMethod (c$, "getKeyStrokesForAction", 
830 function (a) {
831 if (a == null) {
832 return null;
833 }var b = null;
834 var c = null;
835 for (var d = this.bindings.keys (); d.hasMoreElements (); ) {
836 var e = d.nextElement ();
837 if (this.bindings.get (e) === a) {
838 if (c == null) {
839 c =  new java.util.Vector ();
840 }c.addElement (e);
841 }}
842 if (this.parent != null) {
843 var e = this.parent.getKeyStrokesForAction (a);
844 if (e != null) {
845 var f = 0;
846 for (var g = e.length - 1; g >= 0; g--) {
847 if (this.isLocallyDefined (e[g])) {
848 e[g] = null;
849 f++;
850 }}
851 if (f > 0 && f < e.length) {
852 if (c == null) {
853 c =  new java.util.Vector ();
854 }for (var h = e.length - 1; h >= 0; h--) {
855 if (e[h] != null) {
856 c.addElement (e[h]);
857 }}
858 } else if (f == 0) {
859 if (c == null) {
860 b = e;
861 } else {
862 b =  new Array (c.size () + e.length);
863 c.copyInto (b);
864 System.arraycopy (e, 0, b, c.size (), e.length);
865 c = null;
866 }}}}if (c != null) {
867 b =  new Array (c.size ());
868 c.copyInto (b);
869 }return b;
870 }, "javax.swing.Action");
871 Clazz_overrideMethod (c$, "isLocallyDefined", 
872 function (a) {
873 return this.bindings.containsKey (a);
874 }, "javax.swing.KeyStroke");
875 Clazz_overrideMethod (c$, "addActionForKeyStroke", 
876 function (a, b) {
877 this.bindings.put (a, b);
878 }, "javax.swing.KeyStroke,javax.swing.Action");
879 Clazz_overrideMethod (c$, "removeKeyStrokeBinding", 
880 function (a) {
881 this.bindings.remove (a);
882 }, "javax.swing.KeyStroke");
883 Clazz_overrideMethod (c$, "removeBindings", 
884 function () {
885 this.bindings.clear ();
886 });
887 Clazz_overrideMethod (c$, "getResolveParent", 
888 function () {
889 return this.parent;
890 });
891 Clazz_overrideMethod (c$, "setResolveParent", 
892 function (a) {
893 this.parent = a;
894 }, "javax.swing.text.Keymap");
895 Clazz_overrideMethod (c$, "toString", 
896 function () {
897 return "Keymap[" + this.nm + "]" + this.bindings;
898 });
899 c$ = Clazz_p0p ();
900 Clazz_pu$h(self.c$);
901 c$ = Clazz_decorateAsClass (function () {
902 this.keymap = null;
903 Clazz_instantialize (this, arguments);
904 }, javax.swing.text.JTextComponent, "KeymapWrapper", javax.swing.InputMap);
905 Clazz_makeConstructor (c$, 
906 function (a) {
907 Clazz_superConstructor (this, javax.swing.text.JTextComponent.KeymapWrapper, []);
908 this.keymap = a;
909 }, "javax.swing.text.Keymap");
910 Clazz_defineMethod (c$, "keys", 
911 function () {
912 var a = Clazz_superCall (this, javax.swing.text.JTextComponent.KeymapWrapper, "keys", []);
913 var b = this.keymap.getBoundKeyStrokes ();
914 var c = (a == null) ? 0 : a.length;
915 var d = (b == null) ? 0 : b.length;
916 if (c == 0) {
917 return b;
918 }if (d == 0) {
919 return a;
920 }var e =  new Array (c + d);
921 System.arraycopy (a, 0, e, 0, c);
922 System.arraycopy (b, 0, e, c, d);
923 return e;
924 });
925 Clazz_defineMethod (c$, "size", 
926 function () {
927 var a = this.keymap.getBoundKeyStrokes ();
928 var b = (a == null) ? 0 : a.length;
929 return Clazz_superCall (this, javax.swing.text.JTextComponent.KeymapWrapper, "size", []) + b;
930 });
931 Clazz_defineMethod (c$, "get", 
932 function (a) {
933 var b = this.keymap.getAction (a);
934 if (b == null) {
935 b = Clazz_superCall (this, javax.swing.text.JTextComponent.KeymapWrapper, "get", [a]);
936 if (b == null && a.getKeyChar () != '\uffff' && this.keymap.getDefaultAction () != null) {
937 b = javax.swing.text.JTextComponent.KeymapWrapper.DefaultActionKey;
938 }}return b;
939 }, "javax.swing.KeyStroke");
940 c$.DefaultActionKey = c$.prototype.DefaultActionKey =  new Clazz._O ();
941 c$ = Clazz_p0p ();
942 Clazz_pu$h(self.c$);
943 c$ = Clazz_decorateAsClass (function () {
944 this.keymap = null;
945 Clazz_instantialize (this, arguments);
946 }, javax.swing.text.JTextComponent, "KeymapActionMap", javax.swing.ActionMap);
947 Clazz_makeConstructor (c$, 
948 function (a) {
949 Clazz_superConstructor (this, javax.swing.text.JTextComponent.KeymapActionMap, []);
950 this.keymap = a;
951 }, "javax.swing.text.Keymap");
952 Clazz_defineMethod (c$, "keys", 
953 function () {
954 var a = Clazz_superCall (this, javax.swing.text.JTextComponent.KeymapActionMap, "keys", []);
955 var b = this.keymap.getBoundActions ();
956 var c = (a == null) ? 0 : a.length;
957 var d = (b == null) ? 0 : b.length;
958 var e = (this.keymap.getDefaultAction () != null);
959 if (e) {
960 d++;
961 }if (c == 0) {
962 if (e) {
963 var f =  new Array (d);
964 if (d > 1) {
965 System.arraycopy (b, 0, f, 0, d - 1);
966 }f[d - 1] = javax.swing.text.JTextComponent.KeymapWrapper.DefaultActionKey;
967 return f;
968 }return b;
969 }if (d == 0) {
970 return a;
971 }var f =  new Array (c + d);
972 System.arraycopy (a, 0, f, 0, c);
973 if (e) {
974 if (d > 1) {
975 System.arraycopy (b, 0, f, c, d - 1);
976 }f[c + d - 1] = javax.swing.text.JTextComponent.KeymapWrapper.DefaultActionKey;
977 } else {
978 System.arraycopy (b, 0, f, c, d);
979 }return f;
980 });
981 Clazz_defineMethod (c$, "size", 
982 function () {
983 var a = this.keymap.getBoundActions ();
984 var b = (a == null) ? 0 : a.length;
985 if (this.keymap.getDefaultAction () != null) {
986 b++;
987 }return Clazz_superCall (this, javax.swing.text.JTextComponent.KeymapActionMap, "size", []) + b;
988 });
989 Clazz_defineMethod (c$, "get", 
990 function (a) {
991 var b = Clazz_superCall (this, javax.swing.text.JTextComponent.KeymapActionMap, "get", [a]);
992 if (b == null) {
993 if (a === javax.swing.text.JTextComponent.KeymapWrapper.DefaultActionKey) {
994 b = this.keymap.getDefaultAction ();
995 } else if (Clazz_instanceOf (a, javax.swing.Action)) {
996 b = a;
997 }}return b;
998 }, "~O");
999 c$ = Clazz_p0p ();
1000 Clazz_pu$h(self.c$);
1001 c$ = Clazz_decorateAsClass (function () {
1002 this.dragActive = false;
1003 this.dot = 0;
1004 this.mark = 0;
1005 Clazz_instantialize (this, arguments);
1006 }, javax.swing.text.JTextComponent, "MutableCaretEvent", javax.swing.event.CaretEvent, [javax.swing.event.ChangeListener, java.awt.event.FocusListener, java.awt.event.MouseListener]);
1007 Clazz_defineMethod (c$, "fire", 
1008 function () {
1009 var a = this.getSource ();
1010 if (a != null) {
1011 var b = a.getCaret ();
1012 if (b != null) {
1013 this.dot = b.getDot ();
1014 this.mark = b.getMark ();
1015 a.fireCaretUpdate (this);
1016 }}});
1017 Clazz_overrideMethod (c$, "toString", 
1018 function () {
1019 return "dot=" + this.dot + "," + "mark=" + this.mark;
1020 });
1021 Clazz_overrideMethod (c$, "getDot", 
1022 function () {
1023 return this.dot;
1024 });
1025 Clazz_overrideMethod (c$, "getMark", 
1026 function () {
1027 return this.mark;
1028 });
1029 Clazz_overrideMethod (c$, "stateChanged", 
1030 function (a) {
1031 if (!this.dragActive) {
1032 this.fire ();
1033 }}, "javax.swing.event.ChangeEvent");
1034 Clazz_overrideMethod (c$, "focusGained", 
1035 function (a) {
1036 jssun.awt.AppContext.getAppContext ().put (javax.swing.text.JTextComponent.FOCUSED_COMPONENT, a.getSource ());
1037 }, "java.awt.event.FocusEvent");
1038 Clazz_overrideMethod (c$, "focusLost", 
1039 function (a) {
1040 }, "java.awt.event.FocusEvent");
1041 Clazz_overrideMethod (c$, "mousePressed", 
1042 function (a) {
1043 this.dragActive = true;
1044 }, "java.awt.event.MouseEvent");
1045 Clazz_overrideMethod (c$, "mouseReleased", 
1046 function (a) {
1047 this.dragActive = false;
1048 this.fire ();
1049 }, "java.awt.event.MouseEvent");
1050 Clazz_overrideMethod (c$, "mouseClicked", 
1051 function (a) {
1052 }, "java.awt.event.MouseEvent");
1053 Clazz_overrideMethod (c$, "mouseEntered", 
1054 function (a) {
1055 }, "java.awt.event.MouseEvent");
1056 Clazz_overrideMethod (c$, "mouseExited", 
1057 function (a) {
1058 }, "java.awt.event.MouseEvent");
1059 c$ = Clazz_p0p ();
1060 Clazz_defineStatics (c$,
1061 "FOCUS_ACCELERATOR_KEY", "focusAcceleratorKey");
1062 c$.KEYMAP_TABLE = c$.prototype.KEYMAP_TABLE =  new Clazz._O ();
1063 c$.FOCUSED_COMPONENT = c$.prototype.FOCUSED_COMPONENT =  new Clazz._O ();
1064 Clazz_defineStatics (c$,
1065 "DEFAULT_KEYMAP", "default");
1066 });
1067 Clazz_declarePackage ("javax.swing.text");
1068 Clazz_declareInterface (javax.swing.text, "Keymap");
1069 Clazz_declarePackage ("javax.swing.text");
1070 Clazz_load (["javax.swing.text.EditorKit", "$.TextAction"], "javax.swing.text.DefaultEditorKit", ["java.io.InputStreamReader", "$.OutputStreamWriter", "java.awt.ComponentOrientation", "$.Point", "$.Rectangle", "javax.swing.UIManager", "javax.swing.text.BadLocationException", "$.DefaultCaret", "$.Position", "$.Segment", "$.Utilities", "swingjs.JSPlainDocument"], function () {
1071 c$ = Clazz_declareType (javax.swing.text, "DefaultEditorKit", javax.swing.text.EditorKit);
1072 Clazz_makeConstructor (c$, 
1073 function () {
1074 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit, []);
1075 });
1076 Clazz_overrideMethod (c$, "getContentType", 
1077 function () {
1078 return "text/plain";
1079 });
1080 Clazz_overrideMethod (c$, "getViewFactory", 
1081 function () {
1082 return null;
1083 });
1084 Clazz_overrideMethod (c$, "getActions", 
1085 function () {
1086 return javax.swing.text.DefaultEditorKit.defaultActions;
1087 });
1088 Clazz_overrideMethod (c$, "createCaret", 
1089 function () {
1090 return null;
1091 });
1092 Clazz_overrideMethod (c$, "createDefaultDocument", 
1093 function () {
1094 return  new swingjs.JSPlainDocument ();
1095 });
1096 Clazz_defineMethod (c$, "read", 
1097 function ($in, doc, pos) {
1098 this.read ( new java.io.InputStreamReader ($in), doc, pos);
1099 }, "java.io.InputStream,javax.swing.text.Document,~N");
1100 Clazz_defineMethod (c$, "write", 
1101 function (out, doc, pos, len) {
1102 var osw =  new java.io.OutputStreamWriter (out);
1103 this.write (osw, doc, pos, len);
1104 osw.flush ();
1105 }, "java.io.OutputStream,javax.swing.text.Document,~N,~N");
1106 Clazz_defineMethod (c$, "getInputAttributes", 
1107 function () {
1108 return null;
1109 });
1110 Clazz_defineMethod (c$, "read", 
1111 function ($in, doc, pos) {
1112 var buff =  Clazz_newCharArray (4096, '\0');
1113 var nch;
1114 var lastWasCR = false;
1115 var isCRLF = false;
1116 var isCR = false;
1117 var last;
1118 var wasEmpty = (doc.getLength () == 0);
1119 var attr = this.getInputAttributes ();
1120 while ((nch = $in.read (buff, 0, buff.length)) != -1) {
1121 last = 0;
1122 for (var counter = 0; counter < nch; counter++) {
1123 switch (buff[counter]) {
1124 case '\r':
1125 if (lastWasCR) {
1126 isCR = true;
1127 if (counter == 0) {
1128 doc.insertString (pos, "\n", attr);
1129 pos++;
1130 } else {
1131 buff[counter - 1] = '\n';
1132 }} else {
1133 lastWasCR = true;
1134 }break;
1135 case '\n':
1136 if (lastWasCR) {
1137 if (counter > (last + 1)) {
1138 doc.insertString (pos,  String.instantialize (buff, last, counter - last - 1), attr);
1139 pos += (counter - last - 1);
1140 }lastWasCR = false;
1141 last = counter;
1142 isCRLF = true;
1143 }break;
1144 default:
1145 if (lastWasCR) {
1146 isCR = true;
1147 if (counter == 0) {
1148 doc.insertString (pos, "\n", attr);
1149 pos++;
1150 } else {
1151 buff[counter - 1] = '\n';
1152 }lastWasCR = false;
1153 }break;
1154 }
1155 }
1156 if (last < nch) {
1157 if (lastWasCR) {
1158 if (last < (nch - 1)) {
1159 doc.insertString (pos,  String.instantialize (buff, last, nch - last - 1), attr);
1160 pos += (nch - last - 1);
1161 }} else {
1162 doc.insertString (pos,  String.instantialize (buff, last, nch - last), attr);
1163 pos += (nch - last);
1164 }}}
1165 if (lastWasCR) {
1166 doc.insertString (pos, "\n", attr);
1167 isCR = true;
1168 }if (wasEmpty) {
1169 if (isCRLF) {
1170 doc.putProperty ("__EndOfLine__", "\r\n");
1171 } else if (isCR) {
1172 doc.putProperty ("__EndOfLine__", "\r");
1173 } else {
1174 doc.putProperty ("__EndOfLine__", "\n");
1175 }}}, "java.io.Reader,javax.swing.text.Document,~N");
1176 Clazz_defineMethod (c$, "write", 
1177 function (out, doc, pos, len) {
1178 if ((pos < 0) || ((pos + len) > doc.getLength ())) {
1179 throw  new javax.swing.text.BadLocationException ("DefaultEditorKit.write", pos);
1180 }var data =  new javax.swing.text.Segment ();
1181 var nleft = len;
1182 var offs = pos;
1183 var endOfLineProperty = doc.getProperty ("__EndOfLine__");
1184 if (endOfLineProperty == null) {
1185 try {
1186 endOfLineProperty = System.getProperty ("line.separator");
1187 } catch (se) {
1188 if (Clazz_exceptionOf (se, SecurityException)) {
1189 } else {
1190 throw se;
1191 }
1192 }
1193 }var endOfLine;
1194 if (Clazz_instanceOf (endOfLineProperty, String)) {
1195 endOfLine = endOfLineProperty;
1196 } else {
1197 endOfLine = null;
1198 }if (endOfLineProperty != null && !endOfLine.equals ("\n")) {
1199 while (nleft > 0) {
1200 var n = Math.min (nleft, 4096);
1201 doc.getText (offs, n, data);
1202 var last = data.offset;
1203 var array = data.array;
1204 var maxCounter = last + data.count;
1205 for (var counter = last; counter < maxCounter; counter++) {
1206 if (array[counter] == '\n') {
1207 if (counter > last) {
1208 out.write (array, last, counter - last);
1209 }out.write (endOfLine);
1210 last = counter + 1;
1211 }}
1212 if (maxCounter > last) {
1213 out.write (array, last, maxCounter - last);
1214 }offs += n;
1215 nleft -= n;
1216 }
1217 } else {
1218 while (nleft > 0) {
1219 var n = Math.min (nleft, 4096);
1220 doc.getText (offs, n, data);
1221 out.write (data.array, data.offset, data.count);
1222 offs += n;
1223 nleft -= n;
1224 }
1225 }out.flush ();
1226 }, "java.io.Writer,javax.swing.text.Document,~N,~N");
1227 Clazz_pu$h(self.c$);
1228 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "DefaultKeyTypedAction", javax.swing.text.TextAction);
1229 Clazz_makeConstructor (c$, 
1230 function () {
1231 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.DefaultKeyTypedAction, ["default-typed"]);
1232 });
1233 Clazz_overrideMethod (c$, "actionPerformed", 
1234 function (a) {
1235 var b = this.getTextComponent (a);
1236 if ((b != null) && (a != null)) {
1237 if ((!b.isEditable ()) || (!b.isEnabled ())) {
1238 return;
1239 }var c = a.getActionCommand ();
1240 var d = a.getModifiers ();
1241 if ((c != null) && (c.length > 0) && ((d & 8) == (d & 2))) {
1242 var e = c.charAt (0);
1243 if ((e.charCodeAt (0) >= 0x20) && (e.charCodeAt (0) != 0x7F)) {
1244 b.replaceSelection (c);
1245 }}}}, "java.awt.event.ActionEvent");
1246 c$ = Clazz_p0p ();
1247 Clazz_pu$h(self.c$);
1248 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "InsertContentAction", javax.swing.text.TextAction);
1249 Clazz_makeConstructor (c$, 
1250 function () {
1251 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.InsertContentAction, ["insert-content"]);
1252 });
1253 Clazz_overrideMethod (c$, "actionPerformed", 
1254 function (a) {
1255 var b = this.getTextComponent (a);
1256 if ((b != null) && (a != null)) {
1257 if ((!b.isEditable ()) || (!b.isEnabled ())) {
1258 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1259 return;
1260 }var c = a.getActionCommand ();
1261 if (c != null) {
1262 b.replaceSelection (c);
1263 } else {
1264 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1265 }}}, "java.awt.event.ActionEvent");
1266 c$ = Clazz_p0p ();
1267 Clazz_pu$h(self.c$);
1268 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "InsertBreakAction", javax.swing.text.TextAction);
1269 Clazz_makeConstructor (c$, 
1270 function () {
1271 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.InsertBreakAction, ["insert-break"]);
1272 });
1273 Clazz_overrideMethod (c$, "actionPerformed", 
1274 function (a) {
1275 var b = this.getTextComponent (a);
1276 if (b != null) {
1277 if ((!b.isEditable ()) || (!b.isEnabled ())) {
1278 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1279 return;
1280 }b.replaceSelection ("\n");
1281 }}, "java.awt.event.ActionEvent");
1282 c$ = Clazz_p0p ();
1283 Clazz_pu$h(self.c$);
1284 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "InsertTabAction", javax.swing.text.TextAction);
1285 Clazz_makeConstructor (c$, 
1286 function () {
1287 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.InsertTabAction, ["insert-tab"]);
1288 });
1289 Clazz_overrideMethod (c$, "actionPerformed", 
1290 function (a) {
1291 var b = this.getTextComponent (a);
1292 if (b != null) {
1293 if ((!b.isEditable ()) || (!b.isEnabled ())) {
1294 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1295 return;
1296 }b.replaceSelection ("\t");
1297 }}, "java.awt.event.ActionEvent");
1298 c$ = Clazz_p0p ();
1299 Clazz_pu$h(self.c$);
1300 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "DeletePrevCharAction", javax.swing.text.TextAction);
1301 Clazz_makeConstructor (c$, 
1302 function () {
1303 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.DeletePrevCharAction, ["delete-previous"]);
1304 });
1305 Clazz_overrideMethod (c$, "actionPerformed", 
1306 function (a) {
1307 var b = this.getTextComponent (a);
1308 var c = true;
1309 if ((b != null) && (b.isEditable ())) {
1310 try {
1311 var d = b.getDocument ();
1312 var e = b.getCaret ();
1313 var f = e.getDot ();
1314 var g = e.getMark ();
1315 if (f != g) {
1316 d.remove (Math.min (f, g), Math.abs (f - g));
1317 c = false;
1318 } else if (f > 0) {
1319 var h = 1;
1320 if (f > 1) {
1321 var i = d.getText (f - 2, 2);
1322 var j = i.charAt (0);
1323 var k = i.charAt (1);
1324 if (j >= '\uD800' && j <= '\uDBFF' && k >= '\uDC00' && k <= '\uDFFF') {
1325 h = 2;
1326 }}d.remove (f - h, h);
1327 c = false;
1328 }} catch (bl) {
1329 if (Clazz_exceptionOf (bl, javax.swing.text.BadLocationException)) {
1330 } else {
1331 throw bl;
1332 }
1333 }
1334 }if (c) {
1335 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1336 }}, "java.awt.event.ActionEvent");
1337 c$ = Clazz_p0p ();
1338 Clazz_pu$h(self.c$);
1339 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "DeleteNextCharAction", javax.swing.text.TextAction);
1340 Clazz_makeConstructor (c$, 
1341 function () {
1342 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.DeleteNextCharAction, ["delete-next"]);
1343 });
1344 Clazz_overrideMethod (c$, "actionPerformed", 
1345 function (a) {
1346 var b = this.getTextComponent (a);
1347 var c = true;
1348 if ((b != null) && (b.isEditable ())) {
1349 try {
1350 var d = b.getDocument ();
1351 var e = b.getCaret ();
1352 var f = e.getDot ();
1353 var g = e.getMark ();
1354 if (f != g) {
1355 d.remove (Math.min (f, g), Math.abs (f - g));
1356 c = false;
1357 } else if (f < d.getLength ()) {
1358 var h = 1;
1359 if (f < d.getLength () - 1) {
1360 var i = d.getText (f, 2);
1361 var j = i.charAt (0);
1362 var k = i.charAt (1);
1363 if (j >= '\uD800' && j <= '\uDBFF' && k >= '\uDC00' && k <= '\uDFFF') {
1364 h = 2;
1365 }}d.remove (f, h);
1366 c = false;
1367 }} catch (bl) {
1368 if (Clazz_exceptionOf (bl, javax.swing.text.BadLocationException)) {
1369 } else {
1370 throw bl;
1371 }
1372 }
1373 }if (c) {
1374 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1375 }}, "java.awt.event.ActionEvent");
1376 c$ = Clazz_p0p ();
1377 Clazz_pu$h(self.c$);
1378 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "ReadOnlyAction", javax.swing.text.TextAction);
1379 Clazz_makeConstructor (c$, 
1380 function () {
1381 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.ReadOnlyAction, ["set-read-only"]);
1382 });
1383 Clazz_overrideMethod (c$, "actionPerformed", 
1384 function (a) {
1385 var b = this.getTextComponent (a);
1386 if (b != null) {
1387 b.setEditable (false);
1388 }}, "java.awt.event.ActionEvent");
1389 c$ = Clazz_p0p ();
1390 Clazz_pu$h(self.c$);
1391 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "WritableAction", javax.swing.text.TextAction);
1392 Clazz_makeConstructor (c$, 
1393 function () {
1394 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.WritableAction, ["set-writable"]);
1395 });
1396 Clazz_overrideMethod (c$, "actionPerformed", 
1397 function (a) {
1398 var b = this.getTextComponent (a);
1399 if (b != null) {
1400 b.setEditable (true);
1401 }}, "java.awt.event.ActionEvent");
1402 c$ = Clazz_p0p ();
1403 Clazz_pu$h(self.c$);
1404 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "CutAction", javax.swing.text.TextAction);
1405 Clazz_makeConstructor (c$, 
1406 function () {
1407 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.CutAction, ["cut-to-clipboard"]);
1408 });
1409 Clazz_overrideMethod (c$, "actionPerformed", 
1410 function (a) {
1411 var b = this.getTextComponent (a);
1412 if (b != null) {
1413 b.cut ();
1414 }}, "java.awt.event.ActionEvent");
1415 c$ = Clazz_p0p ();
1416 Clazz_pu$h(self.c$);
1417 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "CopyAction", javax.swing.text.TextAction);
1418 Clazz_makeConstructor (c$, 
1419 function () {
1420 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.CopyAction, ["copy-to-clipboard"]);
1421 });
1422 Clazz_overrideMethod (c$, "actionPerformed", 
1423 function (a) {
1424 var b = this.getTextComponent (a);
1425 if (b != null) {
1426 b.copy ();
1427 }}, "java.awt.event.ActionEvent");
1428 c$ = Clazz_p0p ();
1429 Clazz_pu$h(self.c$);
1430 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "PasteAction", javax.swing.text.TextAction);
1431 Clazz_makeConstructor (c$, 
1432 function () {
1433 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.PasteAction, ["paste-from-clipboard"]);
1434 });
1435 Clazz_overrideMethod (c$, "actionPerformed", 
1436 function (a) {
1437 var b = this.getTextComponent (a);
1438 if (b != null) {
1439 b.paste ();
1440 }}, "java.awt.event.ActionEvent");
1441 c$ = Clazz_p0p ();
1442 Clazz_pu$h(self.c$);
1443 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "BeepAction", javax.swing.text.TextAction);
1444 Clazz_makeConstructor (c$, 
1445 function () {
1446 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.BeepAction, ["beep"]);
1447 });
1448 Clazz_overrideMethod (c$, "actionPerformed", 
1449 function (a) {
1450 var b = this.getTextComponent (a);
1451 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1452 }, "java.awt.event.ActionEvent");
1453 c$ = Clazz_p0p ();
1454 Clazz_pu$h(self.c$);
1455 c$ = Clazz_decorateAsClass (function () {
1456 this.select = false;
1457 this.direction = 0;
1458 Clazz_instantialize (this, arguments);
1459 }, javax.swing.text.DefaultEditorKit, "VerticalPageAction", javax.swing.text.TextAction);
1460 Clazz_makeConstructor (c$, 
1461 function (a, b, c) {
1462 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.VerticalPageAction, [a]);
1463 this.select = c;
1464 this.direction = b;
1465 }, "~S,~N,~B");
1466 Clazz_overrideMethod (c$, "actionPerformed", 
1467 function (a) {
1468 var b = this.getTextComponent (a);
1469 if (b != null) {
1470 var c = b.getVisibleRect ();
1471 var d =  new java.awt.Rectangle (c);
1472 var e = b.getCaretPosition ();
1473 var f = this.direction * b.getScrollableBlockIncrement (c, 1, this.direction);
1474 var g = c.y;
1475 var h = b.getCaret ();
1476 var i = h.getMagicCaretPosition ();
1477 if (e != -1) {
1478 try {
1479 var j = b.modelToView (e);
1480 var k = (i != null) ? i.x : j.x;
1481 var l = j.height;
1482 if (l > 0) {
1483 f = Clazz_doubleToInt (f / l) * l;
1484 }d.y = this.constrainY (b, g + f, c.height);
1485 var m;
1486 if (c.contains (j.x, j.y)) {
1487 m = b.viewToModel ( new java.awt.Point (k, this.constrainY (b, j.y + f, 0)));
1488 } else {
1489 if (this.direction == -1) {
1490 m = b.viewToModel ( new java.awt.Point (k, d.y));
1491 } else {
1492 m = b.viewToModel ( new java.awt.Point (k, d.y + c.height));
1493 }}m = this.constrainOffset (b, m);
1494 if (m != e) {
1495 this.adjustScrollIfNecessary (b, d, g, m);
1496 if (this.select) {
1497 b.moveCaretPosition (m);
1498 } else {
1499 b.setCaretPosition (m);
1500 }}} catch (ble) {
1501 if (Clazz_exceptionOf (ble, javax.swing.text.BadLocationException)) {
1502 } else {
1503 throw ble;
1504 }
1505 }
1506 } else {
1507 d.y = this.constrainY (b, g + f, c.height);
1508 }if (i != null) {
1509 h.setMagicCaretPosition (i);
1510 }b.scrollRectToVisible (d);
1511 }}, "java.awt.event.ActionEvent");
1512 Clazz_defineMethod (c$, "constrainY", 
1513  function (a, b, c) {
1514 if (b < 0) {
1515 b = 0;
1516 } else if (b + c > a.getHeight ()) {
1517 b = Math.max (0, a.getHeight () - c);
1518 }return b;
1519 }, "javax.swing.text.JTextComponent,~N,~N");
1520 Clazz_defineMethod (c$, "constrainOffset", 
1521  function (a, b) {
1522 var c = a.getDocument ();
1523 if ((b != 0) && (b > c.getLength ())) {
1524 b = c.getLength ();
1525 }if (b < 0) {
1526 b = 0;
1527 }return b;
1528 }, "javax.swing.text.JTextComponent,~N");
1529 Clazz_defineMethod (c$, "adjustScrollIfNecessary", 
1530  function (a, b, c, d) {
1531 try {
1532 var e = a.modelToView (d);
1533 if (e.y < b.y || (e.y > (b.y + b.height)) || (e.y + e.height) > (b.y + b.height)) {
1534 var f;
1535 if (e.y < b.y) {
1536 f = e.y;
1537 } else {
1538 f = e.y + e.height - b.height;
1539 }if ((this.direction == -1 && f < c) || (this.direction == 1 && f > c)) {
1540 b.y = f;
1541 }}} catch (ble) {
1542 if (Clazz_exceptionOf (ble, javax.swing.text.BadLocationException)) {
1543 } else {
1544 throw ble;
1545 }
1546 }
1547 }, "javax.swing.text.JTextComponent,java.awt.Rectangle,~N,~N");
1548 c$ = Clazz_p0p ();
1549 Clazz_pu$h(self.c$);
1550 c$ = Clazz_decorateAsClass (function () {
1551 this.select = false;
1552 this.left = false;
1553 Clazz_instantialize (this, arguments);
1554 }, javax.swing.text.DefaultEditorKit, "PageAction", javax.swing.text.TextAction);
1555 Clazz_makeConstructor (c$, 
1556 function (a, b, c) {
1557 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.PageAction, [a]);
1558 this.select = c;
1559 this.left = b;
1560 }, "~S,~B,~B");
1561 Clazz_overrideMethod (c$, "actionPerformed", 
1562 function (a) {
1563 var b = this.getTextComponent (a);
1564 if (b != null) {
1565 var c;
1566 var d =  new java.awt.Rectangle ();
1567 b.computeVisibleRect (d);
1568 if (this.left) {
1569 d.x = Math.max (0, d.x - d.width);
1570 } else {
1571 d.x += d.width;
1572 }c = b.getCaretPosition ();
1573 if (c != -1) {
1574 if (this.left) {
1575 c = b.viewToModel ( new java.awt.Point (d.x, d.y));
1576 } else {
1577 c = b.viewToModel ( new java.awt.Point (d.x + d.width - 1, d.y + d.height - 1));
1578 }var e = b.getDocument ();
1579 if ((c != 0) && (c > (e.getLength () - 1))) {
1580 c = e.getLength () - 1;
1581 } else if (c < 0) {
1582 c = 0;
1583 }if (this.select) b.moveCaretPosition (c);
1584  else b.setCaretPosition (c);
1585 }}}, "java.awt.event.ActionEvent");
1586 c$ = Clazz_p0p ();
1587 Clazz_pu$h(self.c$);
1588 c$ = Clazz_decorateAsClass (function () {
1589 this.select = false;
1590 this.direction = 0;
1591 Clazz_instantialize (this, arguments);
1592 }, javax.swing.text.DefaultEditorKit, "NextVisualPositionAction", javax.swing.text.TextAction);
1593 Clazz_makeConstructor (c$, 
1594 function (a, b, c) {
1595 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.NextVisualPositionAction, [a]);
1596 this.select = b;
1597 this.direction = c;
1598 }, "~S,~B,~N");
1599 Clazz_overrideMethod (c$, "actionPerformed", 
1600 function (a) {
1601 var b = this.getTextComponent (a);
1602 if (b != null) {
1603 var c = b.getCaret ();
1604 var d = (Clazz_instanceOf (c, javax.swing.text.DefaultCaret)) ? c : null;
1605 var e = c.getDot ();
1606 var f =  new Array (1);
1607 var g = c.getMagicCaretPosition ();
1608 try {
1609 if (g == null && (this.direction == 1 || this.direction == 5)) {
1610 var h = (d != null) ? b.getUI ().modelToView (b, e, d.getDotBias ()) : b.modelToView (e);
1611 g =  new java.awt.Point (h.x, h.y);
1612 }var h = b.getNavigationFilter ();
1613 if (h != null) {
1614 e = h.getNextVisualPositionFrom (b, e, (d != null) ? d.getDotBias () : javax.swing.text.Position.Bias.Forward, this.direction, f);
1615 } else {
1616 e = b.getUI ().getNextVisualPositionFrom (b, e, (d != null) ? d.getDotBias () : javax.swing.text.Position.Bias.Forward, this.direction, f);
1617 }if (f[0] == null) {
1618 f[0] = javax.swing.text.Position.Bias.Forward;
1619 }if (d != null) {
1620 if (this.select) {
1621 d.moveDot (e, f[0]);
1622 } else {
1623 d.setDot (e, f[0]);
1624 }} else {
1625 if (this.select) {
1626 c.moveDot (e);
1627 } else {
1628 c.setDot (e);
1629 }}if (g != null && (this.direction == 1 || this.direction == 5)) {
1630 b.getCaret ().setMagicCaretPosition (g);
1631 }} catch (ex) {
1632 if (Clazz_exceptionOf (ex, javax.swing.text.BadLocationException)) {
1633 } else {
1634 throw ex;
1635 }
1636 }
1637 }}, "java.awt.event.ActionEvent");
1638 c$ = Clazz_p0p ();
1639 Clazz_pu$h(self.c$);
1640 c$ = Clazz_decorateAsClass (function () {
1641 this.select = false;
1642 Clazz_instantialize (this, arguments);
1643 }, javax.swing.text.DefaultEditorKit, "BeginWordAction", javax.swing.text.TextAction);
1644 Clazz_makeConstructor (c$, 
1645 function (a, b) {
1646 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.BeginWordAction, [a]);
1647 this.select = b;
1648 }, "~S,~B");
1649 Clazz_overrideMethod (c$, "actionPerformed", 
1650 function (a) {
1651 var b = this.getTextComponent (a);
1652 if (b != null) {
1653 try {
1654 var c = b.getCaretPosition ();
1655 var d = javax.swing.text.Utilities.getWordStart (b, c);
1656 if (this.select) {
1657 b.moveCaretPosition (d);
1658 } else {
1659 b.setCaretPosition (d);
1660 }} catch (bl) {
1661 if (Clazz_exceptionOf (bl, javax.swing.text.BadLocationException)) {
1662 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1663 } else {
1664 throw bl;
1665 }
1666 }
1667 }}, "java.awt.event.ActionEvent");
1668 c$ = Clazz_p0p ();
1669 Clazz_pu$h(self.c$);
1670 c$ = Clazz_decorateAsClass (function () {
1671 this.select = false;
1672 Clazz_instantialize (this, arguments);
1673 }, javax.swing.text.DefaultEditorKit, "EndWordAction", javax.swing.text.TextAction);
1674 Clazz_makeConstructor (c$, 
1675 function (a, b) {
1676 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.EndWordAction, [a]);
1677 this.select = b;
1678 }, "~S,~B");
1679 Clazz_overrideMethod (c$, "actionPerformed", 
1680 function (a) {
1681 var b = this.getTextComponent (a);
1682 if (b != null) {
1683 try {
1684 var c = b.getCaretPosition ();
1685 var d = javax.swing.text.Utilities.getWordEnd (b, c);
1686 if (this.select) {
1687 b.moveCaretPosition (d);
1688 } else {
1689 b.setCaretPosition (d);
1690 }} catch (bl) {
1691 if (Clazz_exceptionOf (bl, javax.swing.text.BadLocationException)) {
1692 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1693 } else {
1694 throw bl;
1695 }
1696 }
1697 }}, "java.awt.event.ActionEvent");
1698 c$ = Clazz_p0p ();
1699 Clazz_pu$h(self.c$);
1700 c$ = Clazz_decorateAsClass (function () {
1701 this.select = false;
1702 Clazz_instantialize (this, arguments);
1703 }, javax.swing.text.DefaultEditorKit, "PreviousWordAction", javax.swing.text.TextAction);
1704 Clazz_makeConstructor (c$, 
1705 function (a, b) {
1706 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.PreviousWordAction, [a]);
1707 this.select = b;
1708 }, "~S,~B");
1709 Clazz_overrideMethod (c$, "actionPerformed", 
1710 function (a) {
1711 var b = this.getTextComponent (a);
1712 if (b != null) {
1713 var c = b.getCaretPosition ();
1714 var d = false;
1715 try {
1716 var e = javax.swing.text.Utilities.getParagraphElement (b, c);
1717 c = javax.swing.text.Utilities.getPreviousWord (b, c);
1718 if (c < e.getStartOffset ()) {
1719 c = javax.swing.text.Utilities.getParagraphElement (b, c).getEndOffset () - 1;
1720 }} catch (bl) {
1721 if (Clazz_exceptionOf (bl, javax.swing.text.BadLocationException)) {
1722 if (c != 0) {
1723 c = 0;
1724 } else {
1725 d = true;
1726 }} else {
1727 throw bl;
1728 }
1729 }
1730 if (!d) {
1731 if (this.select) {
1732 b.moveCaretPosition (c);
1733 } else {
1734 b.setCaretPosition (c);
1735 }} else {
1736 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1737 }}}, "java.awt.event.ActionEvent");
1738 c$ = Clazz_p0p ();
1739 Clazz_pu$h(self.c$);
1740 c$ = Clazz_decorateAsClass (function () {
1741 this.select = false;
1742 Clazz_instantialize (this, arguments);
1743 }, javax.swing.text.DefaultEditorKit, "NextWordAction", javax.swing.text.TextAction);
1744 Clazz_makeConstructor (c$, 
1745 function (a, b) {
1746 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.NextWordAction, [a]);
1747 this.select = b;
1748 }, "~S,~B");
1749 Clazz_overrideMethod (c$, "actionPerformed", 
1750 function (a) {
1751 var b = this.getTextComponent (a);
1752 if (b != null) {
1753 var c = b.getCaretPosition ();
1754 var d = false;
1755 var e = c;
1756 var f = javax.swing.text.Utilities.getParagraphElement (b, c);
1757 try {
1758 c = javax.swing.text.Utilities.getNextWord (b, c);
1759 if (c >= f.getEndOffset () && e != f.getEndOffset () - 1) {
1760 c = f.getEndOffset () - 1;
1761 }} catch (bl) {
1762 if (Clazz_exceptionOf (bl, javax.swing.text.BadLocationException)) {
1763 var g = b.getDocument ().getLength ();
1764 if (c != g) {
1765 if (e != f.getEndOffset () - 1) {
1766 c = f.getEndOffset () - 1;
1767 } else {
1768 c = g;
1769 }} else {
1770 d = true;
1771 }} else {
1772 throw bl;
1773 }
1774 }
1775 if (!d) {
1776 if (this.select) {
1777 b.moveCaretPosition (c);
1778 } else {
1779 b.setCaretPosition (c);
1780 }} else {
1781 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1782 }}}, "java.awt.event.ActionEvent");
1783 c$ = Clazz_p0p ();
1784 Clazz_pu$h(self.c$);
1785 c$ = Clazz_decorateAsClass (function () {
1786 this.select = false;
1787 Clazz_instantialize (this, arguments);
1788 }, javax.swing.text.DefaultEditorKit, "BeginLineAction", javax.swing.text.TextAction);
1789 Clazz_makeConstructor (c$, 
1790 function (a, b) {
1791 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.BeginLineAction, [a]);
1792 this.select = b;
1793 }, "~S,~B");
1794 Clazz_overrideMethod (c$, "actionPerformed", 
1795 function (a) {
1796 var b = this.getTextComponent (a);
1797 if (b != null) {
1798 try {
1799 var c = b.getCaretPosition ();
1800 var d = javax.swing.text.Utilities.getRowStart (b, c);
1801 if (this.select) {
1802 b.moveCaretPosition (d);
1803 } else {
1804 b.setCaretPosition (d);
1805 }} catch (bl) {
1806 if (Clazz_exceptionOf (bl, javax.swing.text.BadLocationException)) {
1807 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1808 } else {
1809 throw bl;
1810 }
1811 }
1812 }}, "java.awt.event.ActionEvent");
1813 c$ = Clazz_p0p ();
1814 Clazz_pu$h(self.c$);
1815 c$ = Clazz_decorateAsClass (function () {
1816 this.select = false;
1817 Clazz_instantialize (this, arguments);
1818 }, javax.swing.text.DefaultEditorKit, "EndLineAction", javax.swing.text.TextAction);
1819 Clazz_makeConstructor (c$, 
1820 function (a, b) {
1821 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.EndLineAction, [a]);
1822 this.select = b;
1823 }, "~S,~B");
1824 Clazz_overrideMethod (c$, "actionPerformed", 
1825 function (a) {
1826 var b = this.getTextComponent (a);
1827 if (b != null) {
1828 try {
1829 var c = b.getCaretPosition ();
1830 var d = javax.swing.text.Utilities.getRowEnd (b, c);
1831 if (this.select) {
1832 b.moveCaretPosition (d);
1833 } else {
1834 b.setCaretPosition (d);
1835 }} catch (bl) {
1836 if (Clazz_exceptionOf (bl, javax.swing.text.BadLocationException)) {
1837 javax.swing.UIManager.getLookAndFeel ().provideErrorFeedback (b);
1838 } else {
1839 throw bl;
1840 }
1841 }
1842 }}, "java.awt.event.ActionEvent");
1843 c$ = Clazz_p0p ();
1844 Clazz_pu$h(self.c$);
1845 c$ = Clazz_decorateAsClass (function () {
1846 this.select = false;
1847 Clazz_instantialize (this, arguments);
1848 }, javax.swing.text.DefaultEditorKit, "BeginParagraphAction", javax.swing.text.TextAction);
1849 Clazz_makeConstructor (c$, 
1850 function (a, b) {
1851 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.BeginParagraphAction, [a]);
1852 this.select = b;
1853 }, "~S,~B");
1854 Clazz_overrideMethod (c$, "actionPerformed", 
1855 function (a) {
1856 var b = this.getTextComponent (a);
1857 if (b != null) {
1858 var c = b.getCaretPosition ();
1859 var d = javax.swing.text.Utilities.getParagraphElement (b, c);
1860 c = d.getStartOffset ();
1861 if (this.select) {
1862 b.moveCaretPosition (c);
1863 } else {
1864 b.setCaretPosition (c);
1865 }}}, "java.awt.event.ActionEvent");
1866 c$ = Clazz_p0p ();
1867 Clazz_pu$h(self.c$);
1868 c$ = Clazz_decorateAsClass (function () {
1869 this.select = false;
1870 Clazz_instantialize (this, arguments);
1871 }, javax.swing.text.DefaultEditorKit, "EndParagraphAction", javax.swing.text.TextAction);
1872 Clazz_makeConstructor (c$, 
1873 function (a, b) {
1874 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.EndParagraphAction, [a]);
1875 this.select = b;
1876 }, "~S,~B");
1877 Clazz_overrideMethod (c$, "actionPerformed", 
1878 function (a) {
1879 var b = this.getTextComponent (a);
1880 if (b != null) {
1881 var c = b.getCaretPosition ();
1882 var d = javax.swing.text.Utilities.getParagraphElement (b, c);
1883 c = Math.min (b.getDocument ().getLength (), d.getEndOffset ());
1884 if (this.select) {
1885 b.moveCaretPosition (c);
1886 } else {
1887 b.setCaretPosition (c);
1888 }}}, "java.awt.event.ActionEvent");
1889 c$ = Clazz_p0p ();
1890 Clazz_pu$h(self.c$);
1891 c$ = Clazz_decorateAsClass (function () {
1892 this.select = false;
1893 Clazz_instantialize (this, arguments);
1894 }, javax.swing.text.DefaultEditorKit, "BeginAction", javax.swing.text.TextAction);
1895 Clazz_makeConstructor (c$, 
1896 function (a, b) {
1897 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.BeginAction, [a]);
1898 this.select = b;
1899 }, "~S,~B");
1900 Clazz_overrideMethod (c$, "actionPerformed", 
1901 function (a) {
1902 var b = this.getTextComponent (a);
1903 if (b != null) {
1904 if (this.select) {
1905 b.moveCaretPosition (0);
1906 } else {
1907 b.setCaretPosition (0);
1908 }}}, "java.awt.event.ActionEvent");
1909 c$ = Clazz_p0p ();
1910 Clazz_pu$h(self.c$);
1911 c$ = Clazz_decorateAsClass (function () {
1912 this.select = false;
1913 Clazz_instantialize (this, arguments);
1914 }, javax.swing.text.DefaultEditorKit, "EndAction", javax.swing.text.TextAction);
1915 Clazz_makeConstructor (c$, 
1916 function (a, b) {
1917 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.EndAction, [a]);
1918 this.select = b;
1919 }, "~S,~B");
1920 Clazz_overrideMethod (c$, "actionPerformed", 
1921 function (a) {
1922 var b = this.getTextComponent (a);
1923 if (b != null) {
1924 var c = b.getDocument ();
1925 var d = c.getLength ();
1926 if (this.select) {
1927 b.moveCaretPosition (d);
1928 } else {
1929 b.setCaretPosition (d);
1930 }}}, "java.awt.event.ActionEvent");
1931 c$ = Clazz_p0p ();
1932 Clazz_pu$h(self.c$);
1933 c$ = Clazz_decorateAsClass (function () {
1934 this.start = null;
1935 this.end = null;
1936 Clazz_instantialize (this, arguments);
1937 }, javax.swing.text.DefaultEditorKit, "SelectWordAction", javax.swing.text.TextAction);
1938 Clazz_makeConstructor (c$, 
1939 function () {
1940 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.SelectWordAction, ["select-word"]);
1941 this.start =  new javax.swing.text.DefaultEditorKit.BeginWordAction ("pigdog", false);
1942 this.end =  new javax.swing.text.DefaultEditorKit.EndWordAction ("pigdog", true);
1943 });
1944 Clazz_defineMethod (c$, "actionPerformed", 
1945 function (a) {
1946 this.start.actionPerformed (a);
1947 this.end.actionPerformed (a);
1948 }, "java.awt.event.ActionEvent");
1949 c$ = Clazz_p0p ();
1950 Clazz_pu$h(self.c$);
1951 c$ = Clazz_decorateAsClass (function () {
1952 this.start = null;
1953 this.end = null;
1954 Clazz_instantialize (this, arguments);
1955 }, javax.swing.text.DefaultEditorKit, "SelectLineAction", javax.swing.text.TextAction);
1956 Clazz_makeConstructor (c$, 
1957 function () {
1958 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.SelectLineAction, ["select-line"]);
1959 this.start =  new javax.swing.text.DefaultEditorKit.BeginLineAction ("pigdog", false);
1960 this.end =  new javax.swing.text.DefaultEditorKit.EndLineAction ("pigdog", true);
1961 });
1962 Clazz_defineMethod (c$, "actionPerformed", 
1963 function (a) {
1964 this.start.actionPerformed (a);
1965 this.end.actionPerformed (a);
1966 }, "java.awt.event.ActionEvent");
1967 c$ = Clazz_p0p ();
1968 Clazz_pu$h(self.c$);
1969 c$ = Clazz_decorateAsClass (function () {
1970 this.start = null;
1971 this.end = null;
1972 Clazz_instantialize (this, arguments);
1973 }, javax.swing.text.DefaultEditorKit, "SelectParagraphAction", javax.swing.text.TextAction);
1974 Clazz_makeConstructor (c$, 
1975 function () {
1976 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.SelectParagraphAction, ["select-paragraph"]);
1977 this.start =  new javax.swing.text.DefaultEditorKit.BeginParagraphAction ("pigdog", false);
1978 this.end =  new javax.swing.text.DefaultEditorKit.EndParagraphAction ("pigdog", true);
1979 });
1980 Clazz_defineMethod (c$, "actionPerformed", 
1981 function (a) {
1982 this.start.actionPerformed (a);
1983 this.end.actionPerformed (a);
1984 }, "java.awt.event.ActionEvent");
1985 c$ = Clazz_p0p ();
1986 Clazz_pu$h(self.c$);
1987 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "SelectAllAction", javax.swing.text.TextAction);
1988 Clazz_makeConstructor (c$, 
1989 function () {
1990 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.SelectAllAction, ["select-all"]);
1991 });
1992 Clazz_overrideMethod (c$, "actionPerformed", 
1993 function (a) {
1994 var b = this.getTextComponent (a);
1995 if (b != null) {
1996 var c = b.getDocument ();
1997 b.setCaretPosition (0);
1998 b.moveCaretPosition (c.getLength ());
1999 }}, "java.awt.event.ActionEvent");
2000 c$ = Clazz_p0p ();
2001 Clazz_pu$h(self.c$);
2002 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "UnselectAction", javax.swing.text.TextAction);
2003 Clazz_makeConstructor (c$, 
2004 function () {
2005 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.UnselectAction, ["unselect"]);
2006 });
2007 Clazz_overrideMethod (c$, "actionPerformed", 
2008 function (a) {
2009 var b = this.getTextComponent (a);
2010 if (b != null) {
2011 b.setCaretPosition (b.getCaretPosition ());
2012 }}, "java.awt.event.ActionEvent");
2013 c$ = Clazz_p0p ();
2014 Clazz_pu$h(self.c$);
2015 c$ = Clazz_declareType (javax.swing.text.DefaultEditorKit, "ToggleComponentOrientationAction", javax.swing.text.TextAction);
2016 Clazz_makeConstructor (c$, 
2017 function () {
2018 Clazz_superConstructor (this, javax.swing.text.DefaultEditorKit.ToggleComponentOrientationAction, ["toggle-componentOrientation"]);
2019 });
2020 Clazz_overrideMethod (c$, "actionPerformed", 
2021 function (a) {
2022 var b = this.getTextComponent (a);
2023 if (b != null) {
2024 var c = b.getComponentOrientation ();
2025 var d;
2026 if (c === java.awt.ComponentOrientation.RIGHT_TO_LEFT) d = java.awt.ComponentOrientation.LEFT_TO_RIGHT;
2027  else d = java.awt.ComponentOrientation.RIGHT_TO_LEFT;
2028 b.setComponentOrientation (d);
2029 b.repaint ();
2030 }}, "java.awt.event.ActionEvent");
2031 c$ = Clazz_p0p ();
2032 Clazz_defineStatics (c$,
2033 "EndOfLineStringProperty", "__EndOfLine__",
2034 "insertContentAction", "insert-content",
2035 "insertBreakAction", "insert-break",
2036 "insertTabAction", "insert-tab",
2037 "deletePrevCharAction", "delete-previous",
2038 "deleteNextCharAction", "delete-next",
2039 "deleteNextWordAction", "delete-next-word",
2040 "deletePrevWordAction", "delete-previous-word",
2041 "readOnlyAction", "set-read-only",
2042 "writableAction", "set-writable",
2043 "cutAction", "cut-to-clipboard",
2044 "copyAction", "copy-to-clipboard",
2045 "pasteAction", "paste-from-clipboard",
2046 "beepAction", "beep",
2047 "pageUpAction", "page-up",
2048 "pageDownAction", "page-down",
2049 "selectionPageUpAction", "selection-page-up",
2050 "selectionPageDownAction", "selection-page-down",
2051 "selectionPageLeftAction", "selection-page-left",
2052 "selectionPageRightAction", "selection-page-right",
2053 "forwardAction", "caret-forward",
2054 "backwardAction", "caret-backward",
2055 "selectionForwardAction", "selection-forward",
2056 "selectionBackwardAction", "selection-backward",
2057 "upAction", "caret-up",
2058 "downAction", "caret-down",
2059 "selectionUpAction", "selection-up",
2060 "selectionDownAction", "selection-down",
2061 "beginWordAction", "caret-begin-word",
2062 "endWordAction", "caret-end-word",
2063 "selectionBeginWordAction", "selection-begin-word",
2064 "selectionEndWordAction", "selection-end-word",
2065 "previousWordAction", "caret-previous-word",
2066 "nextWordAction", "caret-next-word",
2067 "selectionPreviousWordAction", "selection-previous-word",
2068 "selectionNextWordAction", "selection-next-word",
2069 "beginLineAction", "caret-begin-line",
2070 "endLineAction", "caret-end-line",
2071 "selectionBeginLineAction", "selection-begin-line",
2072 "selectionEndLineAction", "selection-end-line",
2073 "beginParagraphAction", "caret-begin-paragraph",
2074 "endParagraphAction", "caret-end-paragraph",
2075 "selectionBeginParagraphAction", "selection-begin-paragraph",
2076 "selectionEndParagraphAction", "selection-end-paragraph",
2077 "beginAction", "caret-begin",
2078 "endAction", "caret-end",
2079 "selectionBeginAction", "selection-begin",
2080 "selectionEndAction", "selection-end",
2081 "selectWordAction", "select-word",
2082 "selectLineAction", "select-line",
2083 "selectParagraphAction", "select-paragraph",
2084 "selectAllAction", "select-all",
2085 "unselectAction", "unselect",
2086 "toggleComponentOrientationAction", "toggle-componentOrientation",
2087 "defaultKeyTypedAction", "default-typed");
2088 c$.defaultActions = c$.prototype.defaultActions =  Clazz_newArray (-1, [ new javax.swing.text.DefaultEditorKit.InsertContentAction (),  new javax.swing.text.DefaultEditorKit.DeletePrevCharAction (),  new javax.swing.text.DefaultEditorKit.DeleteNextCharAction (),  new javax.swing.text.DefaultEditorKit.ReadOnlyAction (),  new javax.swing.text.DefaultEditorKit.WritableAction (),  new javax.swing.text.DefaultEditorKit.CutAction (),  new javax.swing.text.DefaultEditorKit.CopyAction (),  new javax.swing.text.DefaultEditorKit.PasteAction (),  new javax.swing.text.DefaultEditorKit.VerticalPageAction ("page-up", -1, false),  new javax.swing.text.DefaultEditorKit.VerticalPageAction ("page-down", 1, false),  new javax.swing.text.DefaultEditorKit.VerticalPageAction ("selection-page-up", -1, true),  new javax.swing.text.DefaultEditorKit.VerticalPageAction ("selection-page-down", 1, true),  new javax.swing.text.DefaultEditorKit.PageAction ("selection-page-left", true, true),  new javax.swing.text.DefaultEditorKit.PageAction ("selection-page-right", false, true),  new javax.swing.text.DefaultEditorKit.InsertBreakAction (),  new javax.swing.text.DefaultEditorKit.BeepAction (),  new javax.swing.text.DefaultEditorKit.NextVisualPositionAction ("caret-forward", false, 3),  new javax.swing.text.DefaultEditorKit.NextVisualPositionAction ("caret-backward", false, 7),  new javax.swing.text.DefaultEditorKit.NextVisualPositionAction ("selection-forward", true, 3),  new javax.swing.text.DefaultEditorKit.NextVisualPositionAction ("selection-backward", true, 7),  new javax.swing.text.DefaultEditorKit.NextVisualPositionAction ("caret-up", false, 1),  new javax.swing.text.DefaultEditorKit.NextVisualPositionAction ("caret-down", false, 5),  new javax.swing.text.DefaultEditorKit.NextVisualPositionAction ("selection-up", true, 1),  new javax.swing.text.DefaultEditorKit.NextVisualPositionAction ("selection-down", true, 5),  new javax.swing.text.DefaultEditorKit.BeginWordAction ("caret-begin-word", false),  new javax.swing.text.DefaultEditorKit.EndWordAction ("caret-end-word", false),  new javax.swing.text.DefaultEditorKit.BeginWordAction ("selection-begin-word", true),  new javax.swing.text.DefaultEditorKit.EndWordAction ("selection-end-word", true),  new javax.swing.text.DefaultEditorKit.PreviousWordAction ("caret-previous-word", false),  new javax.swing.text.DefaultEditorKit.NextWordAction ("caret-next-word", false),  new javax.swing.text.DefaultEditorKit.PreviousWordAction ("selection-previous-word", true),  new javax.swing.text.DefaultEditorKit.NextWordAction ("selection-next-word", true),  new javax.swing.text.DefaultEditorKit.BeginLineAction ("caret-begin-line", false),  new javax.swing.text.DefaultEditorKit.EndLineAction ("caret-end-line", false),  new javax.swing.text.DefaultEditorKit.BeginLineAction ("selection-begin-line", true),  new javax.swing.text.DefaultEditorKit.EndLineAction ("selection-end-line", true),  new javax.swing.text.DefaultEditorKit.BeginParagraphAction ("caret-begin-paragraph", false),  new javax.swing.text.DefaultEditorKit.EndParagraphAction ("caret-end-paragraph", false),  new javax.swing.text.DefaultEditorKit.BeginParagraphAction ("selection-begin-paragraph", true),  new javax.swing.text.DefaultEditorKit.EndParagraphAction ("selection-end-paragraph", true),  new javax.swing.text.DefaultEditorKit.BeginAction ("caret-begin", false),  new javax.swing.text.DefaultEditorKit.EndAction ("caret-end", false),  new javax.swing.text.DefaultEditorKit.BeginAction ("selection-begin", true),  new javax.swing.text.DefaultEditorKit.EndAction ("selection-end", true),  new javax.swing.text.DefaultEditorKit.DefaultKeyTypedAction (),  new javax.swing.text.DefaultEditorKit.InsertTabAction (),  new javax.swing.text.DefaultEditorKit.SelectWordAction (),  new javax.swing.text.DefaultEditorKit.SelectLineAction (),  new javax.swing.text.DefaultEditorKit.SelectParagraphAction (),  new javax.swing.text.DefaultEditorKit.SelectAllAction (),  new javax.swing.text.DefaultEditorKit.UnselectAction (),  new javax.swing.text.DefaultEditorKit.ToggleComponentOrientationAction ()]);
2089 });
2090 Clazz_declarePackage ("javax.swing.text");
2091 c$ = Clazz_declareType (javax.swing.text, "EditorKit", null, Cloneable);
2092 Clazz_makeConstructor (c$, 
2093 function () {
2094 });
2095 Clazz_defineMethod (c$, "clone", 
2096 function () {
2097 var o;
2098 try {
2099 o = Clazz_superCall (this, javax.swing.text.EditorKit, "clone", []);
2100 } catch (cnse) {
2101 if (Clazz_exceptionOf (cnse, CloneNotSupportedException)) {
2102 o = null;
2103 } else {
2104 throw cnse;
2105 }
2106 }
2107 return o;
2108 });
2109 Clazz_defineMethod (c$, "install", 
2110 function (c) {
2111 }, "javax.swing.JEditorPane");
2112 Clazz_defineMethod (c$, "deinstall", 
2113 function (c) {
2114 }, "javax.swing.JEditorPane");
2115 Clazz_declarePackage ("javax.swing.text");
2116 Clazz_load (["javax.swing.AbstractAction"], "javax.swing.text.TextAction", ["java.util.Hashtable", "javax.swing.text.JTextComponent"], function () {
2117 c$ = Clazz_declareType (javax.swing.text, "TextAction", javax.swing.AbstractAction);
2118 Clazz_defineMethod (c$, "getTextComponent", 
2119 function (e) {
2120 if (e != null) {
2121 var o = e.getSource ();
2122 if (Clazz_instanceOf (o, javax.swing.text.JTextComponent)) {
2123 return o;
2124 }}return this.getFocusedComponent ();
2125 }, "java.awt.event.ActionEvent");
2126 c$.augmentList = Clazz_defineMethod (c$, "augmentList", 
2127 function (list1, list2) {
2128 var h =  new java.util.Hashtable ();
2129 if (list1 != null) for (var i = 0; i < list1.length; i++) {
2130 var a = list1[i];
2131 var value = a.getValue ("Name");
2132 h.put ((value != null ? value : ""), a);
2133 }
2134 for (var i = 0; i < list2.length; i++) {
2135 var a = list2[i];
2136 var value = a.getValue ("Name");
2137 h.put ((value != null ? value : ""), a);
2138 }
2139 var actions =  new Array (h.size ());
2140 var index = 0;
2141 for (var e = h.elements (); e.hasMoreElements (); ) {
2142 actions[index++] = e.nextElement ();
2143 }
2144 return actions;
2145 }, "~A,~A");
2146 Clazz_defineMethod (c$, "getFocusedComponent", 
2147 function () {
2148 return javax.swing.text.JTextComponent.getFocusedComponent ();
2149 });
2150 });
2151 Clazz_declarePackage ("javax.swing.text");
2152 Clazz_load (["java.lang.Exception"], "javax.swing.text.BadLocationException", null, function () {
2153 c$ = Clazz_decorateAsClass (function () {
2154 this.offs = 0;
2155 Clazz_instantialize (this, arguments);
2156 }, javax.swing.text, "BadLocationException", Exception);
2157 Clazz_makeConstructor (c$, 
2158 function (s, offs) {
2159 Clazz_superConstructor (this, javax.swing.text.BadLocationException, [s]);
2160 this.offs = offs;
2161 }, "~S,~N");
2162 Clazz_defineMethod (c$, "offsetRequested", 
2163 function () {
2164 return this.offs;
2165 });
2166 });
2167 Clazz_declarePackage ("javax.swing.text");
2168 Clazz_load (["java.awt.Rectangle", "java.awt.event.ActionListener", "$.FocusListener", "$.MouseListener", "$.MouseMotionListener", "java.beans.PropertyChangeListener", "javax.swing.event.DocumentListener", "javax.swing.text.Caret", "$.NavigationFilter", "javax.swing.event.EventListenerList"], "javax.swing.text.DefaultCaret", ["java.lang.Boolean", "$.IllegalArgumentException", "java.awt.Point", "java.awt.event.ActionEvent", "javax.swing.SwingUtilities", "javax.swing.event.ChangeEvent", "$.ChangeListener", "javax.swing.text.AbstractDocument", "javax.swing.text.AbstractDocument.UndoRedoDocumentEvent", "javax.swing.text.DefaultEditorKit", "$.DefaultHighlighter", "$.Document", "$.Position", "$.Segment", "$.StateInvariantError"], function () {
2169 c$ = Clazz_decorateAsClass (function () {
2170 this.listenerList = null;
2171 this.changeEvent = null;
2172 this.component = null;
2173 this.updatePolicy = 0;
2174 this.visible = false;
2175 this.active = false;
2176 this.dot = 0;
2177 this.mark = 0;
2178 this.selectionTag = null;
2179 this.selectionVisible = false;
2180 this.magicCaretPosition = null;
2181 this.dotBias = null;
2182 this.markBias = null;
2183 this.dotLTR = false;
2184 this.markLTR = false;
2185 this.handler = null;
2186 this.flagXPoints = null;
2187 this.flagYPoints = null;
2188 this.filterBypass = null;
2189 this.ownsSelection = false;
2190 this.forceCaretPositionChange = false;
2191 this.shouldHandleRelease = false;
2192 this.selectedWordEvent = null;
2193 this.caretWidth = -1;
2194 this.aspectRatio = -1;
2195 if (!Clazz_isClassDefined ("javax.swing.text.DefaultCaret.SafeScroller")) {
2196 javax.swing.text.DefaultCaret.$DefaultCaret$SafeScroller$ ();
2197 }
2198 if (!Clazz_isClassDefined ("javax.swing.text.DefaultCaret.Handler")) {
2199 javax.swing.text.DefaultCaret.$DefaultCaret$Handler$ ();
2200 }
2201 if (!Clazz_isClassDefined ("javax.swing.text.DefaultCaret.DefaultFilterBypass")) {
2202 javax.swing.text.DefaultCaret.$DefaultCaret$DefaultFilterBypass$ ();
2203 }
2204 Clazz_instantialize (this, arguments);
2205 }, javax.swing.text, "DefaultCaret", java.awt.Rectangle, [javax.swing.text.Caret, java.awt.event.FocusListener, java.awt.event.MouseListener, java.awt.event.MouseMotionListener]);
2206 Clazz_prepareFields (c$, function () {
2207 this.listenerList =  new javax.swing.event.EventListenerList ();
2208 this.handler = Clazz_innerTypeInstance (javax.swing.text.DefaultCaret.Handler, this, null);
2209 this.flagXPoints =  Clazz_newIntArray (3, 0);
2210 this.flagYPoints =  Clazz_newIntArray (3, 0);
2211 });
2212 Clazz_makeConstructor (c$, 
2213 function () {
2214 Clazz_superConstructor (this, javax.swing.text.DefaultCaret, []);
2215 });
2216 Clazz_defineMethod (c$, "setUpdatePolicy", 
2217 function (policy) {
2218 this.updatePolicy = policy;
2219 }, "~N");
2220 Clazz_defineMethod (c$, "getUpdatePolicy", 
2221 function () {
2222 return this.updatePolicy;
2223 });
2224 Clazz_defineMethod (c$, "getComponent", 
2225 function () {
2226 return this.component;
2227 });
2228 Clazz_defineMethod (c$, "repaint", 
2229 function () {
2230 if (this.component != null) {
2231 this.component.repaint (this.x, this.y, this.width, this.height);
2232 }});
2233 Clazz_defineMethod (c$, "damage", 
2234 function (r) {
2235 if (r != null) {
2236 var damageWidth = this.getCaretWidth (r.height);
2237 this.x = r.x - 4 - (damageWidth >> 1);
2238 this.y = r.y;
2239 this.width = 9 + damageWidth;
2240 this.height = r.height;
2241 this.repaint ();
2242 }}, "java.awt.Rectangle");
2243 Clazz_defineMethod (c$, "adjustVisibility", 
2244 function (nloc) {
2245 if (this.component == null) {
2246 return;
2247 }if (javax.swing.SwingUtilities.isEventDispatchThread ()) {
2248 this.component.scrollRectToVisible (nloc);
2249 } else {
2250 javax.swing.SwingUtilities.invokeLater (Clazz_innerTypeInstance (javax.swing.text.DefaultCaret.SafeScroller, this, null, nloc));
2251 }}, "java.awt.Rectangle");
2252 Clazz_defineMethod (c$, "getSelectionPainter", 
2253 function () {
2254 return javax.swing.text.DefaultHighlighter.DefaultPainter;
2255 });
2256 Clazz_defineMethod (c$, "positionCaret", 
2257 function (e) {
2258 var pt =  new java.awt.Point (e.getX (), e.getY ());
2259 var biasRet =  new Array (1);
2260 var pos = this.component.getUI ().viewToModel (this.component, pt, biasRet);
2261 if (biasRet[0] == null) biasRet[0] = javax.swing.text.Position.Bias.Forward;
2262 if (pos >= 0) {
2263 this.setDot (pos, biasRet[0]);
2264 }}, "java.awt.event.MouseEvent");
2265 Clazz_defineMethod (c$, "moveCaret", 
2266 function (e) {
2267 var pt =  new java.awt.Point (e.getX (), e.getY ());
2268 var biasRet =  new Array (1);
2269 var pos = this.component.getUI ().viewToModel (this.component, pt, biasRet);
2270 if (biasRet[0] == null) biasRet[0] = javax.swing.text.Position.Bias.Forward;
2271 if (pos >= 0) {
2272 this.moveDot (pos, biasRet[0]);
2273 }}, "java.awt.event.MouseEvent");
2274 Clazz_overrideMethod (c$, "focusGained", 
2275 function (e) {
2276 if (this.component.isEnabled ()) {
2277 if (this.component.isEditable ()) {
2278 this.setVisible (true);
2279 }this.setSelectionVisible (true);
2280 }}, "java.awt.event.FocusEvent");
2281 Clazz_overrideMethod (c$, "focusLost", 
2282 function (e) {
2283 this.setVisible (false);
2284 this.setSelectionVisible (this.ownsSelection || e.isTemporary ());
2285 }, "java.awt.event.FocusEvent");
2286 Clazz_overrideMethod (c$, "mouseClicked", 
2287 function (e) {
2288 var nclicks = e.getClickCount ();
2289 if (!e.isConsumed ()) {
2290 if (javax.swing.SwingUtilities.isLeftMouseButton (e)) {
2291 if (nclicks == 1) {
2292 this.selectedWordEvent = null;
2293 }} else if (javax.swing.SwingUtilities.isMiddleMouseButton (e)) {
2294 }}}, "java.awt.event.MouseEvent");
2295 Clazz_overrideMethod (c$, "mousePressed", 
2296 function (e) {
2297 if (javax.swing.SwingUtilities.isLeftMouseButton (e)) {
2298 if (e.isConsumed ()) {
2299 this.shouldHandleRelease = true;
2300 } else {
2301 this.shouldHandleRelease = false;
2302 this.adjustCaretAndFocus (e);
2303 }}}, "java.awt.event.MouseEvent");
2304 Clazz_defineMethod (c$, "adjustCaretAndFocus", 
2305 function (e) {
2306 this.adjustCaret (e);
2307 this.adjustFocus (false);
2308 }, "java.awt.event.MouseEvent");
2309 Clazz_defineMethod (c$, "adjustCaret", 
2310  function (e) {
2311 if ((e.getModifiers () & 1) != 0 && this.getDot () != -1) {
2312 this.moveCaret (e);
2313 } else {
2314 this.positionCaret (e);
2315 }}, "java.awt.event.MouseEvent");
2316 Clazz_defineMethod (c$, "adjustFocus", 
2317  function (inWindow) {
2318 if ((this.component != null) && this.component.isEnabled () && this.component.isRequestFocusEnabled ()) {
2319 if (inWindow) {
2320 this.component.requestFocusInWindow ();
2321 } else {
2322 this.component.requestFocus ();
2323 }}}, "~B");
2324 Clazz_overrideMethod (c$, "mouseReleased", 
2325 function (e) {
2326 if (!e.isConsumed () && this.shouldHandleRelease && javax.swing.SwingUtilities.isLeftMouseButton (e)) {
2327 this.adjustCaretAndFocus (e);
2328 }}, "java.awt.event.MouseEvent");
2329 Clazz_overrideMethod (c$, "mouseEntered", 
2330 function (e) {
2331 }, "java.awt.event.MouseEvent");
2332 Clazz_overrideMethod (c$, "mouseExited", 
2333 function (e) {
2334 }, "java.awt.event.MouseEvent");
2335 Clazz_overrideMethod (c$, "mouseDragged", 
2336 function (e) {
2337 if ((!e.isConsumed ()) && javax.swing.SwingUtilities.isLeftMouseButton (e)) {
2338 this.moveCaret (e);
2339 }}, "java.awt.event.MouseEvent");
2340 Clazz_overrideMethod (c$, "mouseMoved", 
2341 function (e) {
2342 }, "java.awt.event.MouseEvent");
2343 Clazz_overrideMethod (c$, "paint", 
2344 function (g) {
2345 if (this.isVisible ()) {
2346 try {
2347 var mapper = this.component.getUI ();
2348 var r = mapper.modelToView (this.component, this.dot, this.dotBias);
2349 if ((r == null) || ((r.width == 0) && (r.height == 0))) {
2350 return;
2351 }if (this.width > 0 && this.height > 0 && !this._contains (r.x, r.y, r.width, r.height)) {
2352 var clip = g.getClipBounds ();
2353 if (clip != null && !clip.contains (this)) {
2354 this.repaint ();
2355 }this.damage (r);
2356 }g.setColor (this.component.getCaretColor ());
2357 var paintWidth = this.getCaretWidth (r.height);
2358 r.x -= paintWidth >> 1;
2359 g.fillRect (r.x, r.y, paintWidth, r.height);
2360 var doc = this.component.getDocument ();
2361 if (Clazz_instanceOf (doc, javax.swing.text.AbstractDocument)) {
2362 var bidi = (doc).getBidiRootElement ();
2363 if ((bidi != null) && (bidi.getElementCount () > 1)) {
2364 this.flagXPoints[0] = r.x + ((this.dotLTR) ? paintWidth : 0);
2365 this.flagYPoints[0] = r.y;
2366 this.flagXPoints[1] = this.flagXPoints[0];
2367 this.flagYPoints[1] = this.flagYPoints[0] + 4;
2368 this.flagXPoints[2] = this.flagXPoints[0] + ((this.dotLTR) ? 4 : -4);
2369 this.flagYPoints[2] = this.flagYPoints[0];
2370 g.fillPolygon (this.flagXPoints, this.flagYPoints, 3);
2371 }}} catch (e) {
2372 if (Clazz_exceptionOf (e, javax.swing.text.BadLocationException)) {
2373 } else {
2374 throw e;
2375 }
2376 }
2377 }}, "java.awt.Graphics");
2378 Clazz_overrideMethod (c$, "install", 
2379 function (c) {
2380 this.component = c;
2381 var doc = c.getDocument ();
2382 this.dot = this.mark = 0;
2383 this.dotLTR = this.markLTR = true;
2384 this.dotBias = this.markBias = javax.swing.text.Position.Bias.Forward;
2385 if (doc != null) {
2386 doc.addDocumentListener (this.handler);
2387 }c.addPropertyChangeListener (this.handler);
2388 c.addFocusListener (this);
2389 c.addMouseListener (this);
2390 c.addMouseMotionListener (this);
2391 if (this.component.hasFocus ()) {
2392 this.focusGained (null);
2393 }var ratio = c.getClientProperty ("caretAspectRatio");
2394 if (ratio != null) {
2395 this.aspectRatio = ratio.floatValue ();
2396 } else {
2397 this.aspectRatio = -1;
2398 }var width = c.getClientProperty ("caretWidth");
2399 if (width != null) {
2400 this.caretWidth = width.intValue ();
2401 } else {
2402 this.caretWidth = -1;
2403 }}, "javax.swing.text.JTextComponent");
2404 Clazz_overrideMethod (c$, "deinstall", 
2405 function (c) {
2406 c.removeMouseListener (this);
2407 c.removeMouseMotionListener (this);
2408 c.removeFocusListener (this);
2409 c.removePropertyChangeListener (this.handler);
2410 var doc = c.getDocument ();
2411 if (doc != null) {
2412 doc.removeDocumentListener (this.handler);
2413 }{
2414 this.component = null;
2415 }}, "javax.swing.text.JTextComponent");
2416 Clazz_overrideMethod (c$, "addChangeListener", 
2417 function (l) {
2418 this.listenerList.add (javax.swing.event.ChangeListener, l);
2419 }, "javax.swing.event.ChangeListener");
2420 Clazz_overrideMethod (c$, "removeChangeListener", 
2421 function (l) {
2422 this.listenerList.remove (javax.swing.event.ChangeListener, l);
2423 }, "javax.swing.event.ChangeListener");
2424 Clazz_defineMethod (c$, "getChangeListeners", 
2425 function () {
2426 return this.listenerList.getListeners (javax.swing.event.ChangeListener);
2427 });
2428 Clazz_defineMethod (c$, "fireStateChanged", 
2429 function () {
2430 var listeners = this.listenerList.getListenerList ();
2431 for (var i = listeners.length - 2; i >= 0; i -= 2) {
2432 if (listeners[i] === javax.swing.event.ChangeListener) {
2433 if (this.changeEvent == null) this.changeEvent =  new javax.swing.event.ChangeEvent (this);
2434 (listeners[i + 1]).stateChanged (this.changeEvent);
2435 }}
2436 });
2437 Clazz_defineMethod (c$, "getListeners", 
2438 function (listenerType) {
2439 return this.listenerList.getListeners (listenerType);
2440 }, "Class");
2441 Clazz_overrideMethod (c$, "setSelectionVisible", 
2442 function (vis) {
2443 if (vis != this.selectionVisible) {
2444 this.selectionVisible = vis;
2445 if (this.selectionVisible) {
2446 var h = this.component.getHighlighter ();
2447 if ((this.dot != this.mark) && (h != null) && (this.selectionTag == null)) {
2448 var p0 = Math.min (this.dot, this.mark);
2449 var p1 = Math.max (this.dot, this.mark);
2450 var p = this.getSelectionPainter ();
2451 try {
2452 this.selectionTag = h.addHighlight (p0, p1, p);
2453 } catch (bl) {
2454 if (Clazz_exceptionOf (bl, javax.swing.text.BadLocationException)) {
2455 this.selectionTag = null;
2456 } else {
2457 throw bl;
2458 }
2459 }
2460 }} else {
2461 if (this.selectionTag != null) {
2462 var h = this.component.getHighlighter ();
2463 h.removeHighlight (this.selectionTag);
2464 this.selectionTag = null;
2465 }}}}, "~B");
2466 Clazz_overrideMethod (c$, "isSelectionVisible", 
2467 function () {
2468 return this.selectionVisible;
2469 });
2470 Clazz_defineMethod (c$, "isActive", 
2471 function () {
2472 return this.active;
2473 });
2474 Clazz_overrideMethod (c$, "isVisible", 
2475 function () {
2476 return this.visible;
2477 });
2478 Clazz_overrideMethod (c$, "setVisible", 
2479 function (e) {
2480 if (this.component != null) {
2481 this.active = e;
2482 var mapper = this.component.getUI ();
2483 if (this.visible != e) {
2484 this.visible = e;
2485 try {
2486 var loc = mapper.modelToView (this.component, this.dot, this.dotBias);
2487 this.damage (loc);
2488 } catch (badloc) {
2489 if (Clazz_exceptionOf (badloc, javax.swing.text.BadLocationException)) {
2490 } else {
2491 throw badloc;
2492 }
2493 }
2494 }}}, "~B");
2495 Clazz_overrideMethod (c$, "setBlinkRate", 
2496 function (rate) {
2497 }, "~N");
2498 Clazz_overrideMethod (c$, "getBlinkRate", 
2499 function () {
2500 return 0;
2501 });
2502 Clazz_overrideMethod (c$, "getDot", 
2503 function () {
2504 return this.dot;
2505 });
2506 Clazz_overrideMethod (c$, "getMark", 
2507 function () {
2508 return this.mark;
2509 });
2510 Clazz_defineMethod (c$, "setDot", 
2511 function (dot) {
2512 this.setDot (dot, javax.swing.text.Position.Bias.Forward);
2513 }, "~N");
2514 Clazz_defineMethod (c$, "moveDot", 
2515 function (dot) {
2516 this.moveDot (dot, javax.swing.text.Position.Bias.Forward);
2517 }, "~N");
2518 Clazz_defineMethod (c$, "moveDot", 
2519 function (dot, dotBias) {
2520 if (dotBias == null) {
2521 throw  new IllegalArgumentException ("null bias");
2522 }if (!this.component.isEnabled ()) {
2523 this.setDot (dot, dotBias);
2524 return;
2525 }if (dot != this.dot) {
2526 var filter = this.component.getNavigationFilter ();
2527 if (filter != null) {
2528 filter.moveDot (this.getFilterBypass (), dot, dotBias);
2529 } else {
2530 this.handleMoveDot (dot, dotBias);
2531 }}}, "~N,javax.swing.text.Position.Bias");
2532 Clazz_defineMethod (c$, "handleMoveDot", 
2533 function (dot, dotBias) {
2534 this.changeCaretPosition (dot, dotBias);
2535 if (this.selectionVisible) {
2536 var h = this.component.getHighlighter ();
2537 if (h != null) {
2538 var p0 = Math.min (dot, this.mark);
2539 var p1 = Math.max (dot, this.mark);
2540 if (p0 == p1) {
2541 if (this.selectionTag != null) {
2542 h.removeHighlight (this.selectionTag);
2543 this.selectionTag = null;
2544 }} else {
2545 try {
2546 if (this.selectionTag != null) {
2547 h.changeHighlight (this.selectionTag, p0, p1);
2548 } else {
2549 var p = this.getSelectionPainter ();
2550 this.selectionTag = h.addHighlight (p0, p1, p);
2551 }} catch (e) {
2552 if (Clazz_exceptionOf (e, javax.swing.text.BadLocationException)) {
2553 throw  new javax.swing.text.StateInvariantError ("Bad caret position");
2554 } else {
2555 throw e;
2556 }
2557 }
2558 }}}}, "~N,javax.swing.text.Position.Bias");
2559 Clazz_defineMethod (c$, "setDot", 
2560 function (dot, dotBias) {
2561 if (dotBias == null) {
2562 throw  new IllegalArgumentException ("null bias");
2563 }var filter = this.component.getNavigationFilter ();
2564 if (filter != null) {
2565 filter.setDot (this.getFilterBypass (), dot, dotBias);
2566 } else {
2567 this.handleSetDot (dot, dotBias);
2568 }}, "~N,javax.swing.text.Position.Bias");
2569 Clazz_defineMethod (c$, "handleSetDot", 
2570 function (dot, dotBias) {
2571 var doc = this.component.getDocument ();
2572 if (doc != null) {
2573 dot = Math.min (dot, doc.getLength ());
2574 }dot = Math.max (dot, 0);
2575 if (dot == 0) dotBias = javax.swing.text.Position.Bias.Forward;
2576 this.mark = dot;
2577 if (this.dot != dot || this.dotBias !== dotBias || this.selectionTag != null || this.forceCaretPositionChange) {
2578 this.changeCaretPosition (dot, dotBias);
2579 }this.markBias = this.dotBias;
2580 this.markLTR = this.dotLTR;
2581 var h = this.component.getHighlighter ();
2582 if ((h != null) && (this.selectionTag != null)) {
2583 h.removeHighlight (this.selectionTag);
2584 this.selectionTag = null;
2585 }}, "~N,javax.swing.text.Position.Bias");
2586 Clazz_defineMethod (c$, "getDotBias", 
2587 function () {
2588 return this.dotBias;
2589 });
2590 Clazz_defineMethod (c$, "getMarkBias", 
2591 function () {
2592 return this.markBias;
2593 });
2594 Clazz_defineMethod (c$, "isDotLeftToRight", 
2595 function () {
2596 return this.dotLTR;
2597 });
2598 Clazz_defineMethod (c$, "isMarkLeftToRight", 
2599 function () {
2600 return this.markLTR;
2601 });
2602 Clazz_defineMethod (c$, "isPositionLTR", 
2603 function (position, bias) {
2604 var doc = this.component.getDocument ();
2605 if (Clazz_instanceOf (doc, javax.swing.text.AbstractDocument)) {
2606 if (bias === javax.swing.text.Position.Bias.Backward && --position < 0) position = 0;
2607 return (doc).isLeftToRight (position, position);
2608 }return true;
2609 }, "~N,javax.swing.text.Position.Bias");
2610 Clazz_defineMethod (c$, "guessBiasForOffset", 
2611 function (offset, lastBias, lastLTR) {
2612 if (lastLTR != this.isPositionLTR (offset, lastBias)) {
2613 lastBias = javax.swing.text.Position.Bias.Backward;
2614 } else if (lastBias !== javax.swing.text.Position.Bias.Backward && lastLTR != this.isPositionLTR (offset, javax.swing.text.Position.Bias.Backward)) {
2615 lastBias = javax.swing.text.Position.Bias.Backward;
2616 }if (lastBias === javax.swing.text.Position.Bias.Backward && offset > 0) {
2617 try {
2618 var s =  new javax.swing.text.Segment ();
2619 this.component.getDocument ().getText (offset - 1, 1, s);
2620 if (s.count > 0 && s.array[s.offset] == '\n') {
2621 lastBias = javax.swing.text.Position.Bias.Forward;
2622 }} catch (ble) {
2623 if (Clazz_exceptionOf (ble, javax.swing.text.BadLocationException)) {
2624 } else {
2625 throw ble;
2626 }
2627 }
2628 }return lastBias;
2629 }, "~N,javax.swing.text.Position.Bias,~B");
2630 Clazz_defineMethod (c$, "changeCaretPosition", 
2631 function (dot, dotBias) {
2632 this.repaint ();
2633 this.dot = dot;
2634 this.dotBias = dotBias;
2635 this.dotLTR = this.isPositionLTR (dot, dotBias);
2636 this.fireStateChanged ();
2637 this.updateSystemSelection ();
2638 this.setMagicCaretPosition (null);
2639 var callRepaintNewCaret = ((Clazz_isClassDefined ("javax.swing.text.DefaultCaret$1") ? 0 : javax.swing.text.DefaultCaret.$DefaultCaret$1$ ()), Clazz_innerTypeInstance (javax.swing.text.DefaultCaret$1, this, null));
2640 javax.swing.SwingUtilities.invokeLater (callRepaintNewCaret);
2641 }, "~N,javax.swing.text.Position.Bias");
2642 Clazz_defineMethod (c$, "repaintNewCaret", 
2643 function () {
2644 if (this.component != null) {
2645 var mapper = this.component.getUI ();
2646 var doc = this.component.getDocument ();
2647 if ((mapper != null) && (doc != null)) {
2648 var newLoc;
2649 try {
2650 newLoc = mapper.modelToView (this.component, this.dot, this.dotBias);
2651 } catch (e) {
2652 if (Clazz_exceptionOf (e, javax.swing.text.BadLocationException)) {
2653 newLoc = null;
2654 } else {
2655 throw e;
2656 }
2657 }
2658 if (newLoc != null) {
2659 this.adjustVisibility (newLoc);
2660 if (this.getMagicCaretPosition () == null) {
2661 this.setMagicCaretPosition ( new java.awt.Point (newLoc.x, newLoc.y));
2662 }}this.damage (newLoc);
2663 }}});
2664 Clazz_defineMethod (c$, "updateSystemSelection", 
2665  function () {
2666 });
2667 Clazz_defineMethod (c$, "ensureValidPosition", 
2668  function () {
2669 var length = this.component.getDocument ().getLength ();
2670 if (this.dot > length || this.mark > length) {
2671 this.handleSetDot (length, javax.swing.text.Position.Bias.Forward);
2672 }});
2673 Clazz_overrideMethod (c$, "setMagicCaretPosition", 
2674 function (p) {
2675 this.magicCaretPosition = p;
2676 }, "java.awt.Point");
2677 Clazz_overrideMethod (c$, "getMagicCaretPosition", 
2678 function () {
2679 return this.magicCaretPosition;
2680 });
2681 Clazz_overrideMethod (c$, "equals", 
2682 function (obj) {
2683 return (this === obj);
2684 }, "~O");
2685 Clazz_overrideMethod (c$, "toString", 
2686 function () {
2687 var s = "Dot=(" + this.dot + ", " + this.dotBias + ")";
2688 s += " Mark=(" + this.mark + ", " + this.markBias + ")";
2689 return s;
2690 });
2691 Clazz_defineMethod (c$, "getFilterBypass", 
2692  function () {
2693 if (this.filterBypass == null) {
2694 this.filterBypass = Clazz_innerTypeInstance (javax.swing.text.DefaultCaret.DefaultFilterBypass, this, null);
2695 }return this.filterBypass;
2696 });
2697 Clazz_defineMethod (c$, "_contains", 
2698  function (X, Y, W, H) {
2699 var w = this.width;
2700 var h = this.height;
2701 if ((w | h | W | H) < 0) {
2702 return false;
2703 }var x = this.x;
2704 var y = this.y;
2705 if (X < x || Y < y) {
2706 return false;
2707 }if (W > 0) {
2708 w += x;
2709 W += X;
2710 if (W <= X) {
2711 if (w >= x || W > w) return false;
2712 } else {
2713 if (w >= x && W > w) return false;
2714 }} else if ((x + w) < X) {
2715 return false;
2716 }if (H > 0) {
2717 h += y;
2718 H += Y;
2719 if (H <= Y) {
2720 if (h >= y || H > h) return false;
2721 } else {
2722 if (h >= y && H > h) return false;
2723 }} else if ((y + h) < Y) {
2724 return false;
2725 }return true;
2726 }, "~N,~N,~N,~N");
2727 Clazz_defineMethod (c$, "getCaretWidth", 
2728 function (height) {
2729 if (this.aspectRatio > -1) {
2730 return Clazz_floatToInt (this.aspectRatio * height) + 1;
2731 }if (this.caretWidth > -1) {
2732 return this.caretWidth;
2733 }return 1;
2734 }, "~N");
2735 c$.$DefaultCaret$SafeScroller$ = function () {
2736 Clazz_pu$h(self.c$);
2737 c$ = Clazz_decorateAsClass (function () {
2738 Clazz_prepareCallback (this, arguments);
2739 this.r = null;
2740 Clazz_instantialize (this, arguments);
2741 }, javax.swing.text.DefaultCaret, "SafeScroller", null, Runnable);
2742 Clazz_makeConstructor (c$, 
2743 function (a) {
2744 this.r = a;
2745 }, "java.awt.Rectangle");
2746 Clazz_overrideMethod (c$, "run", 
2747 function () {
2748 if (this.b$["javax.swing.text.DefaultCaret"].component != null) {
2749 this.b$["javax.swing.text.DefaultCaret"].component.scrollRectToVisible (this.r);
2750 }});
2751 c$ = Clazz_p0p ();
2752 };
2753 c$.$DefaultCaret$Handler$ = function () {
2754 Clazz_pu$h(self.c$);
2755 c$ = Clazz_decorateAsClass (function () {
2756 Clazz_prepareCallback (this, arguments);
2757 Clazz_instantialize (this, arguments);
2758 }, javax.swing.text.DefaultCaret, "Handler", null, [java.beans.PropertyChangeListener, javax.swing.event.DocumentListener, java.awt.event.ActionListener]);
2759 Clazz_overrideMethod (c$, "actionPerformed", 
2760 function (a) {
2761 if (this.b$["javax.swing.text.DefaultCaret"].width == 0 || this.b$["javax.swing.text.DefaultCaret"].height == 0) {
2762 if (this.b$["javax.swing.text.DefaultCaret"].component != null) {
2763 var b = this.b$["javax.swing.text.DefaultCaret"].component.getUI ();
2764 try {
2765 var c = b.modelToView (this.b$["javax.swing.text.DefaultCaret"].component, this.b$["javax.swing.text.DefaultCaret"].dot, this.b$["javax.swing.text.DefaultCaret"].dotBias);
2766 if (c != null && c.width != 0 && c.height != 0) {
2767 this.b$["javax.swing.text.DefaultCaret"].damage (c);
2768 }} catch (ble) {
2769 if (Clazz_exceptionOf (ble, javax.swing.text.BadLocationException)) {
2770 } else {
2771 throw ble;
2772 }
2773 }
2774 }}this.b$["javax.swing.text.DefaultCaret"].visible = !this.b$["javax.swing.text.DefaultCaret"].visible;
2775 this.b$["javax.swing.text.DefaultCaret"].repaint ();
2776 }, "java.awt.event.ActionEvent");
2777 Clazz_overrideMethod (c$, "insertUpdate", 
2778 function (a) {
2779 if (this.b$["javax.swing.text.DefaultCaret"].getUpdatePolicy () == 1 || (this.b$["javax.swing.text.DefaultCaret"].getUpdatePolicy () == 0 && !javax.swing.SwingUtilities.isEventDispatchThread ())) {
2780 if ((a.getOffset () <= this.b$["javax.swing.text.DefaultCaret"].dot || a.getOffset () <= this.b$["javax.swing.text.DefaultCaret"].mark) && this.b$["javax.swing.text.DefaultCaret"].selectionTag != null) {
2781 try {
2782 this.b$["javax.swing.text.DefaultCaret"].component.getHighlighter ().changeHighlight (this.b$["javax.swing.text.DefaultCaret"].selectionTag, Math.min (this.b$["javax.swing.text.DefaultCaret"].dot, this.b$["javax.swing.text.DefaultCaret"].mark), Math.max (this.b$["javax.swing.text.DefaultCaret"].dot, this.b$["javax.swing.text.DefaultCaret"].mark));
2783 } catch (e1) {
2784 if (Clazz_exceptionOf (e1, javax.swing.text.BadLocationException)) {
2785 e1.printStackTrace ();
2786 } else {
2787 throw e1;
2788 }
2789 }
2790 }return;
2791 }var b = 0;
2792 var c = a.getOffset ();
2793 var d = a.getLength ();
2794 var e = this.b$["javax.swing.text.DefaultCaret"].dot;
2795 var f = 0;
2796 if (Clazz_instanceOf (a, javax.swing.text.AbstractDocument.UndoRedoDocumentEvent)) {
2797 this.b$["javax.swing.text.DefaultCaret"].setDot (c + d);
2798 return;
2799 }if (e >= c) {
2800 e += d;
2801 f |= 1;
2802 }var g = this.b$["javax.swing.text.DefaultCaret"].mark;
2803 if (g >= c) {
2804 g += d;
2805 f |= 2;
2806 }if (f != 0) {
2807 var h = this.b$["javax.swing.text.DefaultCaret"].dotBias;
2808 if (this.b$["javax.swing.text.DefaultCaret"].dot == c) {
2809 var i = this.b$["javax.swing.text.DefaultCaret"].component.getDocument ();
2810 var j;
2811 try {
2812 var k =  new javax.swing.text.Segment ();
2813 i.getText (e - 1, 1, k);
2814 j = (k.count > 0 && k.array[k.offset] == '\n');
2815 } catch (ble) {
2816 if (Clazz_exceptionOf (ble, javax.swing.text.BadLocationException)) {
2817 j = false;
2818 } else {
2819 throw ble;
2820 }
2821 }
2822 if (j) {
2823 h = javax.swing.text.Position.Bias.Forward;
2824 } else {
2825 h = javax.swing.text.Position.Bias.Backward;
2826 }}if (g == e) {
2827 this.b$["javax.swing.text.DefaultCaret"].setDot (e, h);
2828 this.b$["javax.swing.text.DefaultCaret"].ensureValidPosition ();
2829 } else {
2830 this.b$["javax.swing.text.DefaultCaret"].setDot (g, this.b$["javax.swing.text.DefaultCaret"].markBias);
2831 if (this.b$["javax.swing.text.DefaultCaret"].getDot () == g) {
2832 this.b$["javax.swing.text.DefaultCaret"].moveDot (e, h);
2833 }this.b$["javax.swing.text.DefaultCaret"].ensureValidPosition ();
2834 }}}, "javax.swing.event.DocumentEvent");
2835 Clazz_overrideMethod (c$, "removeUpdate", 
2836 function (a) {
2837 if (this.b$["javax.swing.text.DefaultCaret"].getUpdatePolicy () == 1 || (this.b$["javax.swing.text.DefaultCaret"].getUpdatePolicy () == 0 && !javax.swing.SwingUtilities.isEventDispatchThread ())) {
2838 var b = this.b$["javax.swing.text.DefaultCaret"].component.getDocument ().getLength ();
2839 this.b$["javax.swing.text.DefaultCaret"].dot = Math.min (this.b$["javax.swing.text.DefaultCaret"].dot, b);
2840 this.b$["javax.swing.text.DefaultCaret"].mark = Math.min (this.b$["javax.swing.text.DefaultCaret"].mark, b);
2841 if ((a.getOffset () < this.b$["javax.swing.text.DefaultCaret"].dot || a.getOffset () < this.b$["javax.swing.text.DefaultCaret"].mark) && this.b$["javax.swing.text.DefaultCaret"].selectionTag != null) {
2842 try {
2843 this.b$["javax.swing.text.DefaultCaret"].component.getHighlighter ().changeHighlight (this.b$["javax.swing.text.DefaultCaret"].selectionTag, Math.min (this.b$["javax.swing.text.DefaultCaret"].dot, this.b$["javax.swing.text.DefaultCaret"].mark), Math.max (this.b$["javax.swing.text.DefaultCaret"].dot, this.b$["javax.swing.text.DefaultCaret"].mark));
2844 } catch (e1) {
2845 if (Clazz_exceptionOf (e1, javax.swing.text.BadLocationException)) {
2846 e1.printStackTrace ();
2847 } else {
2848 throw e1;
2849 }
2850 }
2851 }return;
2852 }var b = a.getOffset ();
2853 var c = b + a.getLength ();
2854 var d = 0;
2855 var e = this.b$["javax.swing.text.DefaultCaret"].dot;
2856 var f = false;
2857 var g = this.b$["javax.swing.text.DefaultCaret"].mark;
2858 var h = false;
2859 if (Clazz_instanceOf (a, javax.swing.text.AbstractDocument.UndoRedoDocumentEvent)) {
2860 this.b$["javax.swing.text.DefaultCaret"].setDot (b);
2861 return;
2862 }if (e >= c) {
2863 e -= (c - b);
2864 if (e == c) {
2865 f = true;
2866 }} else if (e >= b) {
2867 e = b;
2868 f = true;
2869 }if (g >= c) {
2870 g -= (c - b);
2871 if (g == c) {
2872 h = true;
2873 }} else if (g >= b) {
2874 g = b;
2875 h = true;
2876 }if (g == e) {
2877 this.b$["javax.swing.text.DefaultCaret"].forceCaretPositionChange = true;
2878 try {
2879 this.b$["javax.swing.text.DefaultCaret"].setDot (e, this.b$["javax.swing.text.DefaultCaret"].guessBiasForOffset (e, this.b$["javax.swing.text.DefaultCaret"].dotBias, this.b$["javax.swing.text.DefaultCaret"].dotLTR));
2880 } finally {
2881 this.b$["javax.swing.text.DefaultCaret"].forceCaretPositionChange = false;
2882 }
2883 this.b$["javax.swing.text.DefaultCaret"].ensureValidPosition ();
2884 } else {
2885 var i = this.b$["javax.swing.text.DefaultCaret"].dotBias;
2886 var j = this.b$["javax.swing.text.DefaultCaret"].markBias;
2887 if (f) {
2888 i = this.b$["javax.swing.text.DefaultCaret"].guessBiasForOffset (e, i, this.b$["javax.swing.text.DefaultCaret"].dotLTR);
2889 }if (h) {
2890 j = this.b$["javax.swing.text.DefaultCaret"].guessBiasForOffset (this.b$["javax.swing.text.DefaultCaret"].mark, j, this.b$["javax.swing.text.DefaultCaret"].markLTR);
2891 }this.b$["javax.swing.text.DefaultCaret"].setDot (g, j);
2892 if (this.b$["javax.swing.text.DefaultCaret"].getDot () == g) {
2893 this.b$["javax.swing.text.DefaultCaret"].moveDot (e, i);
2894 }this.b$["javax.swing.text.DefaultCaret"].ensureValidPosition ();
2895 }}, "javax.swing.event.DocumentEvent");
2896 Clazz_overrideMethod (c$, "changedUpdate", 
2897 function (a) {
2898 if (this.b$["javax.swing.text.DefaultCaret"].getUpdatePolicy () == 1 || (this.b$["javax.swing.text.DefaultCaret"].getUpdatePolicy () == 0 && !javax.swing.SwingUtilities.isEventDispatchThread ())) {
2899 return;
2900 }if (Clazz_instanceOf (a, javax.swing.text.AbstractDocument.UndoRedoDocumentEvent)) {
2901 this.b$["javax.swing.text.DefaultCaret"].setDot (a.getOffset () + a.getLength ());
2902 }}, "javax.swing.event.DocumentEvent");
2903 Clazz_overrideMethod (c$, "propertyChange", 
2904 function (a) {
2905 var b = a.getOldValue ();
2906 var c = a.getNewValue ();
2907 if ((Clazz_instanceOf (b, javax.swing.text.Document)) || (Clazz_instanceOf (c, javax.swing.text.Document))) {
2908 this.b$["javax.swing.text.DefaultCaret"].setDot (0);
2909 if (b != null) {
2910 (b).removeDocumentListener (this);
2911 }if (c != null) {
2912 (c).addDocumentListener (this);
2913 }} else if ("enabled".equals (a.getPropertyName ())) {
2914 var d = a.getNewValue ();
2915 if (this.b$["javax.swing.text.DefaultCaret"].component.isFocusOwner ()) {
2916 if (d === Boolean.TRUE) {
2917 if (this.b$["javax.swing.text.DefaultCaret"].component.isEditable ()) {
2918 this.b$["javax.swing.text.DefaultCaret"].setVisible (true);
2919 }this.b$["javax.swing.text.DefaultCaret"].setSelectionVisible (true);
2920 } else {
2921 this.b$["javax.swing.text.DefaultCaret"].setVisible (false);
2922 this.b$["javax.swing.text.DefaultCaret"].setSelectionVisible (false);
2923 }}} else if ("caretWidth".equals (a.getPropertyName ())) {
2924 var d = a.getNewValue ();
2925 if (d != null) {
2926 this.b$["javax.swing.text.DefaultCaret"].caretWidth = d.intValue ();
2927 } else {
2928 this.b$["javax.swing.text.DefaultCaret"].caretWidth = -1;
2929 }this.b$["javax.swing.text.DefaultCaret"].repaint ();
2930 } else if ("caretAspectRatio".equals (a.getPropertyName ())) {
2931 var d = a.getNewValue ();
2932 if (d != null) {
2933 this.b$["javax.swing.text.DefaultCaret"].aspectRatio = d.floatValue ();
2934 } else {
2935 this.b$["javax.swing.text.DefaultCaret"].aspectRatio = -1;
2936 }this.b$["javax.swing.text.DefaultCaret"].repaint ();
2937 }}, "java.beans.PropertyChangeEvent");
2938 c$ = Clazz_p0p ();
2939 };
2940 c$.$DefaultCaret$DefaultFilterBypass$ = function () {
2941 Clazz_pu$h(self.c$);
2942 c$ = Clazz_decorateAsClass (function () {
2943 Clazz_prepareCallback (this, arguments);
2944 Clazz_instantialize (this, arguments);
2945 }, javax.swing.text.DefaultCaret, "DefaultFilterBypass", javax.swing.text.NavigationFilter.FilterBypass);
2946 Clazz_overrideMethod (c$, "getCaret", 
2947 function () {
2948 return this.b$["javax.swing.text.DefaultCaret"];
2949 });
2950 Clazz_overrideMethod (c$, "setDot", 
2951 function (a, b) {
2952 this.b$["javax.swing.text.DefaultCaret"].handleSetDot (a, b);
2953 }, "~N,javax.swing.text.Position.Bias");
2954 Clazz_overrideMethod (c$, "moveDot", 
2955 function (a, b) {
2956 this.b$["javax.swing.text.DefaultCaret"].handleMoveDot (a, b);
2957 }, "~N,javax.swing.text.Position.Bias");
2958 c$ = Clazz_p0p ();
2959 };
2960 c$.$DefaultCaret$1$ = function () {
2961 Clazz_pu$h(self.c$);
2962 c$ = Clazz_declareAnonymous (javax.swing.text, "DefaultCaret$1", null, Runnable);
2963 Clazz_overrideMethod (c$, "run", 
2964 function () {
2965 this.b$["javax.swing.text.DefaultCaret"].repaintNewCaret ();
2966 });
2967 c$ = Clazz_p0p ();
2968 };
2969 Clazz_defineStatics (c$,
2970 "UPDATE_WHEN_ON_EDT", 0,
2971 "NEVER_UPDATE", 1,
2972 "ALWAYS_UPDATE", 2,
2973 "$selectWord", null,
2974 "selectLine", null);
2975 });
2976 Clazz_declarePackage ("javax.swing.text");
2977 Clazz_declareInterface (javax.swing.text, "Caret");
2978 Clazz_declarePackage ("javax.swing.text");
2979 c$ = Clazz_declareType (javax.swing.text, "NavigationFilter");
2980 Clazz_defineMethod (c$, "setDot", 
2981 function (fb, dot, bias) {
2982 fb.setDot (dot, bias);
2983 }, "javax.swing.text.NavigationFilter.FilterBypass,~N,javax.swing.text.Position.Bias");
2984 Clazz_defineMethod (c$, "moveDot", 
2985 function (fb, dot, bias) {
2986 fb.moveDot (dot, bias);
2987 }, "javax.swing.text.NavigationFilter.FilterBypass,~N,javax.swing.text.Position.Bias");
2988 Clazz_defineMethod (c$, "getNextVisualPositionFrom", 
2989 function (text, pos, bias, direction, biasRet) {
2990 return text.getUI ().getNextVisualPositionFrom (text, pos, bias, direction, biasRet);
2991 }, "javax.swing.text.JTextComponent,~N,javax.swing.text.Position.Bias,~N,~A");
2992 Clazz_pu$h(self.c$);
2993 c$ = Clazz_declareType (javax.swing.text.NavigationFilter, "FilterBypass");
2994 c$ = Clazz_p0p ();
2995 Clazz_declarePackage ("javax.swing.text");
2996 Clazz_load (["javax.swing.event.DocumentEvent", "javax.swing.text.DocumentFilter", "$.Element", "$.JSMinimalAbstractDocument", "$.MutableAttributeSet", "javax.swing.tree.TreeNode", "javax.swing.undo.AbstractUndoableEdit", "$.CompoundEdit", "javax.swing.event.EventListenerList"], "javax.swing.text.AbstractDocument", ["java.lang.Boolean", "java.util.Hashtable", "$.Vector", "javax.swing.UIManager", "javax.swing.event.DocumentEvent.ElementChange", "javax.swing.event.DocumentListener", "$.UndoableEditEvent", "$.UndoableEditListener", "javax.swing.text.BadLocationException", "$.SegmentCache", "$.StateInvariantError", "$.StyleConstants", "$.StyleContext", "$.Utilities"], function () {
2997 c$ = Clazz_decorateAsClass (function () {
2998 this.documentProperties = null;
2999 this.listenerList = null;
3000 this.data = null;
3001 this.context = null;
3002 this.bidiRoot = null;
3003 this.documentFilter = null;
3004 this.filterBypass = null;
3005 if (!Clazz_isClassDefined ("javax.swing.text.AbstractDocument.AbstractElement")) {
3006 javax.swing.text.AbstractDocument.$AbstractDocument$AbstractElement$ ();
3007 }
3008 if (!Clazz_isClassDefined ("javax.swing.text.AbstractDocument.BranchElement")) {
3009 javax.swing.text.AbstractDocument.$AbstractDocument$BranchElement$ ();
3010 }
3011 if (!Clazz_isClassDefined ("javax.swing.text.AbstractDocument.LeafElement")) {
3012 javax.swing.text.AbstractDocument.$AbstractDocument$LeafElement$ ();
3013 }
3014 if (!Clazz_isClassDefined ("javax.swing.text.AbstractDocument.DefaultDocumentEvent")) {
3015 javax.swing.text.AbstractDocument.$AbstractDocument$DefaultDocumentEvent$ ();
3016 }
3017 if (!Clazz_isClassDefined ("javax.swing.text.AbstractDocument.UndoRedoDocumentEvent")) {
3018 javax.swing.text.AbstractDocument.$AbstractDocument$UndoRedoDocumentEvent$ ();
3019 }
3020 if (!Clazz_isClassDefined ("javax.swing.text.AbstractDocument.DefaultFilterBypass")) {
3021 javax.swing.text.AbstractDocument.$AbstractDocument$DefaultFilterBypass$ ();
3022 }
3023 Clazz_instantialize (this, arguments);
3024 }, javax.swing.text, "AbstractDocument", null, javax.swing.text.JSMinimalAbstractDocument);
3025 Clazz_prepareFields (c$, function () {
3026 this.listenerList =  new javax.swing.event.EventListenerList ();
3027 });
3028 Clazz_makeConstructor (c$, 
3029 function (data) {
3030 this.construct (data, javax.swing.text.StyleContext.getDefaultStyleContext ());
3031 }, "javax.swing.text.AbstractDocument.Content");
3032 Clazz_makeConstructor (c$, 
3033 function (data, context) {
3034 this.data = data;
3035 this.context = context;
3036 }, "javax.swing.text.AbstractDocument.Content,javax.swing.text.AbstractDocument.AttributeContext");
3037 Clazz_defineMethod (c$, "getDocumentProperties", 
3038 function () {
3039 if (this.documentProperties == null) {
3040 this.documentProperties =  new java.util.Hashtable (2);
3041 }return this.documentProperties;
3042 });
3043 Clazz_defineMethod (c$, "setDocumentProperties", 
3044 function (x) {
3045 this.documentProperties = x;
3046 }, "java.util.Dictionary");
3047 Clazz_defineMethod (c$, "fireInsertUpdate", 
3048 function (e) {
3049 try {
3050 var listeners = this.listenerList.getListenerList ();
3051 for (var i = listeners.length - 2; i >= 0; i -= 2) {
3052 if (listeners[i] === javax.swing.event.DocumentListener) {
3053 (listeners[i + 1]).insertUpdate (e);
3054 }}
3055 } finally {
3056 }
3057 }, "javax.swing.event.DocumentEvent");
3058 Clazz_defineMethod (c$, "fireChangedUpdate", 
3059 function (e) {
3060 try {
3061 var listeners = this.listenerList.getListenerList ();
3062 for (var i = listeners.length - 2; i >= 0; i -= 2) {
3063 if (listeners[i] === javax.swing.event.DocumentListener) {
3064 (listeners[i + 1]).changedUpdate (e);
3065 }}
3066 } finally {
3067 }
3068 }, "javax.swing.event.DocumentEvent");
3069 Clazz_defineMethod (c$, "fireRemoveUpdate", 
3070 function (e) {
3071 try {
3072 var listeners = this.listenerList.getListenerList ();
3073 for (var i = listeners.length - 2; i >= 0; i -= 2) {
3074 if (listeners[i] === javax.swing.event.DocumentListener) {
3075 (listeners[i + 1]).removeUpdate (e);
3076 }}
3077 } finally {
3078 }
3079 }, "javax.swing.event.DocumentEvent");
3080 Clazz_defineMethod (c$, "fireUndoableEditUpdate", 
3081 function (e) {
3082 var listeners = this.listenerList.getListenerList ();
3083 for (var i = listeners.length - 2; i >= 0; i -= 2) {
3084 if (listeners[i] === javax.swing.event.UndoableEditListener) {
3085 (listeners[i + 1]).undoableEditHappened (e);
3086 }}
3087 }, "javax.swing.event.UndoableEditEvent");
3088 Clazz_defineMethod (c$, "getListeners", 
3089 function (listenerType) {
3090 return this.listenerList.getListeners (listenerType);
3091 }, "Class");
3092 Clazz_overrideMethod (c$, "getAsynchronousLoadPriority", 
3093 function () {
3094 var loadPriority = this.getProperty ("load priority");
3095 if (loadPriority != null) {
3096 return loadPriority.intValue ();
3097 }return -1;
3098 });
3099 Clazz_defineMethod (c$, "setAsynchronousLoadPriority", 
3100 function (p) {
3101 var loadPriority = (p >= 0) ?  new Integer (p) : null;
3102 this.putProperty ("load priority", loadPriority);
3103 }, "~N");
3104 Clazz_overrideMethod (c$, "setDocumentFilter", 
3105 function (filter) {
3106 this.documentFilter = filter;
3107 }, "javax.swing.text.DocumentFilter");
3108 Clazz_defineMethod (c$, "getDocumentFilter", 
3109 function () {
3110 return this.documentFilter;
3111 });
3112 Clazz_overrideMethod (c$, "getLength", 
3113 function () {
3114 return this.data.length () - 1;
3115 });
3116 Clazz_overrideMethod (c$, "addDocumentListener", 
3117 function (listener) {
3118 this.listenerList.add (javax.swing.event.DocumentListener, listener);
3119 }, "javax.swing.event.DocumentListener");
3120 Clazz_overrideMethod (c$, "removeDocumentListener", 
3121 function (listener) {
3122 this.listenerList.remove (javax.swing.event.DocumentListener, listener);
3123 }, "javax.swing.event.DocumentListener");
3124 Clazz_defineMethod (c$, "getDocumentListeners", 
3125 function () {
3126 return this.listenerList.getListeners (javax.swing.event.DocumentListener);
3127 });
3128 Clazz_overrideMethod (c$, "addUndoableEditListener", 
3129 function (listener) {
3130 this.listenerList.add (javax.swing.event.UndoableEditListener, listener);
3131 }, "javax.swing.event.UndoableEditListener");
3132 Clazz_overrideMethod (c$, "removeUndoableEditListener", 
3133 function (listener) {
3134 this.listenerList.remove (javax.swing.event.UndoableEditListener, listener);
3135 }, "javax.swing.event.UndoableEditListener");
3136 Clazz_defineMethod (c$, "getUndoableEditListeners", 
3137 function () {
3138 return this.listenerList.getListeners (javax.swing.event.UndoableEditListener);
3139 });
3140 Clazz_overrideMethod (c$, "getProperty", 
3141 function (key) {
3142 return this.getDocumentProperties ().get (key);
3143 }, "~O");
3144 Clazz_overrideMethod (c$, "putProperty", 
3145 function (key, value) {
3146 if (value != null) {
3147 this.getDocumentProperties ().put (key, value);
3148 } else {
3149 this.getDocumentProperties ().remove (key);
3150 }}, "~O,~O");
3151 Clazz_overrideMethod (c$, "remove", 
3152 function (offs, len) {
3153 var filter = this.getDocumentFilter ();
3154 this.writeLock ();
3155 try {
3156 if (filter != null) {
3157 filter.remove (this.getFilterBypass (), offs, len);
3158 } else {
3159 this.handleRemove (offs, len);
3160 }} finally {
3161 this.writeUnlock ();
3162 }
3163 }, "~N,~N");
3164 Clazz_defineMethod (c$, "handleRemove", 
3165 function (offs, len) {
3166 if (len > 0) {
3167 if (offs < 0 || (offs + len) > this.getLength ()) {
3168 throw  new javax.swing.text.BadLocationException ("Invalid remove", this.getLength () + 1);
3169 }var chng = Clazz_innerTypeInstance (javax.swing.text.AbstractDocument.DefaultDocumentEvent, this, null, offs, len, javax.swing.event.DocumentEvent.EventType.REMOVE);
3170 var isComposedTextElement = false;
3171 isComposedTextElement = javax.swing.text.Utilities.isComposedTextElement (this, offs);
3172 this.removeUpdate (chng);
3173 var u = this.data.remove (offs, len);
3174 if (u != null) {
3175 chng.addEdit (u);
3176 }this.postRemoveUpdate (chng);
3177 chng.end ();
3178 this.fireRemoveUpdate (chng);
3179 if ((u != null) && !isComposedTextElement) {
3180 this.fireUndoableEditUpdate ( new javax.swing.event.UndoableEditEvent (this, chng));
3181 }}}, "~N,~N");
3182 Clazz_overrideMethod (c$, "replace", 
3183 function (offset, length, text, attrs) {
3184 if (length == 0 && (text == null || text.length == 0)) {
3185 return;
3186 }var filter = this.getDocumentFilter ();
3187 this.writeLock ();
3188 try {
3189 if (filter != null) {
3190 filter.replace (this.getFilterBypass (), offset, length, text, attrs);
3191 } else {
3192 if (length > 0) {
3193 this.remove (offset, length);
3194 }if (text != null && text.length > 0) {
3195 this.insertString (offset, text, attrs);
3196 }}} finally {
3197 this.writeUnlock ();
3198 }
3199 }, "~N,~N,~S,javax.swing.text.AttributeSet");
3200 Clazz_overrideMethod (c$, "insertString", 
3201 function (offs, str, a) {
3202 if ((str == null) || (str.length == 0)) {
3203 return;
3204 }var filter = this.getDocumentFilter ();
3205 this.writeLock ();
3206 try {
3207 if (filter != null) {
3208 filter.insertString (this.getFilterBypass (), offs, str, a);
3209 } else {
3210 this.handleInsertString (offs, str, a);
3211 }} finally {
3212 this.writeUnlock ();
3213 }
3214 }, "~N,~S,javax.swing.text.AttributeSet");
3215 Clazz_defineMethod (c$, "handleInsertString", 
3216 function (offs, str, a) {
3217 if ((str == null) || (str.length == 0)) {
3218 return;
3219 }var u = this.data.insertString (offs, str);
3220 var e = Clazz_innerTypeInstance (javax.swing.text.AbstractDocument.DefaultDocumentEvent, this, null, offs, str.length, javax.swing.event.DocumentEvent.EventType.INSERT);
3221 if (u != null) {
3222 e.addEdit (u);
3223 }if (this.getProperty ("i18n").equals (Boolean.FALSE)) {
3224 }this.insertUpdate (e, a);
3225 e.end ();
3226 this.fireInsertUpdate (e);
3227 if (u != null && (a == null || !a.isDefined (javax.swing.text.StyleConstants.ComposedTextAttribute))) {
3228 this.fireUndoableEditUpdate ( new javax.swing.event.UndoableEditEvent (this, e));
3229 }}, "~N,~S,javax.swing.text.AttributeSet");
3230 Clazz_defineMethod (c$, "getText", 
3231 function (offset, length) {
3232 if (length < 0) {
3233 throw  new javax.swing.text.BadLocationException ("Length must be positive", length);
3234 }var str = this.data.getString (offset, length);
3235 return str;
3236 }, "~N,~N");
3237 Clazz_defineMethod (c$, "getText", 
3238 function (offset, length, txt) {
3239 if (length < 0) {
3240 throw  new javax.swing.text.BadLocationException ("Length must be positive", length);
3241 }this.data.getChars (offset, length, txt);
3242 }, "~N,~N,javax.swing.text.Segment");
3243 Clazz_overrideMethod (c$, "createPosition", 
3244 function (offs) {
3245 return this.data.createPosition (offs);
3246 }, "~N");
3247 Clazz_overrideMethod (c$, "getStartPosition", 
3248 function () {
3249 var p;
3250 try {
3251 p = this.createPosition (0);
3252 } catch (bl) {
3253 if (Clazz_exceptionOf (bl, javax.swing.text.BadLocationException)) {
3254 p = null;
3255 } else {
3256 throw bl;
3257 }
3258 }
3259 return p;
3260 });
3261 Clazz_overrideMethod (c$, "getEndPosition", 
3262 function () {
3263 var p;
3264 try {
3265 p = this.createPosition (this.data.length ());
3266 } catch (bl) {
3267 if (Clazz_exceptionOf (bl, javax.swing.text.BadLocationException)) {
3268 p = null;
3269 } else {
3270 throw bl;
3271 }
3272 }
3273 return p;
3274 });
3275 Clazz_overrideMethod (c$, "getRootElements", 
3276 function () {
3277 var elems =  new Array (2);
3278 elems[0] = this.getDefaultRootElement ();
3279 elems[1] = this.getBidiRootElement ();
3280 return elems;
3281 });
3282 Clazz_defineMethod (c$, "getFilterBypass", 
3283  function () {
3284 if (this.filterBypass == null) {
3285 this.filterBypass = Clazz_innerTypeInstance (javax.swing.text.AbstractDocument.DefaultFilterBypass, this, null);
3286 }return this.filterBypass;
3287 });
3288 Clazz_defineMethod (c$, "getBidiRootElement", 
3289 function () {
3290 return this.bidiRoot;
3291 });
3292 Clazz_defineMethod (c$, "isLeftToRight", 
3293 function (p0, p1) {
3294 if (!this.getProperty ("i18n").equals (Boolean.TRUE)) {
3295 return true;
3296 }var bidiRoot = this.getBidiRootElement ();
3297 var index = bidiRoot.getElementIndex (p0);
3298 var bidiElem = bidiRoot.getElement (index);
3299 if (bidiElem.getEndOffset () >= p1) {
3300 var bidiAttrs = bidiElem.getAttributes ();
3301 return ((javax.swing.text.StyleConstants.getBidiLevel (bidiAttrs) % 2) == 0);
3302 }return true;
3303 }, "~N,~N");
3304 Clazz_defineMethod (c$, "getAttributeContext", 
3305 function () {
3306 return this.context;
3307 });
3308 Clazz_defineMethod (c$, "insertUpdate", 
3309 function (chng, attr) {
3310 if (chng.type === javax.swing.event.DocumentEvent.EventType.INSERT && chng.getLength () > 0 && !Boolean.TRUE.equals (this.getProperty (javax.swing.text.AbstractDocument.MultiByteProperty))) {
3311 var segment = javax.swing.text.SegmentCache.getSharedSegment ();
3312 try {
3313 this.getText (chng.getOffset (), chng.getLength (), segment);
3314 segment.first ();
3315 do {
3316 if ((segment.current ()).charCodeAt (0) > 255) {
3317 this.putProperty (javax.swing.text.AbstractDocument.MultiByteProperty, Boolean.TRUE);
3318 break;
3319 }} while (segment.next () != '\uffff');
3320 } catch (ble) {
3321 if (Clazz_exceptionOf (ble, javax.swing.text.BadLocationException)) {
3322 } else {
3323 throw ble;
3324 }
3325 }
3326 javax.swing.text.SegmentCache.releaseSharedSegment (segment);
3327 }}, "javax.swing.text.AbstractDocument.DefaultDocumentEvent,javax.swing.text.AttributeSet");
3328 Clazz_defineMethod (c$, "removeUpdate", 
3329 function (chng) {
3330 }, "javax.swing.text.AbstractDocument.DefaultDocumentEvent");
3331 Clazz_defineMethod (c$, "postRemoveUpdate", 
3332 function (chng) {
3333 }, "javax.swing.text.AbstractDocument.DefaultDocumentEvent");
3334 Clazz_defineMethod (c$, "getContent", 
3335 function () {
3336 return this.data;
3337 });
3338 Clazz_defineMethod (c$, "createLeafElement", 
3339 function (parent, a, p0, p1) {
3340 return Clazz_innerTypeInstance (javax.swing.text.AbstractDocument.LeafElement, this, null, parent, a, p0, p1);
3341 }, "javax.swing.text.Element,javax.swing.text.AttributeSet,~N,~N");
3342 Clazz_defineMethod (c$, "createBranchElement", 
3343 function (parent, a) {
3344 return Clazz_innerTypeInstance (javax.swing.text.AbstractDocument.BranchElement, this, null, parent, a);
3345 }, "javax.swing.text.Element,javax.swing.text.AttributeSet");
3346 Clazz_defineMethod (c$, "writeLock", 
3347 function () {
3348 });
3349 Clazz_defineMethod (c$, "writeUnlock", 
3350 function () {
3351 });
3352 Clazz_defineMethod (c$, "readLock", 
3353 function () {
3354 });
3355 Clazz_defineMethod (c$, "readUnlock", 
3356 function () {
3357 });
3358 c$.$AbstractDocument$AbstractElement$ = function () {
3359 Clazz_pu$h(self.c$);
3360 c$ = Clazz_decorateAsClass (function () {
3361 Clazz_prepareCallback (this, arguments);
3362 this.parent = null;
3363 this.attributes = null;
3364 Clazz_instantialize (this, arguments);
3365 }, javax.swing.text.AbstractDocument, "AbstractElement", null, [javax.swing.text.Element, javax.swing.text.MutableAttributeSet, javax.swing.tree.TreeNode]);
3366 Clazz_makeConstructor (c$, 
3367 function (a, b) {
3368 this.parent = a;
3369 this.attributes = this.b$["javax.swing.text.AbstractDocument"].getAttributeContext ().getEmptySet ();
3370 if (b != null) {
3371 this.addAttributes (b);
3372 }}, "javax.swing.text.Element,javax.swing.text.AttributeSet");
3373 Clazz_defineMethod (c$, "getAttributeCount", 
3374 function () {
3375 return this.attributes.getAttributeCount ();
3376 });
3377 Clazz_defineMethod (c$, "isDefined", 
3378 function (a) {
3379 return this.attributes.isDefined (a);
3380 }, "~O");
3381 Clazz_defineMethod (c$, "isEqual", 
3382 function (a) {
3383 return this.attributes.isEqual (a);
3384 }, "javax.swing.text.AttributeSet");
3385 Clazz_defineMethod (c$, "copyAttributes", 
3386 function () {
3387 return this.attributes.copyAttributes ();
3388 });
3389 Clazz_defineMethod (c$, "getAttribute", 
3390 function (a) {
3391 var b = this.attributes.getAttribute (a);
3392 if (b == null) {
3393 var c = (this.parent != null) ? this.parent.getAttributes () : null;
3394 if (c != null) {
3395 b = c.getAttribute (a);
3396 }}return b;
3397 }, "~O");
3398 Clazz_defineMethod (c$, "getAttributeNames", 
3399 function () {
3400 return this.attributes.getAttributeNames ();
3401 });
3402 Clazz_defineMethod (c$, "containsAttribute", 
3403 function (a, b) {
3404 return this.attributes.containsAttribute (a, b);
3405 }, "~O,~O");
3406 Clazz_defineMethod (c$, "containsAttributes", 
3407 function (a) {
3408 return this.attributes.containsAttributes (a);
3409 }, "javax.swing.text.AttributeSet");
3410 Clazz_defineMethod (c$, "getResolveParent", 
3411 function () {
3412 var a = this.attributes.getResolveParent ();
3413 if ((a == null) && (this.parent != null)) {
3414 a = this.parent.getAttributes ();
3415 }return a;
3416 });
3417 Clazz_overrideMethod (c$, "addAttribute", 
3418 function (a, b) {
3419 this.checkForIllegalCast ();
3420 var c = this.b$["javax.swing.text.AbstractDocument"].getAttributeContext ();
3421 this.attributes = c.addAttribute (this.attributes, a, b);
3422 }, "~O,~O");
3423 Clazz_overrideMethod (c$, "addAttributes", 
3424 function (a) {
3425 this.checkForIllegalCast ();
3426 var b = this.b$["javax.swing.text.AbstractDocument"].getAttributeContext ();
3427 this.attributes = b.addAttributes (this.attributes, a);
3428 }, "javax.swing.text.AttributeSet");
3429 Clazz_overrideMethod (c$, "removeAttribute", 
3430 function (a) {
3431 this.checkForIllegalCast ();
3432 var b = this.b$["javax.swing.text.AbstractDocument"].getAttributeContext ();
3433 this.attributes = b.removeAttribute (this.attributes, a);
3434 }, "~O");
3435 Clazz_defineMethod (c$, "removeAttributes", 
3436 function (a) {
3437 this.checkForIllegalCast ();
3438 var b = this.b$["javax.swing.text.AbstractDocument"].getAttributeContext ();
3439 this.attributes = b.removeAttributes (this.attributes, a);
3440 }, "java.util.Enumeration");
3441 Clazz_defineMethod (c$, "removeAttributes", 
3442 function (a) {
3443 this.checkForIllegalCast ();
3444 var b = this.b$["javax.swing.text.AbstractDocument"].getAttributeContext ();
3445 if (a === this) {
3446 this.attributes = b.getEmptySet ();
3447 } else {
3448 this.attributes = b.removeAttributes (this.attributes, a);
3449 }}, "javax.swing.text.AttributeSet");
3450 Clazz_overrideMethod (c$, "setResolveParent", 
3451 function (a) {
3452 this.checkForIllegalCast ();
3453 var b = this.b$["javax.swing.text.AbstractDocument"].getAttributeContext ();
3454 if (a != null) {
3455 this.attributes = b.addAttribute (this.attributes, javax.swing.text.StyleConstants.ResolveAttribute, a);
3456 } else {
3457 this.attributes = b.removeAttribute (this.attributes, javax.swing.text.StyleConstants.ResolveAttribute);
3458 }}, "javax.swing.text.AttributeSet");
3459 Clazz_defineMethod (c$, "checkForIllegalCast", 
3460  function () {
3461 });
3462 Clazz_overrideMethod (c$, "getDocument", 
3463 function () {
3464 return this.b$["javax.swing.text.AbstractDocument"];
3465 });
3466 Clazz_overrideMethod (c$, "getParentElement", 
3467 function () {
3468 return this.parent;
3469 });
3470 Clazz_defineMethod (c$, "getAttributes", 
3471 function () {
3472 return this;
3473 });
3474 Clazz_overrideMethod (c$, "getName", 
3475 function () {
3476 if (this.attributes.isDefined ("$ename")) {
3477 return this.attributes.getAttribute ("$ename");
3478 }return null;
3479 });
3480 Clazz_overrideMethod (c$, "getChildAt", 
3481 function (a) {
3482 return this.getElement (a);
3483 }, "~N");
3484 Clazz_overrideMethod (c$, "getChildCount", 
3485 function () {
3486 return this.getElementCount ();
3487 });
3488 Clazz_overrideMethod (c$, "getParent", 
3489 function () {
3490 return this.getParentElement ();
3491 });
3492 Clazz_overrideMethod (c$, "getIndex", 
3493 function (a) {
3494 for (var b = this.getChildCount () - 1; b >= 0; b--) if (this.getChildAt (b) === a) return b;
3495
3496 return -1;
3497 }, "javax.swing.tree.TreeNode");
3498 c$ = Clazz_p0p ();
3499 };
3500 c$.$AbstractDocument$BranchElement$ = function () {
3501 Clazz_pu$h(self.c$);
3502 c$ = Clazz_decorateAsClass (function () {
3503 Clazz_prepareCallback (this, arguments);
3504 this.$children = null;
3505 this.nchildren = 0;
3506 this.lastIndex = 0;
3507 Clazz_instantialize (this, arguments);
3508 }, javax.swing.text.AbstractDocument, "BranchElement", javax.swing.text.AbstractDocument.AbstractElement, null, Clazz_innerTypeInstance (javax.swing.text.AbstractDocument.AbstractElement, this, null, Clazz_inheritArgs));
3509 Clazz_makeConstructor (c$, 
3510 function (a, b) {
3511 Clazz_superConstructor (this, javax.swing.text.AbstractDocument.BranchElement, [a, b]);
3512 this.$children =  new Array (1);
3513 this.nchildren = 0;
3514 this.lastIndex = -1;
3515 }, "javax.swing.text.Element,javax.swing.text.AttributeSet");
3516 Clazz_defineMethod (c$, "positionToElement", 
3517 function (a) {
3518 var b = this.getElementIndex (a);
3519 var c = this.$children[b];
3520 var d = c.getStartOffset ();
3521 var e = c.getEndOffset ();
3522 if ((a >= d) && (a < e)) {
3523 return c;
3524 }return null;
3525 }, "~N");
3526 Clazz_defineMethod (c$, "replace", 
3527 function (a, b, c) {
3528 var d = c.length - b;
3529 var e = a + b;
3530 var f = this.nchildren - e;
3531 var g = e + d;
3532 if ((this.nchildren + d) >= this.$children.length) {
3533 var h = Math.max (2 * this.$children.length, this.nchildren + d);
3534 var i =  new Array (h);
3535 System.arraycopy (this.$children, 0, i, 0, a);
3536 System.arraycopy (c, 0, i, a, c.length);
3537 System.arraycopy (this.$children, e, i, g, f);
3538 this.$children = i;
3539 } else {
3540 System.arraycopy (this.$children, e, this.$children, g, f);
3541 System.arraycopy (c, 0, this.$children, a, c.length);
3542 }this.nchildren = this.nchildren + d;
3543 }, "~N,~N,~A");
3544 Clazz_overrideMethod (c$, "toString", 
3545 function () {
3546 return "BranchElement(" + this.getName () + ") " + this.getStartOffset () + "," + this.getEndOffset () + "\n";
3547 });
3548 Clazz_defineMethod (c$, "getName", 
3549 function () {
3550 var a = Clazz_superCall (this, javax.swing.text.AbstractDocument.BranchElement, "getName", []);
3551 if (a == null) {
3552 a = "paragraph";
3553 }return a;
3554 });
3555 Clazz_defineMethod (c$, "getStartOffset", 
3556 function () {
3557 return this.$children[0].getStartOffset ();
3558 });
3559 Clazz_overrideMethod (c$, "getEndOffset", 
3560 function () {
3561 var a = (this.nchildren > 0) ? this.$children[this.nchildren - 1] : this.$children[0];
3562 return a.getEndOffset ();
3563 });
3564 Clazz_overrideMethod (c$, "getElement", 
3565 function (a) {
3566 if (a < this.nchildren) {
3567 return this.$children[a];
3568 }return null;
3569 }, "~N");
3570 Clazz_overrideMethod (c$, "getElementCount", 
3571 function () {
3572 return this.nchildren;
3573 });
3574 Clazz_overrideMethod (c$, "getElementIndex", 
3575 function (a) {
3576 var b;
3577 var c = 0;
3578 var d = this.nchildren - 1;
3579 var e = 0;
3580 var f = this.getStartOffset ();
3581 var g;
3582 if (this.nchildren == 0) {
3583 return 0;
3584 }if (a >= this.getEndOffset ()) {
3585 return this.nchildren - 1;
3586 }if ((this.lastIndex >= c) && (this.lastIndex <= d)) {
3587 var h = this.$children[this.lastIndex];
3588 f = h.getStartOffset ();
3589 g = h.getEndOffset ();
3590 if ((a >= f) && (a < g)) {
3591 return this.lastIndex;
3592 }if (a < f) {
3593 d = this.lastIndex;
3594 } else {
3595 c = this.lastIndex;
3596 }}while (c <= d) {
3597 e = c + (Clazz_doubleToInt ((d - c) / 2));
3598 var h = this.$children[e];
3599 f = h.getStartOffset ();
3600 g = h.getEndOffset ();
3601 if ((a >= f) && (a < g)) {
3602 b = e;
3603 this.lastIndex = b;
3604 return b;
3605 } else if (a < f) {
3606 d = e - 1;
3607 } else {
3608 c = e + 1;
3609 }}
3610 if (a < f) {
3611 b = e;
3612 } else {
3613 b = e + 1;
3614 }this.lastIndex = b;
3615 return b;
3616 }, "~N");
3617 Clazz_overrideMethod (c$, "isLeaf", 
3618 function () {
3619 return false;
3620 });
3621 Clazz_overrideMethod (c$, "getAllowsChildren", 
3622 function () {
3623 return true;
3624 });
3625 Clazz_overrideMethod (c$, "children", 
3626 function () {
3627 if (this.nchildren == 0) return null;
3628 var a =  new java.util.Vector (this.nchildren);
3629 for (var b = 0; b < this.nchildren; b++) a.addElement (this.$children[b]);
3630
3631 return a.elements ();
3632 });
3633 c$ = Clazz_p0p ();
3634 };
3635 c$.$AbstractDocument$LeafElement$ = function () {
3636 Clazz_pu$h(self.c$);
3637 c$ = Clazz_decorateAsClass (function () {
3638 Clazz_prepareCallback (this, arguments);
3639 this.p0 = null;
3640 this.p1 = null;
3641 Clazz_instantialize (this, arguments);
3642 }, javax.swing.text.AbstractDocument, "LeafElement", javax.swing.text.AbstractDocument.AbstractElement, null, Clazz_innerTypeInstance (javax.swing.text.AbstractDocument.AbstractElement, this, null, Clazz_inheritArgs));
3643 Clazz_makeConstructor (c$, 
3644 function (a, b, c, d) {
3645 Clazz_superConstructor (this, javax.swing.text.AbstractDocument.LeafElement, [a, b]);
3646 try {
3647 this.p0 = this.b$["javax.swing.text.AbstractDocument"].createPosition (c);
3648 this.p1 = this.b$["javax.swing.text.AbstractDocument"].createPosition (d);
3649 } catch (e) {
3650 if (Clazz_exceptionOf (e, javax.swing.text.BadLocationException)) {
3651 this.p0 = null;
3652 this.p1 = null;
3653 throw  new javax.swing.text.StateInvariantError ("Can't create Position references");
3654 } else {
3655 throw e;
3656 }
3657 }
3658 }, "javax.swing.text.Element,javax.swing.text.AttributeSet,~N,~N");
3659 Clazz_overrideMethod (c$, "toString", 
3660 function () {
3661 return "LeafElement(" + this.getName () + ") " + this.p0 + "," + this.p1 + "\n";
3662 });
3663 Clazz_overrideMethod (c$, "getStartOffset", 
3664 function () {
3665 return this.p0.getOffset ();
3666 });
3667 Clazz_overrideMethod (c$, "getEndOffset", 
3668 function () {
3669 return this.p1.getOffset ();
3670 });
3671 Clazz_defineMethod (c$, "getName", 
3672 function () {
3673 var a = Clazz_superCall (this, javax.swing.text.AbstractDocument.LeafElement, "getName", []);
3674 if (a == null) {
3675 a = "content";
3676 }return a;
3677 });
3678 Clazz_overrideMethod (c$, "getElementIndex", 
3679 function (a) {
3680 return -1;
3681 }, "~N");
3682 Clazz_overrideMethod (c$, "getElement", 
3683 function (a) {
3684 return null;
3685 }, "~N");
3686 Clazz_overrideMethod (c$, "getElementCount", 
3687 function () {
3688 return 0;
3689 });
3690 Clazz_overrideMethod (c$, "isLeaf", 
3691 function () {
3692 return true;
3693 });
3694 Clazz_overrideMethod (c$, "getAllowsChildren", 
3695 function () {
3696 return false;
3697 });
3698 Clazz_overrideMethod (c$, "children", 
3699 function () {
3700 return null;
3701 });
3702 c$ = Clazz_p0p ();
3703 };
3704 c$.$AbstractDocument$DefaultDocumentEvent$ = function () {
3705 Clazz_pu$h(self.c$);
3706 c$ = Clazz_decorateAsClass (function () {
3707 Clazz_prepareCallback (this, arguments);
3708 this.offset = 0;
3709 this.length = 0;
3710 this.changeLookup = null;
3711 this.type = null;
3712 Clazz_instantialize (this, arguments);
3713 }, javax.swing.text.AbstractDocument, "DefaultDocumentEvent", javax.swing.undo.CompoundEdit, javax.swing.event.DocumentEvent);
3714 Clazz_makeConstructor (c$, 
3715 function (a, b, c) {
3716 Clazz_superConstructor (this, javax.swing.text.AbstractDocument.DefaultDocumentEvent);
3717 this.offset = a;
3718 this.length = b;
3719 this.type = c;
3720 }, "~N,~N,javax.swing.event.DocumentEvent.EventType");
3721 Clazz_overrideMethod (c$, "toString", 
3722 function () {
3723 return this.edits.toString ();
3724 });
3725 Clazz_defineMethod (c$, "addEdit", 
3726 function (a) {
3727 if ((this.changeLookup == null) && (this.edits.size () > 10)) {
3728 this.changeLookup =  new java.util.Hashtable ();
3729 var b = this.edits.size ();
3730 for (var c = 0; c < b; c++) {
3731 var d = this.edits.elementAt (c);
3732 if (Clazz_instanceOf (d, javax.swing.event.DocumentEvent.ElementChange)) {
3733 var e = d;
3734 this.changeLookup.put (e.getElement (), e);
3735 }}
3736 }if ((this.changeLookup != null) && (Clazz_instanceOf (a, javax.swing.event.DocumentEvent.ElementChange))) {
3737 var b = a;
3738 this.changeLookup.put (b.getElement (), b);
3739 }return Clazz_superCall (this, javax.swing.text.AbstractDocument.DefaultDocumentEvent, "addEdit", [a]);
3740 }, "javax.swing.undo.UndoableEdit");
3741 Clazz_defineMethod (c$, "redo", 
3742 function () {
3743 this.b$["javax.swing.text.AbstractDocument"].writeLock ();
3744 try {
3745 Clazz_superCall (this, javax.swing.text.AbstractDocument.DefaultDocumentEvent, "redo", []);
3746 var a = Clazz_innerTypeInstance (javax.swing.text.AbstractDocument.UndoRedoDocumentEvent, this, null, this, false);
3747 if (this.type === javax.swing.event.DocumentEvent.EventType.INSERT) {
3748 this.b$["javax.swing.text.AbstractDocument"].fireInsertUpdate (a);
3749 } else if (this.type === javax.swing.event.DocumentEvent.EventType.REMOVE) {
3750 this.b$["javax.swing.text.AbstractDocument"].fireRemoveUpdate (a);
3751 } else {
3752 this.b$["javax.swing.text.AbstractDocument"].fireChangedUpdate (a);
3753 }} finally {
3754 this.b$["javax.swing.text.AbstractDocument"].writeUnlock ();
3755 }
3756 });
3757 Clazz_defineMethod (c$, "undo", 
3758 function () {
3759 this.b$["javax.swing.text.AbstractDocument"].writeLock ();
3760 try {
3761 Clazz_superCall (this, javax.swing.text.AbstractDocument.DefaultDocumentEvent, "undo", []);
3762 var a = Clazz_innerTypeInstance (javax.swing.text.AbstractDocument.UndoRedoDocumentEvent, this, null, this, true);
3763 if (this.type === javax.swing.event.DocumentEvent.EventType.REMOVE) {
3764 this.b$["javax.swing.text.AbstractDocument"].fireInsertUpdate (a);
3765 } else if (this.type === javax.swing.event.DocumentEvent.EventType.INSERT) {
3766 this.b$["javax.swing.text.AbstractDocument"].fireRemoveUpdate (a);
3767 } else {
3768 this.b$["javax.swing.text.AbstractDocument"].fireChangedUpdate (a);
3769 }} finally {
3770 this.b$["javax.swing.text.AbstractDocument"].writeUnlock ();
3771 }
3772 });
3773 Clazz_overrideMethod (c$, "isSignificant", 
3774 function () {
3775 return true;
3776 });
3777 Clazz_overrideMethod (c$, "getPresentationName", 
3778 function () {
3779 var a = this.getType ();
3780 if (a === javax.swing.event.DocumentEvent.EventType.INSERT) return javax.swing.UIManager.getString ("AbstractDocument.additionText");
3781 if (a === javax.swing.event.DocumentEvent.EventType.REMOVE) return javax.swing.UIManager.getString ("AbstractDocument.deletionText");
3782 return javax.swing.UIManager.getString ("AbstractDocument.styleChangeText");
3783 });
3784 Clazz_overrideMethod (c$, "getUndoPresentationName", 
3785 function () {
3786 return javax.swing.UIManager.getString ("AbstractDocument.undoText") + " " + this.getPresentationName ();
3787 });
3788 Clazz_overrideMethod (c$, "getRedoPresentationName", 
3789 function () {
3790 return javax.swing.UIManager.getString ("AbstractDocument.redoText") + " " + this.getPresentationName ();
3791 });
3792 Clazz_overrideMethod (c$, "getType", 
3793 function () {
3794 return this.type;
3795 });
3796 Clazz_overrideMethod (c$, "getOffset", 
3797 function () {
3798 return this.offset;