home *** CD-ROM | disk | FTP | other *** search
- package com.ms.xml.parser;
-
- import com.ms.xml.om.ElementImpl;
- import com.ms.xml.util.Name;
- import com.ms.xml.util.XMLOutputStream;
- import java.io.IOException;
-
- public class Notation extends ElementImpl {
- Name name;
- String url;
- String pubid;
- int type;
-
- public void save(XMLOutputStream var1) throws IOException {
- var1.writeIndent();
- var1.writeChars("<!NOTATION ");
- var1.writeQualifiedName(this.name, (Name)null);
- var1.writeChars(" ");
- if (this.type == -100) {
- var1.writeChars("PUBLIC ");
- var1.writeQuotedString(this.pubid);
- var1.write(32);
- var1.writeQuotedString(this.url);
- } else {
- var1.writeChars("SYSTEM ");
- var1.writeQuotedString(this.url);
- }
-
- var1.write(62);
- var1.writeNewLine();
- }
-
- void setURL(String var1) {
- this.url = var1;
- }
-
- Notation(Name var1) {
- super(var1, 8);
- this.name = var1;
- }
- }
-