annotate WebServiceExtensionsV1.1/WebServiceToolWorkflow_REST_SOAP/lib/SAWADLParser/src/javax/wadls/Include.java @ 0:049760c677de default tip

Galaxy WSExtensions added successfully
author uga-galaxy-group
date Tue, 05 Jul 2011 19:34:18 -0400
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
1 /*
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
2 * (c) Copyright IBM Corp 2001, 2005
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
3 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
4
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
5 package javax.wadls;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
6
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
7 import org.w3c.dom.*;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
8
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
9
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
10
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
11 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
12 * This interface represents an import, and may contain a reference
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
13 * to the imported definition.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
14 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
15 * @author Matthew J. Duftler (duftler@us.ibm.com)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
16 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
17 public interface Include extends java.io.Serializable
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
18 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
19 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
20 * Set the namespace URI of this import.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
21 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
22 * @param namespaceURI the desired namespace URI
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
23 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
24 public void setNamespaceURI(String namespaceURI);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
25
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
26 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
27 * Get the namespace URI of this import.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
28 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
29 public String getNamespaceURI();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
30
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
31 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
32 * Set the location URI of this import.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
33 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
34 * @param locationURI the desired location URI
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
35 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
36 public void setLocationURI(String locationURI);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
37
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
38 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
39 * Get the location URI of this import.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
40 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
41 public String getLocationURI();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
42
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
43 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
44 * This property can be used to hang a referenced Definition,
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
45 * and the top-level Definition (i.e. the one with the <import>)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
46 * will use this Definition when resolving referenced WSDL parts.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
47 * This would need to be made into a generic reference to handle
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
48 * other types of referenced documents.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
49 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
50 public void setApplication(Application app);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
51
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
52 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
53 * This property can be used to hang a referenced Definition,
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
54 * and the top-level Definition (i.e. the one with the <import>)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
55 * will use this Definition when resolving referenced WSDL parts.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
56 * This would need to be made into a generic reference to handle
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
57 * other types of referenced documents.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
58 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
59 public Application getApplication();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
60
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
61 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
62 * Set the documentation element for this document. This dependency
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
63 * on org.w3c.dom.Element should eventually be removed when a more
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
64 * appropriate way of representing this information is employed.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
65 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
66 * @param docEl the documentation element
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
67 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
68 public void setDocumentationElement(Element docEl);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
69
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
70 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
71 * Get the documentation element. This dependency on org.w3c.dom.Element
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
72 * should eventually be removed when a more appropriate way of
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
73 * representing this information is employed.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
74 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
75 * @return the documentation element
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
76 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
77 public Element getDocumentationElement();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
78 }