1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18 /***
19 * <p>Title: WSMO Studio</p>
20 * <p>Description: Semantic Web Service Editor</p>
21 * <p>Copyright: Copyright (c) 2004-2006</p>
22 * <p>Company: OntoText Lab. / SIRMA </p>
23 */
24
25 package org.wsmostudio.choreography.editors.model;
26
27 import org.omwg.ontology.Ontology;
28 import org.wsmo.service.choreography.Choreography;
29 import org.wsmo.service.choreography.rule.*;
30 import org.wsmo.service.rule.ChoreographyRule;
31 import org.wsmo.service.signature.*;
32 import org.wsmostudio.ui.editors.model.EntityModel;
33
34 public class ChoreographyModel extends EntityModel {
35
36 public ChoreographyModel(Choreography chor) {
37 super(chor);
38 }
39
40 public Choreography getChoreography() {
41 return (Choreography)getAdapter(Choreography.class);
42 }
43
44 public StateSignature getStateSignature() {
45 return getChoreography().getStateSignature();
46 }
47
48 public void addRule(ChoreographyRule rule) {
49 getChoreography().getRules().addRule(rule);
50 setChanged();
51 }
52
53 public void addRule(ChoreographyRule newRule, ChoreographyTransitionRule containerRule) {
54 containerRule.addRule(newRule);
55 setChanged();
56 }
57
58 public void removeRule(ChoreographyRule removeRule, ChoreographyTransitionRule containerRule) {
59 containerRule.removeRule(removeRule);
60 removeRule(removeRule);
61 }
62
63 public void removeRule(ChoreographyRule rule) {
64 getChoreography().getRules().removeRule(rule);
65 setChanged();
66 }
67
68 public void addOntology(Ontology onto) {
69 getStateSignature().addOntology(onto);
70 setChanged();
71 }
72 public void removeOntology(Ontology onto) {
73 getStateSignature().removeOntology(onto);
74 setChanged();
75 }
76
77 public void addMode(Mode mode) {
78 getStateSignature().addMode(mode);
79 setChanged();
80 }
81 public void removeMode(Mode mode) {
82 getStateSignature().removeMode(mode);
83 setChanged();
84 }
85
86 public void addGrounding(GroundedMode mode, Grounding grounding) {
87 mode.addGrounding(grounding);
88 setChanged();
89 }
90 public void removeGrounding(GroundedMode mode, Grounding grounding) {
91 mode.removeGrounding(grounding);
92 setChanged();
93 }
94 }
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110