blob: 3a5a614ca2985efa463bcb129f03f0e4245d6f23 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
|
/*****************************************************************************
* Copyright (c) 2010 CEA LIST.
*
*
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Sara TUCCI (CEA LIST) sara.tucci@cea.fr - Initial API and implementation
* Chokri MRAIDHA (CEA LIST) chokri.mraidha@cea.fr - Initial API and implementation
* David SERVAT (CEA LIST) david.servat@cea.fr - Initial API and implementation
*
*****************************************************************************/
package org.eclipse.papyrus.eastadl.dependability.errormodel;
import org.eclipse.papyrus.eastadl.infrastructure.FaultFailurePropagationLink_fromPortInstanceRef;
import org.eclipse.papyrus.eastadl.infrastructure.FaultFailurePropagationLink_toPortInstanceRef;
import org.eclipse.papyrus.eastadl.infrastructure.elements.EAConnector;
import org.eclipse.papyrus.eastadl.infrastructure.elements.EAElement;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Fault Failure Propagation Link</b></em>'.
* <!-- end-user-doc -->
*
* <!-- begin-model-doc -->
* The FaultFailurePropagationLink metaclass represents the links for the propagations of faults/failures across system elements. In particular, it defines that one error model provides the faults/failures that another error model receives.
*
* A fault/failure link can only be applied to compatible ports, either for fault/failure delegation within an error model or for fault/failure transmission across two error models. A FaultFailurePropagationLink can only connect fault/failure ports that have
* compatible types.
*
* Constraints:
* [1] Only compatible fromPort-toPort pairs may be connectedNo additional constraints
*
* [2] Two fault/failure ports are compatible if the EADatatype of the fromPort represents a subset of the Fault/Failure set represented by the toPort’s EADatatype.
*
*
* Semantics:
* The FaultFailurePropagationLink defines a Failure propagation path, from the fromPort on one error model to the toPort of another error model.
*
*
* Extension:
* UML::Connector
* <!-- end-model-doc -->
*
* <p>
* The following features are supported:
* <ul>
* <li>{@link org.eclipse.papyrus.eastadl.dependability.errormodel.FaultFailurePropagationLink#isImmediatePropagation <em>Immediate Propagation</em>}</li>
* <li>{@link org.eclipse.papyrus.eastadl.dependability.errormodel.FaultFailurePropagationLink#getToPort <em>To Port</em>}</li>
* <li>{@link org.eclipse.papyrus.eastadl.dependability.errormodel.FaultFailurePropagationLink#getFromPort <em>From Port</em>}</li>
* </ul>
* </p>
*
* @see org.eclipse.papyrus.eastadl.dependability.errormodel.ErrormodelPackage#getFaultFailurePropagationLink()
* @model
* @generated
*/
public interface FaultFailurePropagationLink extends EAElement, EAConnector {
/**
* Returns the value of the '<em><b>From Port</b></em>' containment reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>From Port</em>' reference isn't clear, there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
*
* @return the value of the '<em>From Port</em>' containment reference.
* @see #setFromPort(FaultFailurePropagationLink_fromPortInstanceRef)
* @see org.eclipse.papyrus.eastadl.dependability.errormodel.ErrormodelPackage#getFaultFailurePropagationLink_FromPort()
* @model containment="true" required="true" ordered="false"
* @generated
*/
FaultFailurePropagationLink_fromPortInstanceRef getFromPort();
/**
* Sets the value of the '{@link org.eclipse.papyrus.eastadl.dependability.errormodel.FaultFailurePropagationLink#getFromPort <em>From Port</em>}' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
*
* @param value
* the new value of the '<em>From Port</em>' containment reference.
* @see #getFromPort()
* @generated
*/
void setFromPort(FaultFailurePropagationLink_fromPortInstanceRef value);
/**
* Returns the value of the '<em><b>To Port</b></em>' containment reference.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>To Port</em>' reference isn't clear, there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
*
* @return the value of the '<em>To Port</em>' containment reference.
* @see #setToPort(FaultFailurePropagationLink_toPortInstanceRef)
* @see org.eclipse.papyrus.eastadl.dependability.errormodel.ErrormodelPackage#getFaultFailurePropagationLink_ToPort()
* @model containment="true" required="true" ordered="false"
* @generated
*/
FaultFailurePropagationLink_toPortInstanceRef getToPort();
/**
* Sets the value of the '{@link org.eclipse.papyrus.eastadl.dependability.errormodel.FaultFailurePropagationLink#getToPort <em>To Port</em>}' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
*
* @param value
* the new value of the '<em>To Port</em>' containment reference.
* @see #getToPort()
* @generated
*/
void setToPort(FaultFailurePropagationLink_toPortInstanceRef value);
/**
* Returns the value of the '<em><b>Immediate Propagation</b></em>' attribute.
* The default value is <code>"true"</code>.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Immediate Propagation</em>' attribute isn't clear, there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
*
* @return the value of the '<em>Immediate Propagation</em>' attribute.
* @see #setImmediatePropagation(boolean)
* @see org.eclipse.papyrus.eastadl.dependability.errormodel.ErrormodelPackage#getFaultFailurePropagationLink_ImmediatePropagation()
* @model default="true" unique="false" dataType="org.eclipse.uml2.types.Boolean" required="true" ordered="false"
* @generated
*/
boolean isImmediatePropagation();
/**
* Sets the value of the '{@link org.eclipse.papyrus.eastadl.dependability.errormodel.FaultFailurePropagationLink#isImmediatePropagation <em>Immediate Propagation</em>}' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
*
* @param value
* the new value of the '<em>Immediate Propagation</em>' attribute.
* @see #isImmediatePropagation()
* @generated
*/
void setImmediatePropagation(boolean value);
} // FaultFailurePropagationLink
|
