annotate WebServiceExtensionsV1.1/WebServiceToolWorkflow_REST_SOAP/lib/SAWADLParser/src/javax/wadls/Resource.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 java.util.*;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
8 import org.w3c.dom.*;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
9 import javax.xml.namespace.*;
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 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
13 * This interface represents a port type. It contains information about
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
14 * operations associated with this port type.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
15 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
16 * @author Paul Fremantle
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
17 * @author Nirmal Mukhi
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
18 * @author Matthew J. Duftler
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
19 * @author Zixin Wu
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
20 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
21 public interface Resource extends java.io.Serializable,ModelReferenceExtensible
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
22 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
23
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
24
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
25 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
26 * Set the name of this port type.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
27 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
28 * @param name the desired name
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
29 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
30 public void setQName(QName name);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
31
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
32 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
33 * Get the name of this port type.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
34 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
35 * @return the port type name
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
36 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
37 public QName getQName();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
38
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
39 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
40 * Add an operation to this port type.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
41 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
42 * @param operation the operation to be added
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
43 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
44 public void addMethod(Method method);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
45
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
46 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
47 * Get the specified operation. Note that operation names can
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
48 * be overloaded within a PortType. In case of overloading, the
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
49 * names of the input and output messages can be used to further
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
50 * refine the search.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
51 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
52 * @param name the name of the desired operation.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
53 * @param inputName the name of the input message; if this is null
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
54 * it will be ignored.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
55 * @param outputName the name of the output message; if this is null
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
56 * it will be ignored.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
57 * @return the corresponding operation, or null if there wasn't
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
58 * any matching operation
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
59 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
60 public Method getMethod(String name,
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
61 String inputName,
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
62 String outputName);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
63
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
64 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
65 * Get all the operations defined here.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
66 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
67 public List getMethods();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
68
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
69 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
70 * Set the documentation element for this document. This dependency
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
71 * on org.w3c.dom.Element should eventually be removed when a more
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
72 * appropriate way of representing this information is employed.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
73 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
74 * @param docEl the documentation element
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
75 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
76 public void setDocumentationElement(Element docEl);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
77
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
78 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
79 * Get the documentation element. This dependency on org.w3c.dom.Element
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
80 * should eventually be removed when a more appropriate way of
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
81 * representing this information is employed.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
82 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
83 * @return the documentation element
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
84 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
85 public Element getDocumentationElement();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
86
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
87 public void setUndefined(boolean isUndefined);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
88
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
89 public boolean isUndefined();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
90 }