KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*
2  * DiffOutputBuffer.java
3  *
4  * Copyright (C) 1998-2003 Peter Graves
5  * $Id: DiffOutputBuffer.java,v 1.3 2003/04/04 16:02:02 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 DiffOutputBuffer extends Buffer
25 {
26     private final File directory;
27     private final int vcType;
28
29     public DiffOutputBuffer(Buffer parentBuffer, String JavaDoc output, int vcType)
30     {
31         super();
32         this.parentBuffer = parentBuffer;
33         directory =
34             (parentBuffer == null) ? null : parentBuffer.getCurrentDirectory();
35         this.vcType = vcType;
36         init();
37         setText(output);
38     }
39
40     public DiffOutputBuffer(File directory, String JavaDoc output, int vcType)
41     {
42         super();
43         this.directory = directory;
44         this.vcType = vcType;
45         init();
46         setText(output);
47     }
48
49     public final File getCurrentDirectory()
50     {
51         return directory;
52     }
53
54     private void init()
55     {
56         supportsUndo = false;
57         type = TYPE_OUTPUT;
58         mode = DiffMode.getMode();
59         formatter = new DiffFormatter(this);
60         lineSeparator = System.getProperty("line.separator");
61         readOnly = true;
62         setProperty(Property.VERTICAL_RULE, 0);
63         setProperty(Property.SHOW_LINE_NUMBERS, false);
64         setTransient(true);
65         setInitialized(true);
66     }
67
68     public final File getDirectory()
69     {
70         return directory;
71     }
72
73     public final int getVCType()
74     {
75         return vcType;
76     }
77
78     public String JavaDoc getFileNameForDisplay()
79     {
80         return title != null ? title : "";
81     }
82 }
83
Popular Tags