📄 dtdname.java
字号:
package com.wutka.dtd;import java.io.*;/** Represents a named item in the DTD * * @author Mark Wutka * @version $Revision: 1.16 $ $Date: 2002/07/19 01:20:11 $ by $Author: wutka $ */public class DTDName extends DTDItem{ public String value; public DTDName() { } public DTDName(String aValue) { value = aValue; }/** Writes out the value of this name */ public void write(PrintWriter out) throws IOException { out.print(value); cardinal.write(out); } public boolean equals(Object ob) { if (ob == this) return true; if (!(ob instanceof DTDName)) return false; if (!super.equals(ob)) return false; DTDName other = (DTDName) ob; if (value == null) { if (other.value != null) return false; } else { if (!value.equals(other.value)) return false; } return true; }/** Sets the name value */ public void setValue(String aValue) { value = aValue; }/** Retrieves the name value */ public String getValue() { return value; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -