annotate WebServiceExtensionsV1.1/WebServiceToolWorkflow_REST_SOAP/lib/SAWADLParser/src/javax/wadls/extensions/ElementExtensible.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 2004, 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 java.util.*;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
8
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
9 import javax.wadls.extensions.ExtensibilityElement;
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 * Classes that implement this interface can contain extensibility
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
13 * elements.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
14 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
15 * @author John Kaputin
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
16 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
17 public interface ElementExtensible {
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
18
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
19 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
20 * Add an extensibility element.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
21 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
22 * @param extElement the extensibility element to be added
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
23 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
24 public void addExtensibilityElement(ExtensibilityElement extElement);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
25
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
26 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
27 * Get all the extensibility elements defined here.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
28 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
29 public List getExtensibilityElements();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
30
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
31
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
32 }