01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: //
09:
10: package de.uka.ilkd.key.casetool.together;
11:
12: import de.uka.ilkd.key.casetool.Multiplicity;
13: import de.uka.ilkd.key.casetool.UMLOCLAssociation;
14: import de.uka.ilkd.key.casetool.UMLOCLClassifier;
15:
16: /**
17: * @deprecated Replaced by Association.
18: */
19: public class UMLOCLTogetherAssociation implements UMLOCLAssociation {
20:
21: private static final boolean DEBUG = false;
22:
23: private UMLOCLClassifier source, target;
24: private String sourceRole, targetRole;
25: private Multiplicity sourceMult, targetMult;
26:
27: public UMLOCLTogetherAssociation(UMLOCLClassifier source,
28: String sourceRole, Multiplicity sourceMult,
29: UMLOCLClassifier target, String targetRole,
30: Multiplicity targetMult) {
31: if (DEBUG)
32: System.out.println("creating an association from "
33: + source.getName() + " to " + target.getName());
34: this .source = source;
35: this .target = target;
36: this .sourceRole = sourceRole;
37: this .targetRole = targetRole;
38: this .sourceMult = sourceMult;
39: this .targetMult = targetMult;
40: }
41:
42: public UMLOCLClassifier getSource() {
43: return source;
44: }
45:
46: public UMLOCLClassifier getTarget() {
47: return target;
48: }
49:
50: public Multiplicity getSourceMultiplicity() {
51: return sourceMult;
52: }
53:
54: public Multiplicity getTargetMultiplicity() {
55: return targetMult;
56: }
57:
58: public String getSourceRole() {
59: return sourceRole;
60: }
61:
62: public String getTargetRole() {
63: return targetRole;
64: }
65:
66: }
|