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