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:
11: /**
12: * ModelClass represents a UML class modeled in the casetool.
13: *
14: * Bug: In the String-based methods, interfaces are not considered yet.
15: * (See also comment in together.TogetherReprModelClass.
16: * Consequentely, classes have only one parent.
17: */package de.uka.ilkd.key.casetool;
18:
19: import java.util.Vector;
20:
21: import de.uka.ilkd.key.java.Services;
22:
23: public interface UMLModelClass extends ReprModel, ModelClass {
24:
25: // set the (OCL) invariant of the class
26: void setMyInv(String inv);
27:
28: // set the GF abstract syntax for the invariant of the class
29: void setMyInvGFAbs(String inv);
30:
31: // returns the invariant of the parent if any, else ""
32: String getParentInv();
33:
34: // returns the classname of the parent if any, else ""
35: String getParentClassName();
36:
37: // returns true if class has a parent
38: boolean hasOrigParent();
39:
40: // returns ReprModelMethod
41: Vector getOps();
42:
43: UMLInfo createUMLInfo(Services services);
44:
45: //-------------------------------------------------------------------------
46: //deprecated
47: //-------------------------------------------------------------------------
48:
49: /**@deprecated*/
50: void getAssociations(HashMapOfClassifier classifiers);
51:
52: }
|