📄 dtdsystem.java
字号:
package com.wutka.dtd;import java.io.*;/** Represents an external System ID in an entity declaration * * @author Mark Wutka * @version $Revision: 1.16 $ $Date: 2002/07/19 01:20:11 $ by $Author: wutka $ */public class DTDSystem extends DTDExternalID{ public DTDSystem() { }/** Writes out a declaration for this SYSTEM ID */ public void write(PrintWriter out) { if (system != null) { out.print("SYSTEM \""); out.print(system); out.print("\""); } } public boolean equals(Object ob) { if (ob == this) return true; if (!(ob instanceof DTDSystem)) return false; return super.equals(ob); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -