home *** CD-ROM | disk | FTP | other *** search
- package com.sun.java.swing.text.html;
-
- import com.sun.java.swing.text.Element;
- import com.sun.java.swing.text.Style;
- import com.sun.java.swing.text.StyledDocument;
- import java.io.Writer;
- import java.util.Vector;
-
- public class HTMLWriter$StrikeTranslator implements LeafTranslator {
- // $FF: synthetic field
- private final HTMLWriter this$0;
-
- public void translate(Writer var1, Element var2, Element var3) {
- var3.getAttributes();
- this.this$0.write(var1, "<");
- this.this$0.write(var1, HTMLWriter.access$0(this.this$0, "strike"));
- this.this$0.write(var1, ">");
- StyledDocument var4 = (StyledDocument)var3.getDocument();
- Style var5 = var4.getStyle("strike");
- Vector var6 = new Vector();
- if (var5 != null) {
- var6.addElement(var5);
- }
-
- HTMLWriter.access$9(this.this$0, var1, var6, var3, var2);
- this.this$0.write(var1, "</" + HTMLWriter.access$0(this.this$0, "strike") + ">");
- }
-
- public HTMLWriter$StrikeTranslator(HTMLWriter var1) {
- this.this$0 = var1;
- this.this$0 = var1;
- }
- }
-