Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

Source code: org/enhydra/wireless/wml/dom/WMLOptgroupElement.java


1   /*
2    * Enhydra Java Application Server Project
3    * 
4    * The contents of this file are subject to the Enhydra Public License
5    * Version 1.1 (the "License"); you may not use this file except in
6    * compliance with the License. You may obtain a copy of the License on
7    * the Enhydra web site ( http://www.enhydra.org/ ).
8    * 
9    * Software distributed under the License is distributed on an "AS IS"
10   * basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See 
11   * the License for the specific terms governing rights and limitations
12   * under the License.
13   * 
14   * The Initial Developer of the Enhydra Application Server is Lutris
15   * Technologies, Inc. The Enhydra Application Server and portions created
16   * by Lutris Technologies, Inc. are Copyright Lutris Technologies, Inc.
17   * All Rights Reserved.
18   * 
19   * Contributor(s):
20   * 
21   * $Id: WMLOptgroupElement.java,v 1.1.12.1 2000/10/19 17:59:10 jasona Exp $
22   */
23  
24  /**
25   * The interface is modeled after DOM1 Spec for HTML from W3C.
26   * The DTD used in this DOM model is from 
27   * http://www.wapforum.org/DTD/wml_1.1.xml
28   */
29  
30  package org.enhydra.wireless.wml.dom;
31  
32  
33  /**
34   * 'optgroup' element groups related 'option' elements into a
35   * hierarchy.
36   * (Section 11.6.2.2, WAP WML Version 16-Jun-1999) 
37   */
38  public interface WMLOptgroupElement extends WMLElement {
39  
40      /**
41       * 'title' specifies the title of this element
42       * (Section 11.6.2.3, WAP WML Version 16-Jun-1999)
43       */
44      public void setTitle(String newValue);
45      public String getTitle();
46  
47      /**
48       * 'xml:lang' specifics the natural or formal language in which
49       * the document is written.  
50       * (Section 8.8, WAP WML Version 16-Jun-1999) 
51       */
52      public void setXmlLang(String newValue);
53      public String getXmlLang();
54  }