?? 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 + -