annotate WebServiceExtensionsV1.1/WebServiceToolWorkflow_REST_SOAP/lib/SAWADLParser/src/javax/wadls/PreCondition.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 package javax.wadls;
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
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
6 import org.w3c.dom.Element;
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
7
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
8 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
9 * This interface represents a precondition.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
10 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
11 * @author Zixin Wu
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
12 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
13 public interface PreCondition extends java.io.Serializable,ModelReferenceExtensible
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
14 {
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 * Set the expression of this precondition.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
18 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
19 * @param expression The desired expression.
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 void setExpression(String expression);
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 * Get the expression of this precondition.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
25 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
26 * @return The expression.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
27 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
28 public String getExpression();
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 setName(String 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 precondition.
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 precondition 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 String getName();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
38
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
39 public void setDocumentationElement(Element docEl);
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
40
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
41 /**
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
42 * Get the documentation element. This dependency on org.w3c.dom.Element
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
43 * should eventually be removed when a more appropriate way of
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
44 * representing this information is employed.
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
45 *
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
46 * @return the documentation element
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
47 */
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
48 public Element getDocumentationElement();
049760c677de Galaxy WSExtensions added successfully
uga-galaxy-group
parents:
diff changeset
49 }