?? dtdmixed.java
字號:
package com.wutka.dtd;import java.io.*;import java.util.*;/** Represents a mixed Element content (PCDATA + choice/sequence). * Mixed Element can contain #PCDATA, or it can contain * #PCDATA followed by a list of pipe-separated names. * * @author Mark Wutka * @version $Revision: 1.16 $ $Date: 2002/07/19 01:20:11 $ by $Author: wutka $ */public class DTDMixed extends DTDContainer{ public DTDMixed() { }/** Writes out a declaration for mixed content */ public void write(PrintWriter out) throws IOException { out.print("("); Enumeration e = getItemsVec().elements(); boolean isFirst = true; while (e.hasMoreElements()) { if (!isFirst) out.print(" | "); isFirst = false; DTDItem item = (DTDItem) e.nextElement(); item.write(out); } out.print(")"); cardinal.write(out); } public boolean equals(Object ob) { if (ob == this) return true; if (!(ob instanceof DTDMixed)) return false; return super.equals(ob); }}
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -