annotate WebServiceExtensionsV1.1/WebServiceToolWorkflow_REST_SOAP/lib/SAWADLParser/src/javax/wadls/extensions/UnknownExtensibilityElement.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.extensions;
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 import javax.xml.namespace.*;
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 * This class is used to wrap arbitrary elements.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
12 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
13 * @see UnknownExtensionSerializer
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
14 * @see UnknownExtensionDeserializer
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 Matthew J. Duftler (duftler@us.ibm.com)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
17 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
18 public class UnknownExtensibilityElement implements ExtensibilityElement,
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
19 java.io.Serializable
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
20 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
21 protected QName elementType = null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
22 // Uses the wrapper type so we can tell if it was set or not.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
23 protected Boolean required = null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
24 protected Element element = null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
25
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
26 public static final long serialVersionUID = 1;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
27
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
28 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
29 * Set the type of this extensibility element.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
30 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
31 * @param elementType the type
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
32 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
33 public void setElementType(QName elementType)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
34 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
35 this.elementType = elementType;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
36 }
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 type of this extensibility element.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
40 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
41 * @return the extensibility element's type
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
42 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
43 public QName getElementType()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
44 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
45 return elementType;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
46 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
47
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
48 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
49 * Set whether or not the semantics of this extension
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
50 * are required. Relates to the wsdl:required attribute.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
51 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
52 public void setRequired(Boolean required)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
53 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
54 this.required = required;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
55 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
56
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
57 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
58 * Get whether or not the semantics of this extension
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
59 * are required. Relates to the wsdl:required attribute.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
60 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
61 public Boolean getRequired()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
62 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
63 return required;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
64 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
65
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
66 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
67 * Set the Element for this extensibility element.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
68 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
69 * @param element the unknown element that was encountered
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
70 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
71 public void setElement(Element element)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
72 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
73 this.element = element;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
74 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
75
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
76 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
77 * Get the Element for this extensibility element.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
78 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
79 * @return the unknown element that was encountered
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
80 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
81 public Element getElement()
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 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
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
86 public String toString()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
87 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
88 StringBuffer strBuf = new StringBuffer();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
89
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
90 strBuf.append("UnknownExtensibilityElement (" + elementType + "):");
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
91 strBuf.append("\nrequired=" + required);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
92
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
93 if (element != null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
94 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
95 strBuf.append("\nelement=" + element);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
96 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
97
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
98 return strBuf.toString();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
99 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
100 }