📄 dtdnotation.java
字号:
package com.wutka.dtd;import java.io.*;/** Represents a Notation defined in a DTD * * @author Mark Wutka * @version $Revision: 1.16 $ $Date: 2002/07/19 01:20:11 $ by $Author: wutka $ */public class DTDNotation implements DTDOutput{ public String name; public DTDExternalID externalID; public DTDNotation() { } public DTDNotation(String aName) { name = aName; }/** Writes out a declaration for this notation */ public void write(PrintWriter out) throws IOException { out.print("<!NOTATION "); out.print(name); out.print(" "); externalID.write(out); out.println(">"); } public boolean equals(Object ob) { if (ob == this) return true; if (!(ob instanceof DTDNotation)) return false; DTDNotation other = (DTDNotation) ob; if (name == null) { if (other.name != null) return false; } else { if (!name.equals(other.name)) return false; } if (externalID == null) { if (other.externalID != null) return false; } else { if (!externalID.equals(other.externalID)) return false; } return true; }/** Sets the notation name */ public void setName(String aName) { name = aName; }/** Retrieves the notation name */ public String getName() { return name; }/** Sets the external ID */ public void setExternalID(DTDExternalID theExternalID) { externalID = theExternalID; }/** Retrieves the external ID */ public DTDExternalID getExternalID() { return externalID; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -