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.StyledDocument;
- import java.io.Writer;
-
- public class HTMLWriter$HeadTranslator implements BranchTranslator {
- // $FF: synthetic field
- private final HTMLWriter this$0;
-
- public void translate(Writer var1, Element var2) {
- this.this$0.write(var1, "<" + HTMLWriter.access$0(this.this$0, "head") + ">\n");
- StyledDocument var3 = (StyledDocument)var2.getDocument();
- String var4 = (String)var3.getProperty("title");
- if (var4 != null) {
- if (HTMLWriter.access$1(this.this$0)) {
- this.this$0.write(var1, " <" + HTMLWriter.access$0(this.this$0, "title") + ">" + var4 + "</" + HTMLWriter.access$0(this.this$0, "title") + ">\n");
- } else {
- this.this$0.write(var1, "<" + HTMLWriter.access$0(this.this$0, "title") + ">" + var4 + "</" + HTMLWriter.access$0(this.this$0, "title") + ">\n");
- }
- }
-
- String var5 = (String)var3.getProperty("basehref");
- if (var5 != null) {
- this.this$0.write(var1, " <" + HTMLWriter.access$0(this.this$0, "base") + " " + HTMLWriter.access$0(this.this$0, "href") + "=\"" + var5 + "\">\n");
- }
-
- this.this$0.write(var1, "</" + HTMLWriter.access$0(this.this$0, "head") + ">\n");
- }
-
- public HTMLWriter$HeadTranslator(HTMLWriter var1) {
- this.this$0 = var1;
- this.this$0 = var1;
- }
- }
-