1 package com.wutka.dtd;
2
3 import java.io.*;
4
5 /*** Represents the EMPTY keyword in an Element's content spec
6 *
7 * @author Mark Wutka
8 * @version $Revision: 1.16 $ $Date: 2002/07/19 01:20:11 $ by $Author: wutka $
9 */
10 public class DTDEmpty extends DTDItem
11 {
12 public DTDEmpty()
13 {
14 }
15
16 /*** Writes out the keyword "EMPTY" */
17 public void write(PrintWriter out)
18 throws IOException
19 {
20 out.print("EMPTY");
21 cardinal.write(out);
22 }
23
24 public boolean equals(Object ob)
25 {
26 if (ob == this) return true;
27 if (!(ob instanceof DTDEmpty)) return false;
28 return super.equals(ob);
29 }
30 }