EMMA Coverage Report (generated Sun Feb 05 10:43:15 CET 2012)
[all classes][de.uka.ipd.sdq.pcm.reliability.util]

COVERAGE SUMMARY FOR SOURCE FILE [ReliabilityValidator.java]

nameclass, %method, %block, %line, %
ReliabilityValidator.java0%   (0/1)0%   (0/18)0%   (0/890)0%   (0/98)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class ReliabilityValidator0%   (0/1)0%   (0/18)0%   (0/890)0%   (0/98)
<static initializer> 0%   (0/1)0%   (0/5)0%   (0/2)
ReliabilityValidator (): void 0%   (0/1)0%   (0/6)0%   (0/3)
getEPackage (): EPackage 0%   (0/1)0%   (0/2)0%   (0/1)
getResourceLocator (): ResourceLocator 0%   (0/1)0%   (0/3)0%   (0/1)
validate (int, Object, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/60)0%   (0/10)
validateExternalFailureOccurrenceDescription (ExternalFailureOccurrenceDescri... 0%   (0/1)0%   (0/104)0%   (0/10)
validateExternalFailureOccurrenceDescription_NoResourceTimeoutFailureAllowedF... 0%   (0/1)0%   (0/5)0%   (0/1)
validateFailureOccurrenceDescription (FailureOccurrenceDescription, Diagnosti... 0%   (0/1)0%   (0/92)0%   (0/9)
validateFailureOccurrenceDescription_EnsureValidFailureProbabilityRange (Fail... 0%   (0/1)0%   (0/5)0%   (0/1)
validateFailureType (FailureType, DiagnosticChain, Map): boolean 0%   (0/1)0%   (0/93)0%   (0/9)
validateHardwareInducedFailureType (HardwareInducedFailureType, DiagnosticCha... 0%   (0/1)0%   (0/105)0%   (0/10)
validateHardwareInducedFailureType_HardwareInducedFailureTypeHasProcessingRes... 0%   (0/1)0%   (0/5)0%   (0/1)
validateInternalFailureOccurrenceDescription (InternalFailureOccurrenceDescri... 0%   (0/1)0%   (0/104)0%   (0/10)
validateInternalFailureOccurrenceDescription_NoResourceTimeoutFailureAllowedF... 0%   (0/1)0%   (0/5)0%   (0/1)
validateNetworkInducedFailureType (NetworkInducedFailureType, DiagnosticChain... 0%   (0/1)0%   (0/105)0%   (0/10)
validateNetworkInducedFailureType_NetworkInducedFailureTypeHasCommunicationLi... 0%   (0/1)0%   (0/5)0%   (0/1)
validateResourceTimeoutFailureType (ResourceTimeoutFailureType, DiagnosticCha... 0%   (0/1)0%   (0/93)0%   (0/9)
validateSoftwareInducedFailureType (SoftwareInducedFailureType, DiagnosticCha... 0%   (0/1)0%   (0/93)0%   (0/9)

1/**
2 * Copyright 2005-2009 by SDQ, IPD, University of Karlsruhe, Germany
3 *
4 * $Id$
5 */
6package de.uka.ipd.sdq.pcm.reliability.util;
7 
8import java.util.Map;
9 
10import org.eclipse.emf.common.util.DiagnosticChain;
11import org.eclipse.emf.common.util.ResourceLocator;
12import org.eclipse.emf.ecore.EPackage;
13import org.eclipse.emf.ecore.util.EObjectValidator;
14 
15import de.uka.ipd.sdq.identifier.util.IdentifierValidator;
16import de.uka.ipd.sdq.pcm.reliability.*;
17import de.uka.ipd.sdq.pcm.reliability.ExternalFailureOccurrenceDescription;
18import de.uka.ipd.sdq.pcm.reliability.FailureOccurrenceDescription;
19import de.uka.ipd.sdq.pcm.reliability.FailureType;
20import de.uka.ipd.sdq.pcm.reliability.HardwareInducedFailureType;
21import de.uka.ipd.sdq.pcm.reliability.InternalFailureOccurrenceDescription;
22import de.uka.ipd.sdq.pcm.reliability.NetworkInducedFailureType;
23import de.uka.ipd.sdq.pcm.reliability.ReliabilityPackage;
24import de.uka.ipd.sdq.pcm.reliability.ResourceTimeoutFailureType;
25import de.uka.ipd.sdq.pcm.reliability.SoftwareInducedFailureType;
26 
27/**
28 * <!-- begin-user-doc -->
29 * The <b>Validator</b> for the model.
30 * <!-- end-user-doc -->
31 * @see de.uka.ipd.sdq.pcm.reliability.ReliabilityPackage
32 * @generated
33 */
34public class ReliabilityValidator extends EObjectValidator {
35        /**
36         * <!-- begin-user-doc -->
37         * <!-- end-user-doc -->
38         * @generated
39         */
40        public static final String copyright = "Copyright 2005-2009 by SDQ, IPD, University of Karlsruhe, Germany";
41 
42        /**
43         * The cached model package
44         * <!-- begin-user-doc -->
45         * <!-- end-user-doc -->
46         * @generated
47         */
48        public static final ReliabilityValidator INSTANCE = new ReliabilityValidator();
49 
50        /**
51         * A constant for the {@link org.eclipse.emf.common.util.Diagnostic#getSource() source} of diagnostic {@link org.eclipse.emf.common.util.Diagnostic#getCode() codes} from this package.
52         * <!-- begin-user-doc -->
53         * <!-- end-user-doc -->
54         * @see org.eclipse.emf.common.util.Diagnostic#getSource()
55         * @see org.eclipse.emf.common.util.Diagnostic#getCode()
56         * @generated
57         */
58        public static final String DIAGNOSTIC_SOURCE = "de.uka.ipd.sdq.pcm.reliability";
59 
60        /**
61         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Ensure Valid Failure Probability Range' of 'Failure Occurrence Description'.
62         * <!-- begin-user-doc -->
63         * <!-- end-user-doc -->
64         * @generated
65         */
66        public static final int FAILURE_OCCURRENCE_DESCRIPTION__ENSURE_VALID_FAILURE_PROBABILITY_RANGE = 1;
67 
68        /**
69         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Hardware Induced Failure Type Has Processing Resource Type' of 'Hardware Induced Failure Type'.
70         * <!-- begin-user-doc -->
71         * <!-- end-user-doc -->
72         * @generated
73         */
74        public static final int HARDWARE_INDUCED_FAILURE_TYPE__HARDWARE_INDUCED_FAILURE_TYPE_HAS_PROCESSING_RESOURCE_TYPE = 2;
75 
76        /**
77         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'No Resource Timeout Failure Allowed For Internal Failure Occurrence Description' of 'Internal Failure Occurrence Description'.
78         * <!-- begin-user-doc -->
79         * <!-- end-user-doc -->
80         * @generated
81         */
82        public static final int INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__NO_RESOURCE_TIMEOUT_FAILURE_ALLOWED_FOR_INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION = 3;
83 
84        /**
85         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'Network Induced Failure Type Has Communication Link Resource Type' of 'Network Induced Failure Type'.
86         * <!-- begin-user-doc -->
87         * <!-- end-user-doc -->
88         * @generated
89         */
90        public static final int NETWORK_INDUCED_FAILURE_TYPE__NETWORK_INDUCED_FAILURE_TYPE_HAS_COMMUNICATION_LINK_RESOURCE_TYPE = 4;
91 
92        /**
93         * The {@link org.eclipse.emf.common.util.Diagnostic#getCode() code} for constraint 'No Resource Timeout Failure Allowed For External Failure Occurrence Description' of 'External Failure Occurrence Description'.
94         * <!-- begin-user-doc -->
95         * <!-- end-user-doc -->
96         * @generated
97         */
98        public static final int EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION__NO_RESOURCE_TIMEOUT_FAILURE_ALLOWED_FOR_EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION = 5;
99 
100        /**
101         * A constant with a fixed name that can be used as the base value for additional hand written constants.
102         * <!-- begin-user-doc -->
103         * <!-- end-user-doc -->
104         * @generated
105         */
106        private static final int GENERATED_DIAGNOSTIC_CODE_COUNT = 5;
107 
108        /**
109         * A constant with a fixed name that can be used as the base value for additional hand written constants in a derived class.
110         * <!-- begin-user-doc -->
111         * <!-- end-user-doc -->
112         * @generated
113         */
114        protected static final int DIAGNOSTIC_CODE_COUNT = GENERATED_DIAGNOSTIC_CODE_COUNT;
115 
116        /**
117         * The cached base package validator.
118         * <!-- begin-user-doc -->
119         * <!-- end-user-doc -->
120         * @generated
121         */
122        protected IdentifierValidator identifierValidator;
123 
124        /**
125         * Creates an instance of the switch.
126         * <!-- begin-user-doc -->
127         * <!-- end-user-doc -->
128         * @generated
129         */
130        public ReliabilityValidator() {
131                super();
132                identifierValidator = IdentifierValidator.INSTANCE;
133        }
134 
135        /**
136         * Returns the package of this validator switch.
137         * <!-- begin-user-doc -->
138         * <!-- end-user-doc -->
139         * @generated
140         */
141        @Override
142        protected EPackage getEPackage() {
143          return ReliabilityPackage.eINSTANCE;
144        }
145 
146        /**
147         * Calls <code>validateXXX</code> for the corresponding classifier of the model.
148         * <!-- begin-user-doc -->
149         * <!-- end-user-doc -->
150         * @generated
151         */
152        @Override
153        protected boolean validate(int classifierID, Object value, DiagnosticChain diagnostics, Map<Object, Object> context) {
154                switch (classifierID) {
155                        case ReliabilityPackage.FAILURE_OCCURRENCE_DESCRIPTION:
156                                return validateFailureOccurrenceDescription((FailureOccurrenceDescription)value, diagnostics, context);
157                        case ReliabilityPackage.HARDWARE_INDUCED_FAILURE_TYPE:
158                                return validateHardwareInducedFailureType((HardwareInducedFailureType)value, diagnostics, context);
159                        case ReliabilityPackage.SOFTWARE_INDUCED_FAILURE_TYPE:
160                                return validateSoftwareInducedFailureType((SoftwareInducedFailureType)value, diagnostics, context);
161                        case ReliabilityPackage.INTERNAL_FAILURE_OCCURRENCE_DESCRIPTION:
162                                return validateInternalFailureOccurrenceDescription((InternalFailureOccurrenceDescription)value, diagnostics, context);
163                        case ReliabilityPackage.NETWORK_INDUCED_FAILURE_TYPE:
164                                return validateNetworkInducedFailureType((NetworkInducedFailureType)value, diagnostics, context);
165                        case ReliabilityPackage.EXTERNAL_FAILURE_OCCURRENCE_DESCRIPTION:
166                                return validateExternalFailureOccurrenceDescription((ExternalFailureOccurrenceDescription)value, diagnostics, context);
167                        case ReliabilityPackage.RESOURCE_TIMEOUT_FAILURE_TYPE:
168                                return validateResourceTimeoutFailureType((ResourceTimeoutFailureType)value, diagnostics, context);
169                        case ReliabilityPackage.FAILURE_TYPE:
170                                return validateFailureType((FailureType)value, diagnostics, context);
171                        default:
172                                return true;
173                }
174        }
175 
176        /**
177         * <!-- begin-user-doc -->
178         * <!-- end-user-doc -->
179         * @generated
180         */
181        public boolean validateFailureOccurrenceDescription(FailureOccurrenceDescription failureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object, Object> context) {
182                boolean result = validate_EveryMultiplicityConforms(failureOccurrenceDescription, diagnostics, context);
183                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(failureOccurrenceDescription, diagnostics, context);
184                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(failureOccurrenceDescription, diagnostics, context);
185                if (result || diagnostics != null) result &= validate_EveryProxyResolves(failureOccurrenceDescription, diagnostics, context);
186                if (result || diagnostics != null) result &= validate_UniqueID(failureOccurrenceDescription, diagnostics, context);
187                if (result || diagnostics != null) result &= validate_EveryKeyUnique(failureOccurrenceDescription, diagnostics, context);
188                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(failureOccurrenceDescription, diagnostics, context);
189                if (result || diagnostics != null) result &= validateFailureOccurrenceDescription_EnsureValidFailureProbabilityRange(failureOccurrenceDescription, diagnostics, context);
190                return result;
191        }
192 
193        /**
194         * Validates the EnsureValidFailureProbabilityRange constraint of '<em>Failure Occurrence Description</em>'.
195         * <!-- begin-user-doc -->
196         * <!-- end-user-doc -->
197         * @generated
198         */
199        public boolean validateFailureOccurrenceDescription_EnsureValidFailureProbabilityRange(FailureOccurrenceDescription failureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object, Object> context) {
200                return failureOccurrenceDescription.EnsureValidFailureProbabilityRange(diagnostics, context);
201        }
202 
203        /**
204         * <!-- begin-user-doc -->
205         * <!-- end-user-doc -->
206         * @generated
207         */
208        public boolean validateHardwareInducedFailureType(HardwareInducedFailureType hardwareInducedFailureType, DiagnosticChain diagnostics, Map<Object, Object> context) {
209                boolean result = validate_EveryMultiplicityConforms(hardwareInducedFailureType, diagnostics, context);
210                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(hardwareInducedFailureType, diagnostics, context);
211                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(hardwareInducedFailureType, diagnostics, context);
212                if (result || diagnostics != null) result &= validate_EveryProxyResolves(hardwareInducedFailureType, diagnostics, context);
213                if (result || diagnostics != null) result &= validate_UniqueID(hardwareInducedFailureType, diagnostics, context);
214                if (result || diagnostics != null) result &= validate_EveryKeyUnique(hardwareInducedFailureType, diagnostics, context);
215                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(hardwareInducedFailureType, diagnostics, context);
216                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(hardwareInducedFailureType, diagnostics, context);
217                if (result || diagnostics != null) result &= validateHardwareInducedFailureType_HardwareInducedFailureTypeHasProcessingResourceType(hardwareInducedFailureType, diagnostics, context);
218                return result;
219        }
220 
221        /**
222         * Validates the HardwareInducedFailureTypeHasProcessingResourceType constraint of '<em>Hardware Induced Failure Type</em>'.
223         * <!-- begin-user-doc -->
224         * <!-- end-user-doc -->
225         * @generated
226         */
227        public boolean validateHardwareInducedFailureType_HardwareInducedFailureTypeHasProcessingResourceType(HardwareInducedFailureType hardwareInducedFailureType, DiagnosticChain diagnostics, Map<Object, Object> context) {
228                return hardwareInducedFailureType.HardwareInducedFailureTypeHasProcessingResourceType(diagnostics, context);
229        }
230 
231        /**
232         * <!-- begin-user-doc -->
233         * <!-- end-user-doc -->
234         * @generated
235         */
236        public boolean validateExternalFailureOccurrenceDescription(ExternalFailureOccurrenceDescription externalFailureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object, Object> context) {
237                boolean result = validate_EveryMultiplicityConforms(externalFailureOccurrenceDescription, diagnostics, context);
238                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(externalFailureOccurrenceDescription, diagnostics, context);
239                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(externalFailureOccurrenceDescription, diagnostics, context);
240                if (result || diagnostics != null) result &= validate_EveryProxyResolves(externalFailureOccurrenceDescription, diagnostics, context);
241                if (result || diagnostics != null) result &= validate_UniqueID(externalFailureOccurrenceDescription, diagnostics, context);
242                if (result || diagnostics != null) result &= validate_EveryKeyUnique(externalFailureOccurrenceDescription, diagnostics, context);
243                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(externalFailureOccurrenceDescription, diagnostics, context);
244                if (result || diagnostics != null) result &= validateFailureOccurrenceDescription_EnsureValidFailureProbabilityRange(externalFailureOccurrenceDescription, diagnostics, context);
245                if (result || diagnostics != null) result &= validateExternalFailureOccurrenceDescription_NoResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription(externalFailureOccurrenceDescription, diagnostics, context);
246                return result;
247        }
248 
249        /**
250         * Validates the NoResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription constraint of '<em>External Failure Occurrence Description</em>'.
251         * <!-- begin-user-doc -->
252         * <!-- end-user-doc -->
253         * @generated
254         */
255        public boolean validateExternalFailureOccurrenceDescription_NoResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription(ExternalFailureOccurrenceDescription externalFailureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object, Object> context) {
256                return externalFailureOccurrenceDescription.NoResourceTimeoutFailureAllowedForExternalFailureOccurrenceDescription(diagnostics, context);
257        }
258 
259        /**
260         * <!-- begin-user-doc -->
261         * <!-- end-user-doc -->
262         * @generated
263         */
264        public boolean validateResourceTimeoutFailureType(ResourceTimeoutFailureType resourceTimeoutFailureType, DiagnosticChain diagnostics, Map<Object, Object> context) {
265                boolean result = validate_EveryMultiplicityConforms(resourceTimeoutFailureType, diagnostics, context);
266                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(resourceTimeoutFailureType, diagnostics, context);
267                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(resourceTimeoutFailureType, diagnostics, context);
268                if (result || diagnostics != null) result &= validate_EveryProxyResolves(resourceTimeoutFailureType, diagnostics, context);
269                if (result || diagnostics != null) result &= validate_UniqueID(resourceTimeoutFailureType, diagnostics, context);
270                if (result || diagnostics != null) result &= validate_EveryKeyUnique(resourceTimeoutFailureType, diagnostics, context);
271                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(resourceTimeoutFailureType, diagnostics, context);
272                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(resourceTimeoutFailureType, diagnostics, context);
273                return result;
274        }
275 
276        /**
277         * <!-- begin-user-doc -->
278         * <!-- end-user-doc -->
279         * @generated
280         */
281        public boolean validateNetworkInducedFailureType(NetworkInducedFailureType networkInducedFailureType, DiagnosticChain diagnostics, Map<Object, Object> context) {
282                boolean result = validate_EveryMultiplicityConforms(networkInducedFailureType, diagnostics, context);
283                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(networkInducedFailureType, diagnostics, context);
284                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(networkInducedFailureType, diagnostics, context);
285                if (result || diagnostics != null) result &= validate_EveryProxyResolves(networkInducedFailureType, diagnostics, context);
286                if (result || diagnostics != null) result &= validate_UniqueID(networkInducedFailureType, diagnostics, context);
287                if (result || diagnostics != null) result &= validate_EveryKeyUnique(networkInducedFailureType, diagnostics, context);
288                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(networkInducedFailureType, diagnostics, context);
289                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(networkInducedFailureType, diagnostics, context);
290                if (result || diagnostics != null) result &= validateNetworkInducedFailureType_NetworkInducedFailureTypeHasCommunicationLinkResourceType(networkInducedFailureType, diagnostics, context);
291                return result;
292        }
293 
294        /**
295         * Validates the NetworkInducedFailureTypeHasCommunicationLinkResourceType constraint of '<em>Network Induced Failure Type</em>'.
296         * <!-- begin-user-doc -->
297         * <!-- end-user-doc -->
298         * @generated
299         */
300        public boolean validateNetworkInducedFailureType_NetworkInducedFailureTypeHasCommunicationLinkResourceType(NetworkInducedFailureType networkInducedFailureType, DiagnosticChain diagnostics, Map<Object, Object> context) {
301                return networkInducedFailureType.NetworkInducedFailureTypeHasCommunicationLinkResourceType(diagnostics, context);
302        }
303 
304        /**
305         * <!-- begin-user-doc -->
306         * <!-- end-user-doc -->
307         * @generated
308         */
309        public boolean validateInternalFailureOccurrenceDescription(InternalFailureOccurrenceDescription internalFailureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object, Object> context) {
310                boolean result = validate_EveryMultiplicityConforms(internalFailureOccurrenceDescription, diagnostics, context);
311                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(internalFailureOccurrenceDescription, diagnostics, context);
312                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(internalFailureOccurrenceDescription, diagnostics, context);
313                if (result || diagnostics != null) result &= validate_EveryProxyResolves(internalFailureOccurrenceDescription, diagnostics, context);
314                if (result || diagnostics != null) result &= validate_UniqueID(internalFailureOccurrenceDescription, diagnostics, context);
315                if (result || diagnostics != null) result &= validate_EveryKeyUnique(internalFailureOccurrenceDescription, diagnostics, context);
316                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(internalFailureOccurrenceDescription, diagnostics, context);
317                if (result || diagnostics != null) result &= validateFailureOccurrenceDescription_EnsureValidFailureProbabilityRange(internalFailureOccurrenceDescription, diagnostics, context);
318                if (result || diagnostics != null) result &= validateInternalFailureOccurrenceDescription_NoResourceTimeoutFailureAllowedForInternalFailureOccurrenceDescription(internalFailureOccurrenceDescription, diagnostics, context);
319                return result;
320        }
321 
322        /**
323         * Validates the NoResourceTimeoutFailureAllowedForInternalFailureOccurrenceDescription constraint of '<em>Internal Failure Occurrence Description</em>'.
324         * <!-- begin-user-doc -->
325         * <!-- end-user-doc -->
326         * @generated
327         */
328        public boolean validateInternalFailureOccurrenceDescription_NoResourceTimeoutFailureAllowedForInternalFailureOccurrenceDescription(InternalFailureOccurrenceDescription internalFailureOccurrenceDescription, DiagnosticChain diagnostics, Map<Object, Object> context) {
329                return internalFailureOccurrenceDescription.NoResourceTimeoutFailureAllowedForInternalFailureOccurrenceDescription(diagnostics, context);
330        }
331 
332        /**
333         * <!-- begin-user-doc -->
334         * <!-- end-user-doc -->
335         * @generated
336         */
337        public boolean validateSoftwareInducedFailureType(SoftwareInducedFailureType softwareInducedFailureType, DiagnosticChain diagnostics, Map<Object, Object> context) {
338                boolean result = validate_EveryMultiplicityConforms(softwareInducedFailureType, diagnostics, context);
339                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(softwareInducedFailureType, diagnostics, context);
340                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(softwareInducedFailureType, diagnostics, context);
341                if (result || diagnostics != null) result &= validate_EveryProxyResolves(softwareInducedFailureType, diagnostics, context);
342                if (result || diagnostics != null) result &= validate_UniqueID(softwareInducedFailureType, diagnostics, context);
343                if (result || diagnostics != null) result &= validate_EveryKeyUnique(softwareInducedFailureType, diagnostics, context);
344                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(softwareInducedFailureType, diagnostics, context);
345                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(softwareInducedFailureType, diagnostics, context);
346                return result;
347        }
348 
349        /**
350         * <!-- begin-user-doc -->
351         * <!-- end-user-doc -->
352         * @generated
353         */
354        public boolean validateFailureType(FailureType failureType, DiagnosticChain diagnostics, Map<Object, Object> context) {
355                boolean result = validate_EveryMultiplicityConforms(failureType, diagnostics, context);
356                if (result || diagnostics != null) result &= validate_EveryDataValueConforms(failureType, diagnostics, context);
357                if (result || diagnostics != null) result &= validate_EveryReferenceIsContained(failureType, diagnostics, context);
358                if (result || diagnostics != null) result &= validate_EveryProxyResolves(failureType, diagnostics, context);
359                if (result || diagnostics != null) result &= validate_UniqueID(failureType, diagnostics, context);
360                if (result || diagnostics != null) result &= validate_EveryKeyUnique(failureType, diagnostics, context);
361                if (result || diagnostics != null) result &= validate_EveryMapEntryUnique(failureType, diagnostics, context);
362                if (result || diagnostics != null) result &= identifierValidator.validateIdentifier_idHasToBeUnique(failureType, diagnostics, context);
363                return result;
364        }
365 
366        /**
367         * Returns the resource locator that will be used to fetch messages for this validator's diagnostics.
368         * <!-- begin-user-doc -->
369         * <!-- end-user-doc -->
370         * @generated
371         */
372        @Override
373        public ResourceLocator getResourceLocator() {
374                // TODO
375                // Specialize this to return a resource locator for messages specific to this validator.
376                // Ensure that you remove @generated or mark it @generated NOT
377                return super.getResourceLocator();
378        }
379 
380} //ReliabilityValidator

[all classes][de.uka.ipd.sdq.pcm.reliability.util]
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov