KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > armedbear > j > jdb > JdbMode


1 /*
2  * JdbMode.java
3  *
4  * Copyright (C) 2000-2002 Peter Graves
5  * $Id: JdbMode.java,v 1.1.1.1 2002/09/24 16:09:44 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.jdb;
23
24 import org.armedbear.j.AbstractMode;
25 import org.armedbear.j.Buffer;
26 import org.armedbear.j.Constants;
27 import org.armedbear.j.Formatter;
28 import org.armedbear.j.Frame;
29 import org.armedbear.j.JavaMode;
30 import org.armedbear.j.Mode;
31 import org.armedbear.j.Property;
32 import org.armedbear.j.ToolBar;
33
34 public final class JdbMode extends AbstractMode implements Constants, Mode
35 {
36     private static final JdbMode mode = new JdbMode();
37
38     private JdbMode()
39     {
40         super(JDB_MODE, JDB_MODE_NAME);
41         setProperty(Property.VERTICAL_RULE, 0);
42         setProperty(Property.SHOW_LINE_NUMBERS, false);
43         setProperty(Property.SHOW_CHANGE_MARKS, false);
44     }
45
46     public static final JdbMode getMode()
47     {
48         return mode;
49     }
50
51     public ToolBar getToolBar(Frame frame)
52     {
53         return JavaMode.getMode().getToolBar(frame);
54     }
55
56     public Formatter getFormatter(Buffer buffer)
57     {
58         return new JdbFormatter(buffer);
59     }
60 }
61
Popular Tags