Modifier and Type | Method and Description |
---|---|
FlowSpecification |
Aadl2Factory.createFlowSpecification()
Returns a new object of class 'Flow Specification'.
|
FlowSpecification |
ComponentType.createOwnedFlowSpecification()
Creates a new
FlowSpecification and appends it to the 'Owned Flow Specification' containment reference list. |
FlowSpecification |
FlowSpecification.getRefined()
Returns the value of the 'Refined' reference.
|
FlowSpecification |
FlowImplementation.getSpecification()
Returns the value of the 'Specification' reference.
|
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<FlowSpecification> |
ComponentType.getAllFlowSpecifications()
get list of all flow specs of a component type, including ancestor
features In case of refined flow specs the refined flow spec is returned
in the list.
|
org.eclipse.emf.common.util.EList<FlowSpecification> |
ComponentType.getOwnedFlowSpecifications()
Returns the value of the 'Owned Flow Specification' containment reference list.
|
Modifier and Type | Method and Description |
---|---|
void |
FlowSpecification.setRefined(FlowSpecification value)
Sets the value of the '
Refined ' reference. |
void |
FlowImplementation.setSpecification(FlowSpecification value)
Sets the value of the '
Specification ' reference. |
Modifier and Type | Class and Description |
---|---|
class |
FlowSpecificationImpl
An implementation of the model object 'Flow Specification'.
|
Modifier and Type | Method and Description |
---|---|
FlowSpecification |
FlowSpecificationImpl.basicGetRefined() |
FlowSpecification |
FlowImplementationImpl.basicGetSpecification() |
FlowSpecification |
Aadl2FactoryImpl.createFlowSpecification() |
FlowSpecification |
ComponentTypeImpl.createOwnedFlowSpecification() |
FlowSpecification |
FlowSpecificationImpl.getRefined() |
FlowSpecification |
FlowImplementationImpl.getSpecification() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<FlowSpecification> |
ComponentTypeImpl.getAllFlowSpecifications()
get list of all flow specs of a component type, including ancestor
features In case of refined flow specs the refined flow spec is returned
in the list.
|
org.eclipse.emf.common.util.EList<FlowSpecification> |
ComponentTypeImpl.getOwnedFlowSpecifications() |
Modifier and Type | Method and Description |
---|---|
void |
FlowSpecificationImpl.setRefined(FlowSpecification newRefined) |
void |
FlowImplementationImpl.setSpecification(FlowSpecification newSpecification) |
Modifier and Type | Method and Description |
---|---|
FlowSpecification |
FlowSpecificationInstance.getFlowSpecification()
Returns the value of the 'Flow Specification' reference.
|
Modifier and Type | Method and Description |
---|---|
FlowSpecificationInstance |
ComponentInstance.findFlowSpecInstance(FlowSpecification flowspec)
find the flowspec instance of this component instance
|
void |
FlowSpecificationInstance.setFlowSpecification(FlowSpecification value)
Sets the value of the '
Flow Specification ' reference. |
Modifier and Type | Method and Description |
---|---|
FlowSpecification |
FlowSpecificationInstanceImpl.basicGetFlowSpecification() |
FlowSpecification |
FlowSpecificationInstanceImpl.getFlowSpecification() |
Modifier and Type | Method and Description |
---|---|
java.util.List<FlowSpecification> |
FlowSpecificationInstanceImpl.getInstantiatedObjects() |
Modifier and Type | Method and Description |
---|---|
FlowSpecificationInstance |
ComponentInstanceImpl.findFlowSpecInstance(FlowSpecification flowspec)
find the flowspec instance of this component instance
|
void |
FlowSpecificationInstanceImpl.setFlowSpecification(FlowSpecification newFlowSpecification) |
Modifier and Type | Method and Description |
---|---|
static boolean |
AadlUtil.canImplement(FlowImplementation fi,
FlowSpecification fs)
Check whether the flow specification and flow implementation are both
flow paths, flow sources, or flow sinks
|
Modifier and Type | Method and Description |
---|---|
T |
Aadl2Switch.caseFlowSpecification(FlowSpecification object)
Returns the result of interpreting the object as an instance of 'Flow Specification'.
|
boolean |
Aadl2Validator.validateFlowSpecification(FlowSpecification flowSpecification,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
Modifier and Type | Method and Description |
---|---|
void |
Aadl2JavaValidator.caseFlowSpecification(FlowSpecification flow) |