home *** CD-ROM | disk | FTP | other *** search
- import java.awt.Font;
-
- public class myFont extends Font {
- public myFont(String var1, int var2, int var3) {
- super(var1, var2, var3);
- }
-
- public static String getFontName(String var0) {
- if (var0 == null) {
- return new String("Helvetica");
- } else {
- Object var1 = null;
- String var2 = var0.toLowerCase();
- String var3;
- if (var2.equals("courier")) {
- var3 = "Courier";
- } else if (var2.equals("helvetica")) {
- var3 = "Helvetica";
- } else if (var2.equals("dialog")) {
- var3 = "Dialog";
- } else if (var2.equals("timesroman")) {
- var3 = "TimesRoman";
- } else if (var2.equals("times roman")) {
- var3 = "TimesRoman";
- } else if (var2.equals("symbol")) {
- var3 = "Symbol";
- } else if (var2.equals("dialoginput")) {
- var3 = "DialogInput";
- } else if (var2.equals("zapfdingbats")) {
- var3 = "ZapfDingbats";
- } else {
- var3 = "Helvetica";
- }
-
- return new String(var3);
- }
- }
-
- public static int getFontStyle(String var0) {
- if (var0 == null) {
- return 0;
- } else {
- String var1 = var0.toLowerCase();
- if ("italic".equals(var1)) {
- return 2;
- } else if ("bold".equals(var1)) {
- return 1;
- } else {
- return !"bold+italic".equals(var1) && !"italic+bold".equals(var1) ? 0 : 3;
- }
- }
- }
- }
-