KickJava   Java API By Example, From Geeks To Geeks.

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


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 /**
24  * This VariableString produces a String that grows linearly with respect to its
25  * Timing, as if it is being written on a typewriter. A cursor at the end
26  * precedes the typed characters.
27  *
28  * @author Eric Lafortune
29  */
30 public class TypeWriterString implements VariableString
31 {
32     private String JavaDoc string;
33     private Timing timing;
34
35     private int cachedLength = -1;
36     private String JavaDoc cachedString;
37
38
39     /**
40      * Creates a new TypeWriterString.
41      * @param string the basic String.
42      * @param timing the applied timing.
43      */
44     public TypeWriterString(String JavaDoc string, Timing timing)
45     {
46         this.string = string;
47         this.timing = timing;
48     }
49
50
51     // Implementation for VariableString.
52
53     public String JavaDoc getString(long time)
54     {
55         double t = timing.getTiming(time);
56
57         int stringLength = string.length();
58         int length = (int)(stringLength * t + 0.5);
59         if (length != cachedLength)
60         {
61             cachedLength = length;
62             cachedString = string.substring(0, length);
63             if (t > 0.0 && length < stringLength)
64             {
65                 cachedString += "_";
66             }
67         }
68
69         return cachedString;
70     }
71 }
72
Popular Tags