home *** CD-ROM | disk | FTP | other *** search
/ PC Plus SuperCD (UK) 2000 March / pcp161a.iso / handson / files / copyjava.exe / com / sun / java / swing / text / html / HTMLWriter$FontTranslator.class (.txt) < prev    next >
Encoding:
Java Class File  |  1998-02-26  |  5.1 KB  |  61 lines
  1. package com.sun.java.swing.text.html;
  2.  
  3. import com.sun.java.swing.text.AttributeSet;
  4. import com.sun.java.swing.text.Element;
  5. import com.sun.java.swing.text.StyleConstants;
  6. import java.awt.Color;
  7. import java.io.Writer;
  8.  
  9. public class HTMLWriter$FontTranslator implements LeafTranslator {
  10.    // $FF: synthetic field
  11.    private final HTMLWriter this$0;
  12.  
  13.    public void translate(Writer var1, Element var2, Element var3) {
  14.       AttributeSet var4 = var3.getAttributes();
  15.       AttributeSet var5 = var2.getAttributes();
  16.       AttributeSet var6 = var5.getResolveParent();
  17.       if (var4.isDefined(StyleConstants.Foreground) || var4.isDefined(StyleConstants.FontSize) || var4.isDefined(StyleConstants.FontFamily)) {
  18.          HTMLWriter var10000 = this.this$0;
  19.          HTMLWriter.access$11(var10000, HTMLWriter.access$10(var10000) + 1);
  20.          this.this$0.write(var1, "<" + HTMLWriter.access$0(this.this$0, "font"));
  21.       }
  22.  
  23.       if (var4.isDefined(StyleConstants.Foreground)) {
  24.          Color var7 = StyleConstants.getForeground(var4);
  25.  
  26.          try {
  27.             String var8 = HTMLUtils.colorToHex(var7);
  28.             this.this$0.write(var1, " " + HTMLWriter.access$0(this.this$0, "color") + "=" + HTMLWriter.access$0(this.this$0, var8));
  29.          } catch (HTMLException var10) {
  30.             HTMLDebug.println("Unable to convert Color string:" + var7);
  31.          }
  32.       }
  33.  
  34.       if (var4.isDefined(StyleConstants.FontSize)) {
  35.          StyleSheet var11 = StyleReader.getStyleSheet();
  36.          int var13 = StyleConstants.getFontSize(var4);
  37.          int var9 = var11.getRelSize(var13);
  38.          if (var9 < 0) {
  39.             this.this$0.write(var1, " " + HTMLWriter.access$0(this.this$0, "size") + "=" + var9);
  40.          } else {
  41.             this.this$0.write(var1, " " + HTMLWriter.access$0(this.this$0, "size") + "=+" + var9);
  42.          }
  43.       }
  44.  
  45.       if (!var6.isDefined(StyleConstants.FontFamily) && var4.isDefined(StyleConstants.FontFamily)) {
  46.          String var12 = StyleConstants.getFontFamily(var4);
  47.          this.this$0.write(var1, " " + HTMLWriter.access$0(this.this$0, "face") + "=\"" + var12 + "\"");
  48.       }
  49.  
  50.       if (HTMLWriter.access$10(this.this$0) > 0) {
  51.          this.this$0.write(var1, ">");
  52.       }
  53.  
  54.    }
  55.  
  56.    public HTMLWriter$FontTranslator(HTMLWriter var1) {
  57.       this.this$0 = var1;
  58.       this.this$0 = var1;
  59.    }
  60. }
  61.