KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > enhydra > jawe > xml > elements > Manual


1 /* Manual.java
2  *
3  * Authors:
4  * Stefanovic Nenad chupo@iis.ns.ac.yu
5  * Bojanic Sasa sasaboy@neobee.net
6  * Puskas Vladimir vpuskas@eunet.yu
7  * Pilipovic Goran zboniek@uns.ac.yu
8  *
9  */

10
11 package org.enhydra.jawe.xml.elements;
12
13 import org.enhydra.jawe.xml.*;
14 import org.enhydra.jawe.xml.panels.*;
15
16 /**
17 * Represents a WfMC DTD element that has the similar name.
18 *
19 * @see XML
20 */

21 public class Manual extends XMLComplexElement {
22    /**
23    * Overrides super class method that returns XMLGroupPanel,
24    * to return the empty panel.
25    *
26    * @return Empty panel - nothing to show.
27    */

28    public XMLPanel getPanel () {
29       return new XMLPanel();
30    }
31
32    /**
33    * Overrides super-class method to indicate that this element
34    * is never empty, so it's tag will always be written into
35    * XML file.
36    *
37    * @return <tt>false</tt>
38    */

39    public boolean isEmpty() {
40       return false;
41    }
42
43 }
44
Popular Tags