Classes in this File | Line Coverage | Branch Coverage | Complexity | ||||
CrUtilityViolated |
|
| 5.0;5 |
1 | /* $Id: CrUtilityViolated.java 17849 2010-01-12 19:50:34Z linus $ | |
2 | ***************************************************************************** | |
3 | * Copyright (c) 2009 Contributors - see below | |
4 | * All rights reserved. This program and the accompanying materials | |
5 | * are made available under the terms of the Eclipse Public License v1.0 | |
6 | * which accompanies this distribution, and is available at | |
7 | * http://www.eclipse.org/legal/epl-v10.html | |
8 | * | |
9 | * Contributors: | |
10 | * maurelio1234 | |
11 | ***************************************************************************** | |
12 | * | |
13 | * Some portions of this file was previously release using the BSD License: | |
14 | */ | |
15 | ||
16 | // Copyright (c) 1996-2006 The Regents of the University of California. All | |
17 | // Rights Reserved. Permission to use, copy, modify, and distribute this | |
18 | // software and its documentation without fee, and without a written | |
19 | // agreement is hereby granted, provided that the above copyright notice | |
20 | // and this paragraph appear in all copies. This software program and | |
21 | // documentation are copyrighted by The Regents of the University of | |
22 | // California. The software program and documentation are supplied "AS | |
23 | // IS", without any accompanying services from The Regents. The Regents | |
24 | // does not warrant that the operation of the program will be | |
25 | // uninterrupted or error-free. The end-user understands that the program | |
26 | // was developed for research purposes and is advised not to rely | |
27 | // exclusively on the program for any reason. IN NO EVENT SHALL THE | |
28 | // UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, | |
29 | // SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, | |
30 | // ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF | |
31 | // THE UNIVERSITY OF CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF | |
32 | // SUCH DAMAGE. THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY | |
33 | // WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF | |
34 | // MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE | |
35 | // PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, AND THE UNIVERSITY OF | |
36 | // CALIFORNIA HAS NO OBLIGATIONS TO PROVIDE MAINTENANCE, SUPPORT, | |
37 | // UPDATES, ENHANCEMENTS, OR MODIFICATIONS. | |
38 | ||
39 | package org.argouml.uml.cognitive.critics; | |
40 | ||
41 | import java.util.ArrayList; | |
42 | import java.util.Collection; | |
43 | import java.util.HashSet; | |
44 | import java.util.Iterator; | |
45 | import java.util.Set; | |
46 | ||
47 | import org.argouml.cognitive.Designer; | |
48 | import org.argouml.model.Model; | |
49 | import org.argouml.uml.cognitive.UMLDecision; | |
50 | ||
51 | /** | |
52 | * A critic to detect when a class can never have instances (of | |
53 | * itself of any subclasses). This is done by checking that there | |
54 | * are no instance operations or attributes in the class itself | |
55 | * or in any of the realized interfaces or inherited classes. | |
56 | * | |
57 | * @author jrobbins | |
58 | */ | |
59 | public class CrUtilityViolated extends CrUML { | |
60 | ||
61 | /** | |
62 | * The constructor. | |
63 | */ | |
64 | 900 | public CrUtilityViolated() { |
65 | 900 | setupHeadAndDesc(); |
66 | 900 | addSupportedDecision(UMLDecision.STORAGE); |
67 | 900 | addSupportedDecision(UMLDecision.STEREOTYPES); |
68 | 900 | addSupportedDecision(UMLDecision.CLASS_SELECTION); |
69 | 900 | addTrigger("stereotype"); |
70 | 900 | addTrigger("behavioralFeature"); |
71 | 900 | } |
72 | ||
73 | /* | |
74 | * @see org.argouml.uml.cognitive.critics.CrUML#predicate2( | |
75 | * java.lang.Object, org.argouml.cognitive.Designer) | |
76 | */ | |
77 | @Override | |
78 | public boolean predicate2(Object dm, Designer dsgr) { | |
79 | // we could check for base class of the stereotype but the | |
80 | // condition normally covers it all. | |
81 | 0 | if (!(Model.getFacade().isAClassifier(dm))) { |
82 | 0 | return NO_PROBLEM; |
83 | } | |
84 | 0 | if (!(Model.getFacade().isUtility(dm))) { |
85 | 0 | return NO_PROBLEM; |
86 | } | |
87 | ||
88 | 0 | Collection classesToCheck = new ArrayList(); |
89 | 0 | classesToCheck.addAll(Model.getCoreHelper().getSupertypes(dm)); |
90 | 0 | classesToCheck.addAll( |
91 | Model.getCoreHelper().getAllRealizedInterfaces(dm)); | |
92 | 0 | classesToCheck.add(dm); |
93 | 0 | Iterator it = classesToCheck.iterator(); |
94 | 0 | while (it.hasNext()) { |
95 | 0 | Object o = it.next(); |
96 | 0 | if (!Model.getFacade().isAInterface(o)) { |
97 | 0 | Iterator it2 = Model.getFacade().getAttributes(o).iterator(); |
98 | 0 | while (it2.hasNext()) { |
99 | 0 | if (!Model.getFacade().isStatic(it2.next())) { |
100 | 0 | return PROBLEM_FOUND; |
101 | } | |
102 | } | |
103 | } | |
104 | 0 | Iterator it2 = Model.getFacade().getOperations(o).iterator(); |
105 | 0 | while (it2.hasNext()) { |
106 | 0 | if (!Model.getFacade().isStatic(it2.next())) { |
107 | 0 | return PROBLEM_FOUND; |
108 | } | |
109 | } | |
110 | 0 | } |
111 | 0 | return NO_PROBLEM; |
112 | } | |
113 | ||
114 | /* | |
115 | * @see org.argouml.uml.cognitive.critics.CrUML#getCriticizedDesignMaterials() | |
116 | */ | |
117 | public Set<Object> getCriticizedDesignMaterials() { | |
118 | 900 | Set<Object> ret = new HashSet<Object>(); |
119 | 900 | ret.add(Model.getMetaTypes().getClassifier()); |
120 | 900 | return ret; |
121 | } | |
122 | ||
123 | } |