KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > armedbear > j > XmlErrorBuffer


1 /*
2  * XmlErrorBuffer.java
3  *
4  * Copyright (C) 2003 Peter Graves
5  * $Id: XmlErrorBuffer.java,v 1.4 2003/06/18 23:36:46 piso Exp $
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  *
12  * This program is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20  */
21
22 package org.armedbear.j;
23
24 public final class XmlErrorBuffer extends CompilationErrorBuffer
25 {
26     private File file;
27
28     public XmlErrorBuffer(File file, String JavaDoc text)
29     {
30         super();
31         this.file = file;
32         setText(text);
33     }
34
35     public void recycle(File file, String JavaDoc text)
36     {
37         if (!Editor.getBufferList().contains(this))
38             relink();
39         empty();
40         setCurrentError(null);
41         this.file = file;
42         setText(text);
43         for (EditorIterator it = new EditorIterator(); it.hasNext();) {
44             Editor ed = it.nextEditor();
45             if (ed.getBuffer() == this) {
46                 ed.setMark(null);
47                 ed.setDot(getFirstLine(), 0);
48                 ed.updateDisplay();
49             }
50         }
51     }
52
53     public String JavaDoc toString()
54     {
55         if (file != null) {
56             FastStringBuffer sb = new FastStringBuffer();
57             sb.append(file.getName());
58             sb.append(" (errors)");
59             return sb.toString();
60         }
61         return "Errors";
62     }
63 }
64
Popular Tags