KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > proguard > gui > splash > FontSprite


1 /*
2  * ProGuard -- shrinking, optimization, obfuscation, and preverification
3  * of Java bytecode.
4  *
5  * Copyright (c) 2002-2007 Eric Lafortune (eric@graphics.cornell.edu)
6  *
7  * This program is free software; you can redistribute it and/or modify it
8  * under the terms of the GNU General Public License as published by the Free
9  * Software Foundation; either version 2 of the License, or (at your option)
10  * any later version.
11  *
12  * This program is distributed in the hope that it will be useful, but WITHOUT
13  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14  * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
15  * more details.
16  *
17  * You should have received a copy of the GNU General Public License along
18  * with this program; if not, write to the Free Software Foundation, Inc.,
19  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20  */

21 package proguard.gui.splash;
22
23 import java.awt.*;
24
25 /**
26  * This Sprite sets the font for another given sprite.
27  *
28  * @author Eric Lafortune
29  */

30 public class FontSprite implements Sprite
31 {
32     private VariableFont font;
33     private Sprite sprite;
34
35
36     /**
37      * Creates a new FontSprite.
38      * @param font the variable Font of the given sprite.
39      * @param sprite the sprite that will be provided of a font and painted.
40      */

41     public FontSprite(VariableFont font,
42                       Sprite sprite)
43     {
44         this.font = font;
45         this.sprite = sprite;
46     }
47
48
49     // Implementation for Sprite.
50

51     public void paint(Graphics graphics, long time)
52     {
53         // Save the old font.
54
Font oldFont = graphics.getFont();
55
56         // Set the new font.
57
graphics.setFont(font.getFont(time));
58
59         // Paint the actual sprite.
60
sprite.paint(graphics, time);
61
62         // Restore the old font.
63
graphics.setFont(oldFont);
64     }
65 }
66
Popular Tags