KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > gjt > sp > jedit > syntax > SyntaxStyle


1 /*
2  * SyntaxStyle.java - A simple text style class
3  * :tabSize=8:indentSize=8:noTabs=false:
4  * :folding=explicit:collapseFolds=1:
5  *
6  * Copyright (C) 1999, 2003 Slava Pestov
7  *
8  * This program is free software; you can redistribute it and/or
9  * modify it under the terms of the GNU General Public License
10  * as published by the Free Software Foundation; either version 2
11  * of the License, or any later version.
12  *
13  * This program is distributed in the hope that it will be useful,
14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16  * GNU General Public License for more details.
17  *
18  * You should have received a copy of the GNU General Public License
19  * along with this program; if not, write to the Free Software
20  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
21  */

22 package org.gjt.sp.jedit.syntax;
23
24 import java.awt.Font JavaDoc;
25 import java.awt.Color JavaDoc;
26
27 /**
28  * A simple text style class. It can specify the color, italic flag,
29  * and bold flag of a run of text.
30  * @author Slava Pestov
31  * @version $Id: SyntaxStyle.java 5184 2005-02-13 17:22:46Z spestov $
32  */

33 public class SyntaxStyle
34 {
35     //{{{ SyntaxStyle constructor
36
/**
37      * Creates a new SyntaxStyle.
38      * @param fgColor The text color
39      * @param bgColor The background color
40      * @param font The text font
41      */

42     public SyntaxStyle(Color JavaDoc fgColor, Color JavaDoc bgColor, Font JavaDoc font)
43     {
44         this.fgColor = fgColor;
45         this.bgColor = bgColor;
46         this.font = font;
47     } //}}}
48

49     //{{{ getForegroundColor() method
50
/**
51      * Returns the text color.
52      */

53     public Color JavaDoc getForegroundColor()
54     {
55         return fgColor;
56     } //}}}
57

58     //{{{ getBackgroundColor() method
59
/**
60      * Returns the background color.
61      */

62     public Color JavaDoc getBackgroundColor()
63     {
64         return bgColor;
65     } //}}}
66

67     //{{{ getFont() method
68
/**
69      * Returns the style font.
70      */

71     public Font JavaDoc getFont()
72     {
73         return font;
74     } //}}}
75

76     //{{{ Private members
77
private Color JavaDoc fgColor;
78     private Color JavaDoc bgColor;
79     private Font JavaDoc font;
80     //}}}
81
}
82
Popular Tags