annotate WebServiceExtensionsV1.1/WebServiceToolWorkflow_REST_SOAP/lib/SAWADLParser/src/edu/uga/cs/lsdis/meteors/wadls/ApplicationImpl.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 edu.uga.cs.lsdis.meteors.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.net.URI;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
8 import java.util.*;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
9
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
10 import javax.wadls.*;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
11 import javax.wadls.extensions.*;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
12 import javax.wadls.extensions.ExtensionRegistry;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
13 import javax.xml.namespace.*;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
14 import org.w3c.dom.*;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
15
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
16 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
17 * This class represents a WSDLS definition.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
18 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
19 * @author Zixin Wu (wuzixin@uga.edu)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
20 * @author Paul Fremantle
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
21 * @author Nirmal Mukhi
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
22 * @author Matthew J. Duftler
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
23 * @author namelessNerd
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
24 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
25 public class ApplicationImpl implements Application
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
26 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
27 protected String documentBaseURI = null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
28 protected QName name = null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
29 protected String targetNamespace = null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
30 protected Map namespaces = new HashMap();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
31 protected Map includes = new HashMap();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
32 protected Params params = null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
33 protected Grammars grammars = null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
34 protected Map resources = new HashMap();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
35 protected Element docEl = null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
36 protected String resourcespath=null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
37 protected List extElements = new Vector();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
38
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
39 // added by namelessNerd
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
40 protected List modelReferenceList= new ArrayList();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
41 protected List ontologyNamespaces= new ArrayList();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
42 // end namelessNerd additions
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
43
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
44 protected ExtensionRegistry extReg = null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
45
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
46 public static final long serialVersionUID = 1;
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 * Get all the Parts which has a modelReference with the specified namespace and concept.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
50 * @param namespace The namespace of the modelReference
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
51 * @param concept The concept of the modelReference
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
52 * @return All the Parts which has a modelReference with the specified namespace and concept.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
53 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
54
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
55 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
56 * Get all the Operations which has a modelReference with the specified namespace and concept.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
57 * @param namespace The namespace of the modelReference
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
58 * @param concept The concept of the modelReference
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
59 * @return All the Operations which has a modelReference with the specified namespace and concept.
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 List getMethodsByModelReference(URI namespace, String concept){
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
62 //TODO not implemented yet.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
63 return null;
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 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
68 * Get all the XSD Elements which has a modelReference with the specified namespace and concept.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
69 * @param namespace The namespace of the modelReference
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
70 * @param concept The concept of the modelReference
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
71 * @return All the XSD Elements which has a modelReference with the specified namespace and concept.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
72 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
73 public List getXSDElementsByModelReference(URI namespace, String concept){
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
74 //TODO not implemented yet.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
75 return null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
76 }
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 all the XSD ComplexTypes which has a modelReference with the specified namespace and concept.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
80 * @param namespace The namespace of the modelReference
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
81 * @param concept The concept of the modelReference
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
82 * @return All the XSD ComplexTypes which has a modelReference with the specified namespace and concept.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
83 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
84 public List getXSDComplexTypeByModelReference(URI namespace, String concept){
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
85 //TODO not implemented yet.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
86 return null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
87 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
88
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
89
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
90 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
91 * Set the document base URI of this definition. Can be used to
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
92 * represent the origin of the Definition, and can be exploited
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
93 * when resolving relative URIs (e.g. in <import>s).
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
94 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
95 * @param documentBaseURI the document base URI of this definition
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 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
99 * Create a new modelReference.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
100 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
101 * @return the newly created modelReference.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
102 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
103 public ModelReference createModelReference(){
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
104 return new ModelReferenceImpl();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
105 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
106
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
107
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
108
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
109 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
110 * Create a new precondition.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
111 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
112 * @return the newly created precondition
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
113 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
114 public PreCondition createPreCondition(){
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
115 return new OperationAddOnImpl();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
116 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
117
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
118 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
119 * Create a new effect.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
120 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
121 * @return the newly created effect
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
122 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
123 public Effect createEffect(){
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
124 return new OperationAddOnImpl();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
125 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
126
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
127 public void setDocumentBaseURI(String documentBaseURI)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
128 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
129 this.documentBaseURI = documentBaseURI;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
130 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
131
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
132
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
133 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
134 * Get the document base URI of this definition.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
135 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
136 * @return the document base URI
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
137 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
138 public String getDocumentBaseURI()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
139 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
140 return documentBaseURI;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
141 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
142
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
143 public void setResourcesPath(String resourcespath)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
144 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
145 this.resourcespath = resourcespath;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
146 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
147
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
148
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
149 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
150 * Get the document base URI of this definition.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
151 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
152 * @return the document base URI
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
153 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
154 public String getResourcesPath()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
155 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
156 return resourcespath;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
157 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
158
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
159 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
160 * Set the name of this definition.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
161 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
162 * @param name the desired name
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
163 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
164 public void setQName(QName name)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
165 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
166 this.name = name;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
167 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
168
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
169 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
170 * Get the name of this definition.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
171 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
172 * @return the definition name
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
173 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
174 public QName getQName()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
175 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
176 return name;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
177 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
178
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
179 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
180 * Set the target namespace in which WSDL elements are defined.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
181 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
182 * @param targetNamespace the target namespace
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
183 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
184 public void setTargetNamespace(String targetNamespace)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
185 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
186 this.targetNamespace = targetNamespace;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
187 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
188
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
189 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
190 * Get the target namespace in which the WSDL elements
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
191 * are defined.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
192 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
193 * @return the target namespace
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
194 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
195 public String getTargetNamespace()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
196 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
197 return targetNamespace;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
198 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
199
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
200 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
201 * Get the target namespace in which the WSDL elements
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
202 * are defined.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
203 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
204 * @return the target namespace
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
205 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
206 public List getAllModelReference()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
207 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
208 // grabModel
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
209 return modelReferenceList;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
210 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
211
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
212 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
213 * This is a way to add a namespace association to a definition.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
214 * It is similar to adding a namespace prefix declaration to the
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
215 * top of a <wsdl:definition> element. This has nothing to do
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
216 * with the <wsdl:import> element; there are separate methods for
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
217 * dealing with information described by <wsdl:import> elements.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
218 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
219 * @param prefix the prefix to use for this namespace (when
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
220 * rendering this information as XML). Use null or an empty string
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
221 * to describe the default namespace (i.e. xmlns="...").
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
222 * @param namespaceURI the namespace URI to associate the prefix
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
223 * with. If you use null, the namespace association will be removed.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
224 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
225 public void addNamespace(String prefix, String namespaceURI)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
226 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
227 if (prefix == null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
228 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
229 prefix = "";
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
230 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
231
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
232 if (namespaceURI != null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
233 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
234 namespaces.put(prefix, namespaceURI);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
235 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
236 else
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
237 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
238 namespaces.remove(prefix);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
239 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
240 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
241
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
242 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
243 * Get the namespace URI associated with this prefix. Or null if
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
244 * there is no namespace URI associated with this prefix. This is
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
245 * unrelated to the <wsdl:import> element.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
246 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
247 * @see #addNamespace(String, String)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
248 * @see #getPrefix(String)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
249 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
250 public String getNamespace(String prefix)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
251 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
252 if (prefix == null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
253 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
254 prefix = "";
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
255 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
256
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
257 return (String)namespaces.get(prefix);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
258 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
259
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
260 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
261 * Get a prefix associated with this namespace URI. Or null if
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
262 * there are no prefixes associated with this namespace URI. This is
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
263 * unrelated to the <wsdl:import> element.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
264 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
265 * @see #addNamespace(String, String)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
266 * @see #getNamespace(String)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
267 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
268 public String getPrefix(String namespaceURI)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
269 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
270 if (namespaceURI == null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
271 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
272 return null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
273 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
274
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
275 Iterator entryIterator = namespaces.entrySet().iterator();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
276
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
277 while (entryIterator.hasNext())
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
278 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
279 Map.Entry entry = (Map.Entry)entryIterator.next();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
280 String prefix = (String)entry.getKey();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
281 String assocNamespaceURI = (String)entry.getValue();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
282
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
283 if (namespaceURI.equals(assocNamespaceURI))
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
284 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
285 return prefix;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
286 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
287 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
288
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
289 return null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
290 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
291
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
292 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
293 * Get all namespace associations in this definition. The keys are
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
294 * the prefixes, and the namespace URIs are the values. This is
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
295 * unrelated to the <wsdl:import> element.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
296 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
297 * @see #addNamespace(String, String)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
298 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
299 public Map getNamespaces()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
300 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
301 return namespaces;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
302 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
303
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
304 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
305 * Set the types section.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
306 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
307 public void setParams(Params params)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
308 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
309 this.params = params;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
310 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
311
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
312 public void setGrammars(Grammars grammars)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
313 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
314 this.grammars = grammars;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
315 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
316 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
317 * Get the types section.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
318 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
319 * @return the types section
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
320 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
321 public Params getParams()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
322 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
323 return params;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
324 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
325
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
326 public Grammars getGrammars()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
327 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
328 return grammars;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
329 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
330
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
331 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
332 * Add an import to this WADL description.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
333 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
334 * @param importDef the import to be added
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
335 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
336 public void addInclude(Include includeApp)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
337 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
338 String namespaceURI = includeApp.getNamespaceURI();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
339 List includeList = (List)includes.get(namespaceURI);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
340
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
341 if (includeList == null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
342 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
343 includeList = new Vector();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
344
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
345 includes.put(namespaceURI, includeList);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
346 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
347
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
348 includeList.add(includeApp);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
349 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
350
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
351 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
352 * Get the list of imports for the specified namespaceURI.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
353 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
354 * @param namespaceURI the namespaceURI associated with the
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
355 * desired imports.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
356 * @return a list of the corresponding imports, or null if
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
357 * there weren't any matching imports
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
358 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
359 public List getIncludes(String namespaceURI)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
360 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
361 return (List)includes.get(namespaceURI);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
362 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
363
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
364 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
365 * Get a map of lists containing all the imports defined here.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
366 * The map's keys are the namespaceURIs, and the map's values
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
367 * are lists. There is one list for each namespaceURI for which
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
368 * imports have been defined.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
369 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
370 public Map getIncludes()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
371 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
372 return includes;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
373 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
374
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
375
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
376 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
377 * Add a portType to this WSDL description.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
378 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
379 * @param portType the portType to be added
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
380 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
381 public void addResource(Resource portType)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
382 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
383 resources.put(portType.getQName(), portType);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
384
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
385 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
386
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
387 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
388 * Get the specified portType. Also checks imported documents.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
389 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
390 * @param name the name of the desired portType.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
391 * @return the corresponding portType, or null if there wasn't
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
392 * any matching portType
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
393 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
394 public Resource getResource(QName name)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
395 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
396 Resource resource = (Resource)resources.get(name);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
397
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
398 if (resource == null && name != null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
399 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
400 resource = (Resource)getFromIncludes(Constants.ELEM_RESOURCE, name);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
401 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
402
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
403 return resource;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
404 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
405
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
406 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
407 * Remove the specified portType from this definition.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
408 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
409 * @param name the name of the portType to remove
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
410 * @return the portType previously associated with this qname, if there
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
411 * was one; may return null
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
412 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
413 public Resource removeResource(QName name)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
414 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
415 return (Resource)resources.remove(name);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
416 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
417
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
418 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
419 * Get all the portTypes defined here.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
420 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
421 public Map getResources()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
422 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
423 return resources;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
424 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
425
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
426
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
427 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
428 * Set the documentation element for this document. This dependency
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
429 * on org.w3c.dom.Element should eventually be removed when a more
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
430 * appropriate way of representing this information is employed.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
431 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
432 * @param docEl the documentation element
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
433 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
434 public void setDocumentationElement(Element docEl)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
435 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
436 this.docEl = docEl;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
437 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
438
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
439 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
440 * Get the documentation element. This dependency on org.w3c.dom.Element
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
441 * should eventually be removed when a more appropriate way of
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
442 * representing this information is employed.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
443 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
444 * @return the documentation element
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
445 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
446 public Element getDocumentationElement()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
447 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
448 return docEl;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
449 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
450
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
451 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
452 * Get all the extensibility elements defined here.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
453 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
454 public List getExtensibilityElements()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
455 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
456 return extElements;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
457 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
458
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
459
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
460 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
461 * Create a new import.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
462 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
463 * @return the newly created import
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
464 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
465 public Include createInclude()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
466 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
467 return new IncludeImpl();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
468 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
469
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
470 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
471 * Create a new input.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
472 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
473 * @return the newly created input
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
474 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
475 public Request createRequest()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
476 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
477 return new RequestImpl();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
478 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
479
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
480
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
481 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
482 * Create a new operation.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
483 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
484 * @return the newly created operation
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
485 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
486 public Method createMethod()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
487 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
488 return new MethodImpl();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
489 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
490
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
491 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
492 * Create a new output.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
493 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
494 * @return the newly created output
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
495 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
496 public Response createResponse()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
497 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
498 return new ResponseImpl();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
499 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
500
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
501 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
502 * Create a new port type.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
503 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
504 * @return the newly created port type
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
505 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
506 public Resource createResource()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
507 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
508 return new ResourceImpl();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
509 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
510
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
511 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
512 * Create a new types section.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
513 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
514 * @return the newly created types section
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
515 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
516 public Params createParams()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
517 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
518 return new ParamsImpl(this);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
519 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
520 public Grammars createGrammars()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
521 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
522 return new GrammarsImpl(this);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
523 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
524
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
525 private Object getFromIncludes(String typeOfApplication, QName name)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
526 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
527 Object ret = null;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
528 List includeList = getIncludes(name.getNamespaceURI());
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
529
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
530 if (includeList != null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
531 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
532 Iterator includeIterator = includeList.iterator();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
533
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
534 while (includeIterator.hasNext())
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
535 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
536 Include includeApp = (Include)includeIterator.next();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
537
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
538 if (includeApp != null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
539 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
540 Application includedApp = includeApp.getApplication();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
541
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
542 if (includedApp != null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
543 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
544 /*
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
545 These object comparisons will work fine because
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
546 this private method is only called from within
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
547 this class, using only the pre-defined constants
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
548 from the Constants class as the typeOfDefinition
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
549 argument.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
550 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
551 if (typeOfApplication == Constants.ELEM_RESOURCE)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
552 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
553 ret = includedApp.getResource(name);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
554 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
555
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
556 if (ret != null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
557 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
558 return ret;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
559 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
560 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
561 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
562 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
563 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
564
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
565 return ret;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
566 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
567
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
568 public String toString()
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
569 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
570 StringBuffer strBuf = new StringBuffer();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
571
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
572 strBuf.append("Definition: name=" + name +
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
573 " targetNamespace=" + targetNamespace);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
574
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
575 if (includes != null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
576 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
577 Iterator includeIterator = includes.values().iterator();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
578
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
579 while (includeIterator.hasNext())
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
580 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
581 strBuf.append("\n" + includeIterator.next());
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
582 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
583 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
584
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
585 if (params != null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
586 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
587 strBuf.append("\n" + params);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
588 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
589
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
590
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
591
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
592 if (resources != null)
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
593 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
594 Iterator resourceIterator = resources.values().iterator();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
595
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
596 while (resourceIterator.hasNext())
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
597 {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
598 strBuf.append("\n" + resourceIterator.next());
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
599 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
600 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
601
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
602
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
603 return strBuf.toString();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
604 }
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
605
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
606 }