home *** CD-ROM | disk | FTP | other *** search
- package com.sun.xml.tree;
-
- import java.io.Writer;
- import org.w3c.dom.DocumentType;
-
- class XmlDocument$ExtWriteContext extends XmlWriteContext {
- // $FF: synthetic field
- private final XmlDocument this$0;
-
- XmlDocument$ExtWriteContext(XmlDocument var1, Writer var2) {
- super(var2);
- this.this$0 = var1;
- }
-
- XmlDocument$ExtWriteContext(XmlDocument var1, Writer var2, int var3) {
- super(var2, var3);
- this.this$0 = var1;
- }
-
- public boolean isEntityDeclared(String var1) {
- if (super.isEntityDeclared(var1)) {
- return true;
- } else {
- DocumentType var2 = this.this$0.getDoctype();
- if (var2 == null) {
- return false;
- } else {
- return var2.getEntities().getNamedItem(var1) != null;
- }
- }
- }
- }
-