home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &n…he Search for Life DVD 2 / DVD-ROM.iso / install / jre1_3 / lib / rt.jar / javax / swing / text / html / HTMLDocument$HTMLReader$ConvertAction.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  3.7 KB  |  88 lines
  1. package javax.swing.text.html;
  2.  
  3. import javax.swing.text.MutableAttributeSet;
  4. import javax.swing.text.html.CSS.Attribute;
  5. import javax.swing.text.html.HTML.Tag;
  6. import javax.swing.text.html.HTMLDocument.HTMLReader;
  7. import javax.swing.text.html.HTMLEditorKit.ParserCallback;
  8.  
  9. class HTMLDocument$HTMLReader$ConvertAction extends HTMLDocument.HTMLReader.TagAction {
  10.    // $FF: synthetic field
  11.    private final HTMLDocument.HTMLReader this$1;
  12.  
  13.    HTMLDocument$HTMLReader$ConvertAction(HTMLDocument.HTMLReader var1) {
  14.       super(var1);
  15.       this.this$1 = var1;
  16.    }
  17.  
  18.    public void start(HTML.Tag var1, MutableAttributeSet var2) {
  19.       this.this$1.pushCharacterStyle();
  20.       if (!this.this$1.foundInsertTag) {
  21.          boolean var3 = HTMLReader.access$300(this.this$1, var1, var2, false);
  22.          if (this.this$1.foundInsertTag && !this.this$1.inParagraph) {
  23.             this.this$1.inParagraph = this.this$1.impliedP = true;
  24.          }
  25.  
  26.          if (!var3) {
  27.             return;
  28.          }
  29.       }
  30.  
  31.       if (var2.isDefined(ParserCallback.IMPLIED)) {
  32.          var2.removeAttribute(ParserCallback.IMPLIED);
  33.       }
  34.  
  35.       if (this.this$1.styleAttributes != null) {
  36.          this.this$1.charAttr.addAttributes(this.this$1.styleAttributes);
  37.       }
  38.  
  39.       this.this$1.charAttr.addAttribute(var1, var2.copyAttributes());
  40.       StyleSheet var7 = HTMLReader.access$100(this.this$1).getStyleSheet();
  41.       if (var1 == Tag.B) {
  42.          var7.addCSSAttribute(this.this$1.charAttr, Attribute.FONT_WEIGHT, "bold");
  43.       } else if (var1 == Tag.I) {
  44.          var7.addCSSAttribute(this.this$1.charAttr, Attribute.FONT_STYLE, "italic");
  45.       } else if (var1 == Tag.U) {
  46.          Object var4 = this.this$1.charAttr.getAttribute(Attribute.TEXT_DECORATION);
  47.          String var5 = "underline";
  48.          var5 = var4 != null ? var5 + "," + var4.toString() : var5;
  49.          var7.addCSSAttribute(this.this$1.charAttr, Attribute.TEXT_DECORATION, var5);
  50.       } else if (var1 == Tag.STRIKE) {
  51.          Object var8 = this.this$1.charAttr.getAttribute(Attribute.TEXT_DECORATION);
  52.          String var13 = "line-through";
  53.          var13 = var8 != null ? var13 + "," + var8.toString() : var13;
  54.          var7.addCSSAttribute(this.this$1.charAttr, Attribute.TEXT_DECORATION, var13);
  55.       } else if (var1 == Tag.SUP) {
  56.          Object var9 = this.this$1.charAttr.getAttribute(Attribute.VERTICAL_ALIGN);
  57.          String var15 = "sup";
  58.          var15 = var9 != null ? var15 + "," + var9.toString() : var15;
  59.          var7.addCSSAttribute(this.this$1.charAttr, Attribute.VERTICAL_ALIGN, var15);
  60.       } else if (var1 == Tag.SUB) {
  61.          Object var10 = this.this$1.charAttr.getAttribute(Attribute.VERTICAL_ALIGN);
  62.          String var17 = "sub";
  63.          var17 = var10 != null ? var17 + "," + var10.toString() : var17;
  64.          var7.addCSSAttribute(this.this$1.charAttr, Attribute.VERTICAL_ALIGN, var17);
  65.       } else if (var1 == Tag.FONT) {
  66.          String var11 = (String)var2.getAttribute(javax.swing.text.html.HTML.Attribute.COLOR);
  67.          if (var11 != null) {
  68.             var7.addCSSAttribute(this.this$1.charAttr, Attribute.COLOR, var11);
  69.          }
  70.  
  71.          String var19 = (String)var2.getAttribute(javax.swing.text.html.HTML.Attribute.FACE);
  72.          if (var19 != null) {
  73.             var7.addCSSAttribute(this.this$1.charAttr, Attribute.FONT_FAMILY, var19);
  74.          }
  75.  
  76.          String var6 = (String)var2.getAttribute(javax.swing.text.html.HTML.Attribute.SIZE);
  77.          if (var6 != null) {
  78.             var7.addCSSAttributeFromHTML(this.this$1.charAttr, Attribute.FONT_SIZE, var6);
  79.          }
  80.       }
  81.  
  82.    }
  83.  
  84.    public void end(HTML.Tag var1) {
  85.       this.this$1.popCharacterStyle();
  86.    }
  87. }
  88.