KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > netbeans > tax > spec > DocumentType


1 /*
2  * The contents of this file are subject to the terms of the Common Development
3  * and Distribution License (the License). You may not use this file except in
4  * compliance with the License.
5  *
6  * You can obtain a copy of the License at http://www.netbeans.org/cddl.html
7  * or http://www.netbeans.org/cddl.txt.
8  *
9  * When distributing Covered Code, include this CDDL Header Notice in each file
10  * and include the License file at http://www.netbeans.org/cddl.txt.
11  * If applicable, add the following below the CDDL Header, with the fields
12  * enclosed by brackets [] replaced by your own identifying information:
13  * "Portions Copyrighted [year] [name of copyright owner]"
14  *
15  * The Original Software is NetBeans. The Initial Developer of the Original
16  * Software is Sun Microsystems, Inc. Portions Copyright 1997-2006 Sun
17  * Microsystems, Inc. All Rights Reserved.
18  */

19 package org.netbeans.tax.spec;
20
21 import org.netbeans.tax.TreeDocumentType;
22 import org.netbeans.tax.TreeException;
23 import org.netbeans.tax.InvalidArgumentException;
24
25 /**
26  *
27  * @author Libor Kramolis
28  * @version 0.1
29  */

30 public interface DocumentType {
31
32     //
33
// Constraints
34
//
35

36     /**
37      *
38      */

39     public static interface Constraints {
40
41         public void checkDocumentTypeElementName (String JavaDoc elementName) throws InvalidArgumentException;
42
43         public boolean isValidDocumentTypeElementName (String JavaDoc elementName);
44         
45         
46         public void checkDocumentTypePublicId (String JavaDoc publicId) throws InvalidArgumentException;
47         
48         public boolean isValidDocumentTypePublicId (String JavaDoc publicId);
49         
50         
51         public void checkDocumentTypeSystemId (String JavaDoc systemId) throws InvalidArgumentException;
52         
53         public boolean isValidDocumentTypeSystemId (String JavaDoc systemId);
54         
55     } // end: interface Constraints
56

57     
58     //
59
// Creator
60
//
61

62     /**
63      *
64      */

65     public static interface Creator {
66         
67         /**
68          * @throws InvalidArgumentException
69          */

70         public TreeDocumentType createDocumentType (String JavaDoc elementName);
71         
72         /**
73          * @throws InvalidArgumentException
74          */

75         public TreeDocumentType createDocumentType (String JavaDoc elementName, String JavaDoc publicId, String JavaDoc systemId);
76         
77     } // end: interface Creator
78

79     
80     //
81
// Writer
82
//
83

84     /**
85      *
86      */

87     public static interface Writer {
88         
89         public void writeDocumentType (TreeDocumentType documentType) throws TreeException;
90         
91     } // end: interface Writer
92

93     
94     //
95
// Child
96
//
97

98     /**
99      *
100      */

101     public static interface Child {
102         
103     } // end: intereface Child
104

105 }
106
Popular Tags