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